ADT
2010
13 years 11 months ago
2010
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
APLAS
2010
ACM
13 years 11 months ago
2010
ACM
POPL
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
LDTA
2010
13 years 11 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
LDTA
2010
13 years 11 months ago
2010
LDTA
2010
13 years 11 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...