2000 search results - page 191 / 400 » Program Transformation and Proof Transformation |
115
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
140
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
146
click to vote
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
145
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
152
click to vote
PASTE
1999
ACM
15 years 8 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...