A type system for counting instances of software components

DOI10.1016/J.TCS.2012.07.032zbMATH Open1252.68201DBLPjournals/tcs/BezemHT12OpenAlexW2038264311WikidataQ59238601 ScholiaQ59238601MaRDI QIDQ1758151FDOQ1758151

Authors: Xianqiang Yang 

Publication date: 8 November 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.07.032

Recommendations

• A Type System for Usage of Software Components
• A calculus for modeling software components.
• scientific article; zbMATH DE number 2089396
• Programming Languages and Systems
• scientific article; zbMATH DE number 1629952

zbMATH Keywords

process algebradeficit types

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A structural approach to operational semantics
• Process algebra for synchronous communication
• Title not available (Why is that?)
• A calculus of communicating systems
• Title not available (Why is that?)
• The \(\pi\)-calculus: A theory of mobile processes
• Types and programing languages
• Title not available (Why is that?)
• A syntactic approach to type soundness
• Counting the cost in the picalculus (extended abstract)
• Verification, Model Checking, and Abstract Interpretation
• Region-based memory management
• Static prediction of heap space usage for first-order functional programs
• Resource bound certification
• Recursion and dynamic data-structures in bounded space: towards embedded ML programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Static Analysis
• Programming Languages and Systems
• Uniqueness typing for resource management in message-passing concurrency
• A Type System for Usage of Software Components
• Title not available (Why is that?)
• Theoretical Aspects of Computing – ICTAC 2005

Cited In (3)

• Theoretical Aspects of Computing – ICTAC 2005
• Calculating statically maximum log memory used by multi-threaded transactional programs
• A Type System for Usage of Software Components

Uses Software

• Automath

This page was built for publication: A type system for counting instances of software components

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