1874 search results - page 33 / 375 » Abstract Machine for LDL |
NADA
1998
Springer
13 years 11 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
ICAI
2004
13 years 9 months ago
2004
on of Abstracts, the University of Georgia, Athens 2003.
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
ANLP
1997
13 years 9 months ago
1997
rietary Semantico-Syntactic Abstraction Language (SAL) the parser is able to achieve better results than syntactic analysis alone would allow. This comprehensive analysis permits t...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...