Automatic Static Cost Analysis for Parallel Programs

DOI10.1007/978-3-662-46669-8_6zbMath1335.68056OpenAlexW912214939MaRDI QIDQ2802433

Jan Hoffmann, Zhong Shao

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_6

zbMATH Keywords

resource consumptionstatic analysisfunctional programmingamortized analysis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Lower-bound synthesis using loop specialization and Max-SMT ⋮ Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs ⋮ Cost analysis for an actor-based workflow modelling language ⋮ Type-based cost analysis for lazy functional languages ⋮ A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Time analysis of actor programs ⋮ Analysing parallel complexity of term rewriting ⋮ Types for complexity of parallel computation in pi-calculus ⋮ A Coq Library for Internal Verification of Running-Times ⋮ Two decades of automatic amortized resource analysis ⋮ Type-based analysis of logarithmic amortised complexity

This page was built for publication: Automatic Static Cost Analysis for Parallel Programs