1320 search results - page 46 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
124
Voted
VEE
2005
ACM
15 years 8 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
141
click to vote
POPL
2010
ACM
16 years 9 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
117
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
104
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
144
click to vote
ENTCS
2002
15 years 2 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...