6 search results - page 1 / 2 » A semantics for tracing declarative multi-paradigm programs |
109
Voted
ENTCS
2002
15 years 28 days ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
115
Voted
PPDP
1999
Springer
15 years 5 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
108
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
165
Voted
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
97
Voted
ENTCS
2007
15 years 1 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...