A Type System for Usage of Software Components
From MaRDI portal
Publication:3638253
DOI10.1007/978-3-642-02444-3_12zbMath1246.68090WikidataQ59238623 ScholiaQ59238623MaRDI QIDQ3638253
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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
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