2000 search results - page 167 / 400 » Program Transformation and Proof Transformation |
285
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
142
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
173
Voted
ACMMSP
2006
ACM
15 years 9 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
146
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
138
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...