A Scalable Inclusion Constraint Solver Using Unification

DOI10.1007/978-3-540-78769-3_9zbMath1179.68042OpenAlexW1479696786MaRDI QIDQ5504597

Ye Zhang, Flemming Nielson

Publication date: 22 January 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78769-3_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types

Uses Software

• ML
• Banshee

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of type polymorphism in programming
• Introduction to set constraint-based program analysis
• A faster solver for general systems of equations
• Set constraints with intersection
• Programming Languages and Systems
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• Foundations of Security Analysis and Design II

This page was built for publication: A Scalable Inclusion Constraint Solver Using Unification