525 search results - page 8 / 105 » Composing Programs in a Rewriting Logic for Declarative Prog... |
101
Voted
SIGECOM
1999
ACM
15 years 7 months ago
1999
ACM
AMAI
2002
Springer
15 years 3 months ago
2002
Springer
81
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
138
Voted
JUCS
2006
15 years 3 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-...
137
click to vote
GG
2010
Springer
15 years 1 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...