1278 search results - page 211 / 256 » On the Semantics of Logic Program Composition |
130
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
145
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
148
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
129
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...