48 search results - page 1 / 10 » Language Primitives and Type Discipline for Structured Commu... |
ESOP
1998
Springer
15 years 6 months ago
1998
Springer
ENTCS
2002
15 years 1 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
108
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
119
click to vote
TACS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...