A generic usage analysis with subeffect qualifiers

DOI10.1145/1291151.1291189zbMATH Open1291.68144OpenAlexW2033683103MaRDI QIDQ5168932FDOQ5168932

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

Recommendations

• scientific article; zbMATH DE number 1691460
• 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

zbMATH Keywords

type and effect systemssharing analysisqualified typesuniqueness typing

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis
• Title not available (Why is that?)
• Sharing analysis based on type inference
• Making ``stricterness more relevant
• Modelling unique and affine typing using polymorphism
• Modular, higher order cardinality analysis in theory and practice

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)