Semantics, implementation and pragmatics of clear, a program specification language

Author(s)

• Sannella, Donald

Bibliographic Information

Semantics, implementation and pragmatics of clear, a program specification language

by Donald Theodore Sannella

University of Edinburgh, Department of Computer Science, 1982

Note

Includes bibliographical references (p. 254-261)

Author's thesis (Ph.D.)--University of Edinbungh, 1982 (CST-17-82)

Details

• NCID: BA26371169
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: 286 p.
• Size: 21 cm