Static Analysis

DOI10.1007/11547662MaRDI QIDQ5897429zbMATH OpenOpenAlexFDO

Authors Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard

Publication date 31 October 2006

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

Full work available at URL https://doi.org/10.1007/11547662

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05)

Recommendations

• A type-based complexity analysis of object oriented programs
• Behavioural types for memory and method safety in a core object-oriented language
• FM 2005: Formal Methods
• Programming Languages and Systems
• scientific article; zbMATH DE number 1617288

Cited in

(7)

• A type-based complexity analysis of object oriented programs
• A type system for counting instances of software components
• Behavioural types for memory and method safety in a core object-oriented language
• Calculating statically maximum log memory used by multi-threaded transactional programs
• A Type System for Usage of Software Components
• Efficient Type-Checking for Amortised Heap-Space Analysis
• Implicit ownership types for memory management

This page was built for publication: Static Analysis

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