Formalization and application of a unifying model for name management

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222152 ◽

1995 ◽

Cited By ~ 2

Author(s):

Alan Kaplan ◽

Jack C. Wileden

Download Full-text