Specifying and automatically generating Ada tasks in Prolog

Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90 ◽

10.1145/100348.100367 ◽

1990 ◽

Cited By ~ 1

Author(s):

John Van Tassel ◽

David Hemmendinger

Download Full-text