558 search results - page 15 / 112 » Compiling Resources in a Linear Logic Programming Language |
APLAS
2007
ACM
14 years 24 days ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
CP
2005
Springer
13 years 10 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer