71 search results - page 3 / 15 » An Abstract Way to Define Rewriting Logic |
225
Voted
MFCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
220
click to vote
FOSSACS
2001
Springer
16 years 18 days ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
239
click to vote
PLILP
1994
Springer
16 years 5 days ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
194
click to vote
PADL
2001
Springer
16 years 16 days ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
254
Voted
TYPES
1998
Springer
16 years 9 days ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...