Program Optimization Using Invariants

Manylion Llyfryddiaeth

Cyhoeddwyd yn:	IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378
Prif Awdur:	Katz, S
Cyhoeddwyd:	IEEE Computer Society
Pynciau:	Software Programs Optimization Mathematical models Computer science Computer programming Computers Semantics Colleges & universities
Mynediad Ar-lein:	Citation/Abstract Full Text - PDF
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!