Resource usage analysis

DOI10.1145/503272.503303MaRDI QIDQ5178917zbMATHOpenAlexFDO

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

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)

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

Cited in

(14)

• A generic type system for the pi-calculus
• Co-algebraic models for quantitative spatial logics
• A general framework for static profiling of parametric resource usage
• A new type system for JVM lock primitives
• Type checking a multithreaded functional language with session types
• Types and trace effects for object orientation
• Spatial-Behavioral Types, Distributed Services, and Resources
• Types and Effects for Resource Usage Analysis
• Space-aware ambients and processes
• safeDpi: a language for controlling mobile code
• Spatial-behavioral types for concurrency and resource control in distributed systems
• A transformational approach to parametric accumulated-cost static profiling
• Resource usage verification.
• Formalizing Soundness of Contextual Effects

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)