2678 search results - page 468 / 536 » Operational Semantics of Transactions |
118
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
110
click to vote
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...
111
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
133
click to vote
MDM
2004
Springer
15 years 7 months ago
2004
Springer
The greater sophistication and availability of mobile computing devices is enabling the application of computing to new tasks and applications to be experienced in a wide range of...
90
Voted
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...