603 search results - page 110 / 121 » A Formal Operational Semantics for SOFL |
111
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
OOPSLA
2004
Springer
15 years 7 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...
110
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
145
click to vote
SSDBM
2000
IEEE
15 years 6 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...