A phased programming paradigm

Correctness and efficiency are both legitimate concerns in program development. Through an extended example we present a multi-phase paradigm which encourages early algorithms to be abstract and maximally nondeterministic in the spirit of Dijkstra's guarded commands [4] but which caters equally...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zahn, C. T.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	General and reference > Cross-computing tools and techniques > Performance Social and professional topics > Professional topics > Management of computing and information systems > Software management > Software selection and adaptation Software and its engineering > Software creation and management > Designing software Software and its engineering > Software organization and properties > Extra-functional properties > Software performance Software and its engineering > Software organization and properties > Software functional properties > Correctness Theory of computation > Logic > Proof theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Correctness and efficiency are both legitimate concerns in program development. Through an extended example we present a multi-phase paradigm which encourages early algorithms to be abstract and maximally nondeterministic in the spirit of Dijkstra's guarded commands [4] but which caters equally for correctness, termination, data representation, efficiency and practical implementation in a low level language.
ISSN:	0097-8418
DOI:	10.1145/52964.52968