A Scheme for the Automatic Inference of Variable Types
From MaRDI portal
Publication:3867157
DOI10.1145/322169.322181zbMath0429.68022OpenAlexW1982582946WikidataQ128587404 ScholiaQ128587404MaRDI QIDQ3867157
Jeffrey D. Ullman, M. A. Kaplan
Publication date: 1980
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322169.322181
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Automatically replacing indices into parallel arrays with pointers to records ⋮ Algebraic processing of programming languages ⋮ Julia: A Fresh Approach to Numerical Computing