116 search results - page 11 / 24 » Operations Preserving Recognizable Languages |
100
Voted
AGP
1997
IEEE
15 years 3 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
76
Voted
FOSSACS
2003
Springer
15 years 4 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
203
click to vote
ECOOP
2009
Springer
16 years 9 days ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...
93
Voted
CONCUR
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
100
Voted
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...