Program Optimization Using Invariants

Bibliografiska uppgifter

I publikationen:	IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378
Huvudupphov:	Katz, S
Utgiven:	IEEE Computer Society
Ämnen:	Software Programs Optimization Mathematical models Computer science Computer programming Computers Semantics Colleges & universities
Länkar:	Citation/Abstract Full Text - PDF
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!