Program Optimization Using Invariants

Dettagli Bibliografici

Pubblicato in:	IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378
Autore principale:	Katz, S
Pubblicazione:	IEEE Computer Society
Soggetti:	Software Programs Optimization Mathematical models Computer science Computer programming Computers Semantics Colleges & universities
Accesso online:	Citation/Abstract Full Text - PDF
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!