Springer-Verlag / Amsterdam / Jones / Hochstadt / New York / /
Company
Ayers A.E. / Cambridge University Press / MIT Press / NATO ASI Series F. IOS Press / /
Currency
USD / cent / / /
Facility
Carnegie Mellon University / Northeastern University / University of Utah / Aarhus University / Massachusetts Institute of Technology / /
IndustryTerm
non-deterministic state-transition systems / concrete implementation technology / least-fixed-point solution / machinery / computing / low-level deterministic state-transition systems / software systems / /
NaturalFeature
Cont = mt / /
Organization
North Atlantic Treaty Organization / Cambridge University / Aarhus University / National Science Foundation / Department of Computer Science / Northeastern University / Boston / University of Utah / Salt lake City / Carnegie Mellon University / Massachusetts Institute of Technology / /
Person
Mitchell Wand / Jan Midtgaard / Matthew Might Abstract Predictive / Matthias Felleisen / Sam TobinHochstadt / David Van Horn / Matthew Might / / /
Position
correct low-level evaluator / unified lattice model for static analysis / generic abstract interpreter / Interpreter / /
ProgrammingLanguage
E / Java / Ruby / C / Python / JavaScript / /
ProvinceOrState
Utah / North Dakota / New York / Massachusetts / /
Technology
Functional Programming / concrete implementation technology / av / design algorithms / Java / dom / simulation / /
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis