2000 search results - page 232 / 400 » Program Transformation and Proof Transformation |
114
click to vote
PACT
2007
Springer
15 years 10 months ago
2007
Springer
T-system is a tool for parallel computing developed at the PSI RAS. The most recent implementation is available on both Linux and Windows platforms. The paper is dedicated to one o...
124
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
115
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
152
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
126
click to vote
PADO
2001
Springer
15 years 8 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...