1715 search results - page 231 / 343 » Domain-Specific Program Checking |
CODES
1994
IEEE
14 years 1 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
OOGRAPHICS
1992
14 years 1 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
VLDB
1992
ACM
14 years 1 months ago
1992
ACM
This paper presents a portable, efficient method for accessing memory resident persistent objects in virtual memory in the context of the E programming language. Under the approac...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
ACSC
2004
IEEE
14 years 25 days ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...