Real-time properties of indirect recursive procedures

DOI10.1006/inco.2001.3042zbMath1005.68071OpenAlexW1993402282MaRDI QIDQ1854477

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

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

Uses Software

• Ada95

Cites Work

• PORTAL language description
• Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization.
• Data-flow frameworks for worst-case execution time analysis
• Symbolic Evaluation and the Analysis of Programs
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item