1131 search results - page 118 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
121
Voted
JFLP
2002
15 years 2 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
136
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
127
Voted
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
113
click to vote
JUCS
2006
15 years 2 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
218
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...