1458 search results - page 54 / 292 » Extended Term Rewriting Systems |
PLILP
1993
Springer
15 years 1 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
AGTIVE
1999
Springer
15 years 2 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...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
147
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...