5090 search results - page 562 / 1018 » Constructing Strategies for Programming |
182
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...
216
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
137
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
179
click to vote
POS
1994
Springer
15 years 11 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...
187
click to vote
OOGRAPHICS
1992
15 years 11 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...