Sound and Complete Flow Typing with Unions, Intersections and Negations

DOI10.1007/978-3-642-35873-9_21zbMath1427.68049OpenAlexW175791261MaRDI QIDQ2926650

David J. Pearce

Publication date: 3 November 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_21

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verifying Whiley programs with Boogie

Uses Software

• JavaScript
• CDuce
• XDuce
• Groovy

This page was built for publication: Sound and Complete Flow Typing with Unions, Intersections and Negations