5451 search results - page 92 / 1091 » Typed Operational Semantics |
128
click to vote
CGI
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
144
Voted
INFORSID
1996
15 years 4 months ago
1996
: This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inhe...
117
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
119
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
131
Voted
JCSS
2002
15 years 2 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...