Resource usage analysis
From MaRDI portal
Publication:5178917
DOI10.1145/503272.503303zbMath1323.68377OpenAlexW2027099721MaRDI QIDQ5178917
Atsushi Igarashi, Naoki Kobayashi
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503303
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A generic type system for the pi-calculus, Type checking a multithreaded functional language with session types, Space-aware ambients and processes, A general framework for static profiling of parametric resource usage, Formalizing Soundness of Contextual Effects, Spatial-behavioral types for concurrency and resource control in distributed systems, A new type system for JVM lock primitives, Spatial-Behavioral Types, Distributed Services, and Resources, A Transformational Approach to Parametric Accumulated-Cost Static Profiling, Types and trace effects for object orientation, safeDpi: a language for controlling mobile code, Co-Algebraic Models for Quantitative Spatial Logics
