Programming Languages and Systems
From MaRDI portal
Publication:5899006
DOI10.1007/11693024zbMath1178.68143OpenAlexW2491912653MaRDI QIDQ5899006
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (11)
Enforcing Programming Guidelines with Region Types and Effects ⋮ A type-based complexity analysis of object oriented programs ⋮ Type-based cost analysis for lazy functional languages ⋮ Exception handling for copyless messaging ⋮ A type system for counting instances of software components ⋮ Verifying pointer and string analyses with region type systems ⋮ Unnamed Item ⋮ A Type System for Usage of Software Components ⋮ Efficient Type-Checking for Amortised Heap-Space Analysis ⋮ On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy ⋮ Two decades of automatic amortized resource analysis
This page was built for publication: Programming Languages and Systems
