253 search results - page 3 / 51 » Imperative self-adjusting computation |
ERSHOV
1999
Springer
15 years 3 months ago
1999
Springer
180
click to vote
POPL
2009
ACM
16 years 7 days ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
108
Voted
SIGADA
2007
Springer
15 years 5 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
101
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
MFCS
1998
Springer
15 years 3 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...