Time analysis of actor programs

DOI10.1016/j.jlamp.2019.02.007zbMath1423.68090OpenAlexW2916339809WikidataQ128330072 ScholiaQ128330072MaRDI QIDQ2423757

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

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)

Related Items (1)

Cost analysis for an actor-based workflow modelling language

Uses Software

• SACO
• ABS
• TALx86

Cites Work

• Cost analysis of object-oriented bytecode programs
• Closed-form upper bounds in static cost analysis
• Resource Analysis of Complex Programs with Cost Equations
• Automatic Static Cost Analysis for Parallel Programs
• Mechanical program analysis
• Parallel Cost Analysis
• SPEED
• Foundations of Software Science and Computational Structures

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