Time analysis of actor programs

DOI10.1016/J.JLAMP.2019.02.007MaRDI QIDQ2423757zbMATH OpenOpenAlexWikidataFDO

Authors Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez

Publication date 20 June 2019

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-02392909/file/1-s2.0-S2352220818300385-main.pdf

zbMATH Keywords

resource analysisbehavioral typestime analysis

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• On time actors
• Compositional schedulability analysis of real-time actor-based systems
• scientific article; zbMATH DE number 1090097
• A foundation for actor computation
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Cites work

• Automatic Static Cost Analysis for Parallel Programs
• Closed-form upper bounds in static cost analysis
• Cost analysis of object-oriented bytecode programs
• Foundations of Software Science and Computational Structures
• Mechanical program analysis
• Parallel cost analysis
• Resource analysis of complex programs with cost equations
• SPEED: precise and efficient static estimation of program computational complexity

Cited in

(5)

• Compositional schedulability analysis of real-time actor-based systems
• On time actors
• Cost analysis for an actor-based workflow modelling language
• May-happen-in-parallel analysis for actor-based concurrency
• AkkaProf: a profiler for Akka actors in parallel and distributed applications

Describes a project that uses

Uses Software

• TALx86
• ABS
• SACO

This page was built for publication: Time analysis of actor programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2423757)