5451 search results - page 293 / 1091 » Typed Operational Semantics |
140
click to vote
LISP
2002
15 years 4 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
148
click to vote
IJCAI
2007
15 years 6 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
144
Voted
FLAIRS
2006
15 years 6 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
163
click to vote
SYRCODIS
2007
15 years 6 months ago
2007
The information is at the present time often saved and available in electronic form. With still increasing quantity of accessible, most frequently text information, the need of or...
139
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...