scientific article; zbMATH DE number 1738291

MaRDI QIDQ4529773zbMATH OpenFDO

Authors Jörgen Gustavsson, Josef Svenningsson

Publication date 6 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2053/20530063

Mathematics Subject Classification ID

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

Recommendations

• Type-base flow analysis
• scientific article; zbMATH DE number 1691460
• Simplifying subtyping constraints: a theory
• scientific article; zbMATH DE number 1130261
• Type-based flow analysis and context-free language reachability

Cited in

(9)

• Managing the granularity of constraint-based analyses by rule transformation.
• A Scalable Inclusion Constraint Solver Using Unification
• Principles and Practice of Constraint Programming – CP 2003
• Constraints, consistency and closure
• scientific article; zbMATH DE number 1691460 (Why is no real title available?)
• scientific article; zbMATH DE number 1692939 (Why is no real title available?)
• Constraints in non-Boolean contexts
• Skalpel: a constraint-based type error slicer for standard ML
• On the complexity of set-based analysis

This page was built for publication:

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