2000 search results - page 26 / 400 » Program Transformation and Proof Transformation |
ENTCS
2008
14 years 10 months ago
2008
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in ...
WCRE
2000
IEEE
15 years 1 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
SAS
2007
Springer
15 years 4 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
AIPS
2007
15 years 7 days ago
2007
We propose an approach to transformational planning and learning of everyday activity. This approach is targeted at autonomous robots that are to perform complex activities such a...