1724 search results - page 175 / 345 » Abstract Interpreters for Free |
151
click to vote
UAIS
2008
15 years 6 months ago
2008
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...
151
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
178
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
163
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
177
click to vote
EUROCAST
2001
Springer
15 years 11 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...