1429 search results - page 47 / 286 » An Overview of the Annex System |
73
Voted
POPL
1989
ACM
15 years 4 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
115
click to vote
ISCAPDCS
2004
15 years 2 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
132
Voted
ESSLLI
2009
Springer
14 years 10 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
137
click to vote
CAI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
101
click to vote
EWSA
2004
Springer
15 years 6 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....