Alphard: Form and Content
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer New York

9780387906638, 9781461259794
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Achieving Quality Software: Reflections on the Aims and Objectives of Alphard

1981 ◽  
pp. 117-134
Author(s):  
Wm. A. Wulf ◽  
Mary Shaw ◽  
Ralph L. London

Introduction History and Overview

1981 ◽  
pp. 5-10
Author(s):  
Mary Shaw
Keyword(s):  
Introduction History

scholarly journals Validating the Utility of Abstraction Techniques

1981 ◽  
pp. 285-293
Author(s):  
Mary Shaw ◽  
Gary Feldman ◽  
Robert Fitzgerald ◽  
Paul Hilfinger ◽  
Izumi Kimura ◽  
...  

Abstraction and Verification in Alphard: Iteration and Generators

1981 ◽  
pp. 73-116 ◽  
Author(s):  
Mary Shaw ◽  
Wm. A. Wulf ◽  
Ralph L. London

First Interlude Inadequacy of Simple Encapsulation

1981 ◽  
pp. 71-72
Author(s):  
Mary Shaw

Prelude The Alphard form and Verification Issues

1981 ◽  
pp. 11-13
Author(s):  
Mary Shaw

Fifth Interlude Validating and Extending the Concepts

1981 ◽  
pp. 283-284
Author(s):  
Mary Shaw

Fourth Interlude Generality and Generic Definitions

1981 ◽  
pp. 253-253
Author(s):  
Mary Shaw

(Preliminary) An Informal Definition of Alphard

1981 ◽  
pp. 195-252
Author(s):  
Paul Hilfinger ◽  
Gary Feldman ◽  
Robert Fitzgerald ◽  
Izumi Kimura ◽  
Ralph L. London ◽  
...  
Keyword(s):  
Definition Of

Second Interlude Larger Examples

1981 ◽  
pp. 135-137
Author(s):  
Mary Shaw
Load More ...
Sign in / Sign up

Export Citation Format

Share Document