50 search results - page 1 / 10 » A Theoretical Foundation of Program Synthesis by Equivalent ... |
ERSHOV
2001
Springer
13 years 9 months ago
2001
Springer
ERSHOV
2006
Springer
13 years 8 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
LPNMR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We consider the simpliļ¬cation of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
PPDP
2009
Springer
13 years 11 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
ACSC
2005
IEEE
13 years 10 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions deļ¬ned by cases in functional languages, because no argument is given precedence over any o...