POPL
2000
ACM
13 years 11 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
PLDI
2000
ACM
13 years 11 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
PADL
2000
Springer
13 years 11 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
PADL
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...