109 search results - page 4 / 22 » Extensions: A Technique for Structuring Functional-Logic Pro... |
109
Voted
JAR
2008
15 years 2 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
111
Voted
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
105
click to vote
DOCENG
2009
ACM
15 years 9 months ago
2009
ACM
: © Automated Extensible XML Tree Diagrams John Lumley HP Laboratories HPL-2009-137 XSLT, SVG, XML trees, Functional programming XML is a tree-oriented meta-language and visual de...
116
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
129
Voted
AMAI
2007
Springer
15 years 2 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...