2343 search results - page 65 / 469 » Structure and Interpretation of Computer Programs |
131
Voted
ECEASST
2006
15 years 2 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
129
Voted
APCHI
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents StepTree, an information visualization tool designed for depicting hierarchies, such as directory structures. StepTree is similar to the hierarchy-visualization...
134
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
114
Voted
IISWC
2008
IEEE
15 years 9 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
152
Voted
CORR
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...