4959 search results - page 49 / 992 » Imperative Functional Programming |
ENTCS
2007
14 years 11 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
117
click to vote
TGC
2010
Springer
14 years 8 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
PADL
1999
Springer
15 years 3 months ago
1999
Springer
APLAS
2001
ACM
15 years 2 months ago
2001
ACM