325 search results - page 13 / 65 » Rewriting Strategies in Java |
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
In a normative multi-agent system the behaviour of the constituting agents is regulated by means of social and organisational inspired concepts like norms and sanctions. This pape...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are nor...
AGTIVE
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
BIRTHDAY
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
74
Voted
POPL
1994
ACM
15 years 1 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...