3706 search results - page 518 / 742 » The Transformational Approach to Program Development |
136
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
140
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
134
click to vote
SIGGRAPH
1998
ACM
15 years 9 months ago
1998
ACM
We present Repo-3D, a general-purpose, object-oriented library for developing distributed, interactive 3D graphics applications across a range of heterogeneous workstations. Repo-...
175
click to vote
LPKR
1997
Springer
15 years 9 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
162
click to vote
ISCA
1991
IEEE
15 years 8 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...