23201 search results - page 117 / 4641 » Rewriting Systems with Data |
137
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
141
click to vote
ECBS
2009
IEEE
16 years 9 days ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
132
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
170
click to vote
AGTIVE
1999
Springer
15 years 9 months ago
1999
Springer
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...
133
click to vote
LICS
1990
IEEE
15 years 9 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...