558 search results - page 58 / 112 » Compiling Resources in a Linear Logic Programming Language |
105
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
114
Voted
PLANX
2007
15 years 1 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
ICFP
2005
ACM
16 years 11 days ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
98
Voted
SEKE
2001
Springer
15 years 4 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
119
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...