Resource usage analysis

DOI10.1145/503272.503303zbMATH Open1323.68377OpenAlexW2027099721MaRDI QIDQ5178917FDOQ5178917

Authors: 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

Recommendations

• Types and Effects for Resource Usage Analysis
• Resource usage verification.
• Verification, Model Checking, and Abstract Interpretation
• Resource Usage Analysis for the Pi-Calculus
• FM 2005: Formal Methods

Mathematics Subject Classification ID

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 (14)

• 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
• Resource usage verification.
• 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)