2000 search results - page 17 / 400 » Program Transformation and Proof Transformation |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Recent work of [Dasgupta-Kumar-Sarl
FP
1992
13 years 11 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
ENTCS
2008
13 years 7 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
FLAIRS
2001
13 years 8 months ago
2001
This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...