3713 search results - page 477 / 743 » Constructing a Calculus of Programs |
142
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
138
click to vote
OOGRAPHICS
1992
15 years 8 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...
121
click to vote
PSC
1992
15 years 8 months ago
1992
Abstract. This paper describes an implementation technique for Multilisp's future construct aimed at large shared-memory multiprocessors. The technique is a variant of lazy ta...
112
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
145
Voted
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...