31 search results - page 1 / 7 » KOOL: An Application of Rewriting Logic to Language Prototyp... |
RTA
2007
Springer
13 years 11 months ago
2007
Springer
FMOODS
2007
13 years 7 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
ENTCS
2007
13 years 5 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
APN
2001
Springer
13 years 10 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...