526 search results - page 66 / 106 » Co-Logic Programming: Extending Logic Programming with Coind... |
150
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
118
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
362
click to vote
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
111
click to vote
ESWS
2006
Springer
15 years 6 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
122
click to vote
POPL
2010
ACM
16 years 15 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...