1143 search results - page 75 / 229 » Abstract Syntax and Logic Programming |
130
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
99
Voted
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
120
Voted
TACS
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
112
Voted
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
113
Voted
WSC
2004
15 years 3 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...