Semantic models and abstract interpretation techniques for inductive data structures and pointers
Alain Deutsch · 1995
Article Semantic models and abstract interpretation techniques for inductive data structures and pointers Share on Author: Alain Deutsch INRIA Rocquencourt, 78153 Le Chesnay Cedex, France INRIA Rocquencourt, 78153 Le Chesnay Cedex, FranceView Profile Authors Info & Claims PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulationJune 1995 Pages 226–229https://doi.org/10.1145/215465.215594Online:23 June 1995Publication History 21citation564DownloadsMetricsTotal Citations21Total Downloads564Last 12 Months5Last 6 weeks1 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