668 search results - page 127 / 134 » Operational semantics for multi-language programs |
TARK
2005
Springer
14 years 1 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
ADBIS
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
CC
2000
Springer
14 years 2 days ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
FSTTCS
1999
Springer
14 years 5 hour ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...