Final Data Types and Their Specification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on programming languages and systems 1983-01, Vol.5 (1), p.97-121
1. Verfasser:	Kamin, Samuel
Format:	Artikel
Sprache:	eng
Schlagworte:	Abstract data types Data types and structures Designing software General programming languages Language features Program reasoning Program specifications Requirements analysis Semantics and reasoning Software and its engineering Software creation and management Software defect analysis Software notations and tools Software testing and debugging Software verification and validation Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!