The Toy Language Syndrome

The Toy Language Syndrome

Theorists and implementers can easily interact in such a way that software performs improperly, even if there are no mathematical mistakes in the theory and no coding bugs in the implementation. This correspondence explains the problem and some ways to cope with it. Examples are drawn from program p...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering 1978-01, Vol.SE-4 (1), p.76-77
1. Verfasser: Rosen, B.K.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Available expressions
call by name
call by value
code optimization
Computer bugs
Computer errors
Design optimization
Error correction
Extrapolation
Language
language design
live variables
Modularity
Optimization
parallel program
program proving
program verification
Reliability theory
side effects
Software engineering
Software performance
Writing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Theorists and implementers can easily interact in such a way that software performs improperly, even if there are no mathematical mistakes in the theory and no coding bugs in the implementation. This correspondence explains the problem and some ways to cope with it. Examples are drawn from program proving, language design, and code optimization.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1978.231471