A type system for counting instances of software components

DOI10.1016/J.TCS.2012.07.032MaRDI QIDQ1758151zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

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

Cites work

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

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

Describes a project that uses

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)