2958 search results - page 309 / 592 » Extending and Implementing RASP |
92
Voted
ENTCS
2008
15 years 20 days ago
2008
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
94
Voted
IANDC
2008
15 years 20 days ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
100
Voted
CG
2006
Springer
15 years 19 days ago
2006
Springer
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
CORR
2006
Springer
15 years 19 days ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
77
Voted
ECEASST
2006
15 years 18 days ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...