322 search results - page 27 / 65 » Combinations of Abstract Domains for Logic Programming |
123
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
145
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
149
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
119
click to vote
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
148
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...