1710 search results - page 64 / 342 » High-Level Programs and Program Conditions |
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
FUN
2007
Springer
14 years 2 months ago
2007
Springer
We analyse transports between leaves in an edge-weighted tree. We prove under which conditions there exists a transport matching the weights of a given tree. We use this to compute...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
ENTCS
2007
13 years 8 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
AUIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...