2000 search results - page 215 / 400 » Program Transformation and Proof Transformation |
169
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
146
Voted
PADL
2000
Springer
15 years 7 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...
117
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Even Haskell programs can occasionally go wrong. Programs calling head on an empty list, and incomplete patterns in function definitions can cause program crashes, reporting littl...
131
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
113
click to vote
TSE
1998
15 years 3 months ago
1998
—Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guara...