Automatic discovery of linear restraints among variables of a program

Abstract

Article Automatic discovery of linear restraints among variables of a program Share on Authors: Patrick Cousot Laboratoire d'Informatique, U.S.M.G., BP. 53, 38041 Grenoble cédex, France and Attaché de Recherche au C.N.R.S., Laboratoire Associé no 7 Laboratoire d'Informatique, U.S.M.G., BP. 53, 38041 Grenoble cédex, France and Attaché de Recherche au C.N.R.S., Laboratoire Associé no 7View Profile , Nicolas Halbwachs Laboratoire d'Informatique, U.S.M.G., BP. 53, 38041 Grenoble cédex, France and Allocataire de Recherche D.G.R.S.T. Laboratoire d'Informatique, U.S.M.G., BP. 53, 38041 Grenoble cédex, France and Allocataire de Recherche D.G.R.S.T.View Profile Authors Info & Claims POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languagesJanuary 1978 Pages 84–96https://doi.org/10.1145/512760.512770Online:01 January 1978Publication History 1,070citation1,593DownloadsMetricsTotal Citations1,070Total Downloads1,593Last 12 Months109Last 6 weeks7 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access