6201 search results - page 76 / 1241 » Implementation of Axiomatic Language |
PADL
2001
Springer
15 years 8 months ago
2001
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
135
click to vote
DASFAA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we describe the design and implementation of a CORBA Query Service targeted to access data that is defined by the EXPRESS data modeling language. EXPRESS is used pri...
129
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 7 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...
124
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
118
Voted
POS
2000
Springer
15 years 7 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...