Program Optimization Using Invariants

Bibliographic Details

Published in:	IEEE Transactions on Software Engineering vol. 4, no. 5 (Sep 1978), p. 378
Main Author:	Katz, S
Published:	IEEE Computer Society
Subjects:	Software Programs Optimization Mathematical models Computer science Computer programming Computers Semantics Colleges & universities
Online Access:	Citation/Abstract Full Text - PDF
Tags:	Add Tag No Tags, Be the first to tag this record!