scientific article

zbMath0966.68575MaRDI QIDQ2722056

Jeffrey S. Foster, Alexander Aiken, Manuel Fähndrich

Publication date: 11 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constraint-based program analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (2)

Dynamic state restoration using versioning exceptions ⋮ Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types

Uses Software

• Lackwit
• MOCHA

This page was built for publication: