352 search results - page 54 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
168
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
149
Voted
AC
2000
Springer
15 years 7 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
111
Voted
MPC
1998
Springer
15 years 7 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
108
Voted
COMMA
2006
15 years 4 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
158
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...