A Scalable Inclusion Constraint Solver Using Unification

DOI10.1007/978-3-540-78769-3_9MaRDI QIDQ5504597zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Analyses of unsatisfiability for equational logic programming
• scientific article; zbMATH DE number 1738291
• Projection merging
• Optimisation techniques for combing constraint solvers
• scientific article; zbMATH DE number 1538033

Cites work

• scientific article; zbMATH DE number 3936534 (Why is no real title available?)
• scientific article; zbMATH DE number 1251178 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 2143089 (Why is no real title available?)
• scientific article; zbMATH DE number 1834572 (Why is no real title available?)
• A faster solver for general systems of equations
• A theory of type polymorphism in programming
• Foundations of Security Analysis and Design II
• Introduction to set constraint-based program analysis
• Programming Languages and Systems
• Set constraints with intersection
• The Klaim project: Theory and practice

Cited in

(1)

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

Describes a project that uses

Uses Software

• ML
• Banshee

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504597)