Schedulers as abstract interpretations of higher-dimensional automata
Éric Goubault · 1995
Article Free Access Share on Schedulers as abstract interpretations of higher-dimensional automata Author: Eric Goubault LIENS, École Normale Supérieure, 45 rue d'Ulm, 75230 Paris, Cedex 05, FRANCE LIENS, École Normale Supérieure, 45 rue d'Ulm, 75230 Paris, Cedex 05, FRANCEView Profile Authors Info & Claims PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulationJune 1995 Pages 134–145https://doi.org/10.1145/215465.215577Published:23 June 1995Publication History 12citation226DownloadsMetricsTotal Citations12Total Downloads226Last 12 Months12Last 6 weeks0 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 SiteeReaderPDF