Modular Program Construction Using Abstractions

Authors:
Barbara Liskov
Affiliations:
-
Venue:
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Year:
1979

Citing 0
Cited 3

A model of clocked micro-architectures for firmware engineering and design automation applications

MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A Theory of Synchronous Relational Interfaces

ACM Transactions on Programming Languages and Systems (TOPLAS)
The road to feature modularity?

Proceedings of the 15th International Software Product Line Conference, Volume 2

Quantified Score

Hi-index	0.01

Visualization

Abstract