31 search results - page 1 / 7 » KOOL: An Application of Rewriting Logic to Language Prototyp... |
RTA
2007
Springer
14 years 5 months ago
2007
Springer
FMOODS
2007
14 years 10 days 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 11 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
14 years 5 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
14 years 3 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...