850 search results - page 1 / 170 » A Logic Programming Language Based on Binding Algebras |
150
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
158
Voted
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
172
click to vote
EWDW
1990
15 years 9 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
142
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
202
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...