439 search results - page 38 / 88 » On Aperiodic Trace Languages |
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
We present an algorithm for the generation of sentences from the semantic representations of Unification Categorial Grammar. We discuss a variant of Shieber's semantic monoto...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
IJCAI
1989
13 years 8 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...