A partial evaluator for the Maruti hard real-time system

Publisher Website

9 December 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/real.1991.160359

Abstract

No abstract available

Keywords

This publication has 15 references indexed in Scilit:

Binding time analysis for high order untyped functional languages
Published by Association for Computing Machinery (ACM) ,1990
Calculating the maximum execution time of real-time programs
Real-Time Systems, 1989
Reasoning about time in higher-level language software
IEEE Transactions on Software Engineering, 1989
Mix: A self-applicable partial evaluator for experiments in compiler generation
Higher-Order and Symbolic Computation, 1989
Compile-time detection of race conditions in a parallel program
Published by Association for Computing Machinery (ACM) ,1989
An experiment in partial evaluation: The generation of a compiler generator
Lecture Notes in Computer Science, 1985
Program simplification via symbolic interpretation
Published by Springer Nature ,1985
Mixed computation: potential applications and problems for study
Theoretical Computer Science, 1982
On the partial computation principle
Information Processing Letters, 1977
“Memo” Functions and Machine Learning
Nature, 1968