A generic usage analysis with subeffect qualifiers

DOI10.1145/1291151.1291189MaRDI QIDQ5168932zbMATH OpenOpenAlexFDO

Authors Jurriaan Hage, Stefan Holdermans, Arie Middelkoop

Publication date 21 July 2014

Published in Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1291151.1291189

zbMATH Keywords

qualified typessharing analysistype and effect systemsuniqueness typing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A usage analysis with bounded usage polymorphism and subtyping
• scientific article; zbMATH DE number 1822434
• scientific article; zbMATH DE number 1332634
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• Explicit effect subtyping
• Explicit effect subtyping
• A Language of Patterns for Subterm Selection
• Semantical analysis of contextual types
• Automata, Languages and Programming
• The relevance of semantic subtyping

Cited in

(7)

• Sharing analysis based on type inference
• A usage analysis with bounded usage polymorphism and subtyping
• Capabilities for sharing. A generalisation of uniqueness and read-only
• Modular, higher order cardinality analysis in theory and practice
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• Modelling unique and affine typing using polymorphism
• Making ``stricterness more relevant

This page was built for publication: A generic usage analysis with subeffect qualifiers

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