Programming Languages and Systems

DOI10.1007/B107380zbMath1108.68355OpenAlexW4232919104MaRDI QIDQ5316579

Peter Thiemann

Publication date: 13 September 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b107380

zbMATH Keywords

program analysisfunctionsobjectsdynamic type systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• JavaScript
• Rhino

This page was built for publication: Programming Languages and Systems