A Type System for Usage of Software Components

DOI10.1007/978-3-642-02444-3_12zbMath1246.68090OpenAlexW1575574742WikidataQ59238623 ScholiaQ59238623MaRDI QIDQ3638253

Dag Hovland

Publication date: 2 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1956/3491

zbMATH Keywords

type systemprocess modelparallel executioncomponent softwarecomponent usage

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (1)

A type system for counting instances of software components

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• A syntactic approach to type soundness
• A type system for counting instances of software components
• The origins of structural operational semantics
• Static prediction of heap space usage for first-order functional programs
• Resource bound certification
• Resource Usage Analysis for the Pi-Calculus
• Theoretical Aspects of Computing – ICTAC 2005
• Static Analysis
• Programming Languages and Systems

This page was built for publication: A Type System for Usage of Software Components