A Scheme for the Automatic Inference of Variable Types

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

zbMATH Keywords

data flow analysiscode optimizationfixedpointtype determinationtypeless language

Mathematics Subject Classification ID

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