Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness

Authors:
Arthur G. Duncan;Lawrence Yelowitz
Affiliations:
-;-
Venue:
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Year:
1979

Citing 0
Cited 2

Program abstraction and instantiation

ACM Transactions on Programming Languages and Systems (TOPLAS)
The evolution of programs: Program abstraction and instantiation

ICSE '81 Proceedings of the 5th international conference on Software engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract