2000 search results - page 177 / 400 » Program Transformation and Proof Transformation |
113
Voted
INFSOF
2010
15 years 2 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
228
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
129
Voted
SSS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
128
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
161
Voted
ICPP
1991
IEEE
15 years 7 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...