Resource usage analysis
DOI10.1145/503272.503303zbMATH Open1323.68377OpenAlexW2027099721MaRDI QIDQ5178917FDOQ5178917
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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cited In (13)
- Formalizing Soundness of Contextual Effects
- Types and Effects for Resource Usage Analysis
- safeDpi: a language for controlling mobile code
- A general framework for static profiling of parametric resource usage
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling
- Type checking a multithreaded functional language with session types
- A generic type system for the pi-calculus
- Types and trace effects for object orientation
- Spatial-behavioral types for concurrency and resource control in distributed systems
- Space-aware ambients and processes
- Spatial-Behavioral Types, Distributed Services, and Resources
- Co-algebraic models for quantitative spatial logics
- A new type system for JVM lock primitives
This page was built for publication: Resource usage analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178917)
