4880 search results - page 400 / 976 » Manuals as Structured Programs |
202
click to vote
PADL
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
170
click to vote
HOPL
2007
15 years 11 months ago
2007
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
225
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
232
click to vote
CGVR
2008
15 years 8 months ago
2008
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
194
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
To understand the dynamics of a running program, it is often useful to examine its state at specific moments during its execution. We present memory graphs as a means to capture an...