2625 search results - page 239 / 525 » The development of the Emerald programming language |
196
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
174
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
156
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
179
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
183
click to vote
CD
2004
Springer
16 years 2 days ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...