scientific article; zbMATH DE number 1691460

MaRDI QIDQ2763385zbMATH OpenFDO

Authors Jörgen Gustavsson, Josef Svenningsson

Publication date 15 January 2002

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• A generic usage analysis with subeffect qualifiers
• scientific article; zbMATH DE number 1738291
• scientific article; zbMATH DE number 1953279
• Storage use analysis and its applications

Cited in

(5)

• Storage use analysis and its applications
• scientific article; zbMATH DE number 1738291 (Why is no real title available?)
• A generic usage analysis with subeffect qualifiers
• Modular, higher order cardinality analysis in theory and practice
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage 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 Q2763385)