169 search results - page 7 / 34 » Implementing fault-tolerance in real-time programs by automa... |
110
click to vote
POPL
2000
ACM
15 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
84
Voted
IWFM
1998
14 years 10 months ago
1998
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
74
Voted
APLAS
2004
ACM
15 years 2 months ago
2004
ACM
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
152
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...