850 search results - page 36 / 170 » A Logic Programming Language Based on Binding Algebras |
100
click to vote
ESOP
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
132
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
125
click to vote
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
127
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
104
click to vote
INFSOF
1998
15 years 28 days ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...