310 search results - page 37 / 62 » A language and framework for invariant-driven transformation... |
96
Voted
EUROCAST
2001
Springer
15 years 3 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
201
click to vote
ICDE
2007
IEEE
16 years 14 days ago
2007
IEEE
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
103
click to vote
LOPSTR
2007
Springer
15 years 5 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...