257 search results - page 21 / 52 » Programming with narrowing: A tutorial |
210
Voted
SCAM
2002
IEEE
15 years 10 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
158
Voted
JUCS
2006
15 years 5 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
163
Voted
ITICSE
2000
ACM
15 years 10 months ago
2000
ACM
The Praktomat system allows students to read, review, and assess each other’s programs in order to improve quality and style. After a successful submission, the student can retr...
156
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
176
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...