Programming Languages and Systems

DOI10.1007/b107380zbMath1108.68406OpenAlexW4232919104MaRDI QIDQ5316577

Jens Palsberg, Mayur Naik

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Type systems equivalent to data-flow analyses for imperative languages ⋮ Typing Weak MSOL Properties ⋮ Dead code elimination based pointer analysis for multithreaded programs ⋮ Finite Combinatory Logic with Intersection Types

Uses Software

• BLAST
• SLAM
• ESC/Java
• PIPER

This page was built for publication: Programming Languages and Systems