Static Analysis
From MaRDI portal
Publication:5897429
DOI10.1007/11547662zbMath1141.68364OpenAlexW4229853237MaRDI QIDQ5897429
Shengchao Qin, Huu Hai Nguyen, Wei-Ngan Chin, 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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs ⋮ A type-based complexity analysis of object oriented programs ⋮ A type system for counting instances of software components ⋮ A Type System for Usage of Software Components ⋮ Efficient Type-Checking for Amortised Heap-Space Analysis
This page was built for publication: Static Analysis