ν-Types for Effects and Freshness Analysis

DOI10.1007/978-3-642-03466-4_5MaRDI QIDQ3393400zbMATH OpenOpenAlexFDO

Authors Massimo Bartoletti, Roberto Zunino, Pierpaolo Degano, Gian Luigi Ferrari

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL http://eprints.biblio.unitn.it/1623/1/nu%2Dtypes%2DTR.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Enriching an Effect Calculus with Linear Types
• Innovations in computational type theory using Nuprl
• Improving precision of type analysis using non-discriminative union
• Fissile type analysis, modular checking of almost everywhere invariants
• Generalizing Def and Pos to Type Analysis
• Dependent types and fibred computational effects
• An effective theory of type refinements
• Type-decomposition of an effect algebra
• scientific article; zbMATH DE number 1070622
• Type decomposition in NIP theories

Cited in

(2)

• Deadlock checking by a behavioral effect system for lock handling
• Service net algebra based on logic Petri nets

This page was built for publication: ν-Types for Effects and Freshness Analysis

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