525 search results - page 8 / 105 » Composing Programs in a Rewriting Logic for Declarative Prog... |
SIGECOM
1999
ACM
13 years 11 months ago
1999
ACM
AMAI
2002
Springer
13 years 6 months ago
2002
Springer
CORR
2000
Springer
13 years 6 months ago
2000
Springer
JUCS
2006
13 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
GG
2010
Springer
13 years 4 months ago
2010
Springer
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...