Real-time properties of indirect recursive procedures

DOI10.1006/INCO.2001.3042MaRDI QIDQ1854477zbMATH OpenOpenAlexFDO

Authors Johann Blieberger

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.2001.3042

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Recursion induction for real-time processes
• Realizability of Concurrent Recursive Programs
• Realizability of concurrent recursive programs
• Procedures and parameters in the real-time program refinement calculus
• A sequential real-time refinement calculus
• scientific article; zbMATH DE number 1104387
• scientific article; zbMATH DE number 3845055
• A theory for execution-time derivation in real-time programs
• scientific article; zbMATH DE number 1304059

Cites work

• Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization.
• Data-flow frameworks for worst-case execution time analysis
• scientific article; zbMATH DE number 3887059 (Why is no real title available?)
• scientific article; zbMATH DE number 3887060 (Why is no real title available?)
• scientific article; zbMATH DE number 3887061 (Why is no real title available?)
• scientific article; zbMATH DE number 50070 (Why is no real title available?)
• scientific article; zbMATH DE number 53307 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 1031980 (Why is no real title available?)
• scientific article; zbMATH DE number 1142298 (Why is no real title available?)
• PORTAL language description
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Symbolic Evaluation and the Analysis of Programs

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Real-time properties of indirect recursive procedures

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