Substructural Type Systems for Program Analysis

DOI10.1007/978-3-540-78969-7_3MaRDI QIDQ5458425zbMATH OpenOpenAlexFDO

Authors Naoki Kobayashi

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_3

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Static typing for a substructural lambda calculus
• Type classes for lightweight substructural types
• Linear logic propositions as session types
• Type systems for concurrent programs.
• A Substructural Type System for Delimited Continuations

Cited in

(8)

• Subtyping inheritance and its application in languages for symbolic computation systems
• Strictness analysis via abstract interpretation for recursively defined types
• Type systems equivalent to data-flow analyses for imperative languages
• Type-base flow analysis
• Static typing for a substructural lambda calculus
• A type-based escape analysis for functional languages
• Type classes for lightweight substructural types
• scientific article; zbMATH DE number 1953279 (Why is no real title available?)

This page was built for publication: Substructural Type Systems for Program Analysis

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