3889 search results - page 376 / 778 » The Use of Program Dependence Graphs in Software Engineering |
204
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
207
click to vote
PPDP
2004
Springer
16 years 5 days ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
168
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
176
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
209
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...