1422 search results - page 177 / 285 » Complementation in Abstract Interpretation |
161
Voted
PPCP
1993
15 years 8 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
106
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
142
click to vote
PLILP
1992
Springer
15 years 8 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
123
click to vote
SC
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
200
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...