scientific article; zbMATH DE number 1738291

zbMATH Open0984.68035MaRDI QIDQ4529773FDOQ4529773

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constraints in non-Boolean contexts
• On the complexity of set-based analysis
• Skalpel: a constraint-based type error slicer for standard ML

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)