3311 search results - page 42 / 663 » Deductive Object Programming |
ENTCS
2002
14 years 9 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
115
click to vote
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
102
click to vote
IPPS
1996
IEEE
15 years 1 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
ISMIS
1993
Springer
15 years 1 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...