3634 search results - page 432 / 727 » The Field Representation Language |
199
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
170
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
165
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
183
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 10 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
150
click to vote
AAAI
2007
15 years 9 months ago
2007
To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with. This paper describes a system that learns executable task m...