691 search results - page 34 / 139 » Equational Abstractions |
RTA
2010
Springer
14 years 20 days ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
CASC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
AMC
2008
13 years 9 months ago
2008
Abstract. This paper is devoted to the study of periodic boundary value problems for nonlinear third order di
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
WADT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...