1776 search results - page 128 / 356 » Using a Logic Programming Language with Persistence and Cont... |
120
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
146
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
121
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
178
click to vote
WFLP
2009
Springer
15 years 9 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
135
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...