852 search results - page 107 / 171 » entcs 2010 |
104
click to vote
ENTCS
2007
15 years 13 days ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
121
Voted
ENTCS
2007
15 years 13 days ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
ENTCS
2007
15 years 13 days 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...
100
Voted
ENTCS
2007
15 years 13 days ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
101
Voted
ENTCS
2007
15 years 13 days ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...