Resource usage analysis

DOI10.1145/503272.503303MaRDI QIDQ5178917zbMATH OpenOpenAlexFDO

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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

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)

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