53 search results - page 11 / 11 » Partial Evaluation for the Lambda Calculus |
ICFP
2002
ACM
14 years 5 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
CPAIOR
2009
Springer
14 years 2 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
TABLEAUX
2009
Springer
14 years 1 days ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...