850 search results - page 118 / 170 » A Logic Programming Language Based on Binding Algebras |
107
click to vote
AAAI
2008
15 years 3 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
144
click to vote
MCMASTER
1993
15 years 5 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
101
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
119
click to vote
PEPM
2004
ACM
15 years 6 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...