145 search results - page 1 / 29 » K-Maude: A Rewriting Based Tool for Semantics of Programming... |
WRLA
2010
14 years 10 months ago
2010
121
click to vote
CADE
2004
Springer
16 years 20 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
ENTCS
2007
15 years 9 days ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
109
Voted
ENTCS
2006
15 years 10 days ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
RTA
2010
Springer
15 years 4 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...