Deterministic Compilation is a compilation methodology within the domain of Ahead-Of-Time Compilation that, as a formal construct, guarantees identical output code sequences for a given input program across all compilation instances, thereby ensuring reproducibility and predictability in program execution.
8
Publications
353
Citations
19
Authors
17
Institutions
Publications per year
2017–2026
0
Parents
Publications
8
Seymour Ginsburg, Sheila A. Greibach, Michael A. Harrison · Journal of the ACM · 1967 · 141 citations · Full text
A relational approach to the design of deterministic programs
Ali Mili · Acta Informatica · 1983 · 44 citations
1–5 of 8
Authors
19
- AM
2
h-index
- TS
1
h-index
- VV
1
h-index
- MA
1
h-index
- SG
1
h-index
1–5 of 19
Institutions
17
Harvard University Press
Cambridge, United States
1 h-index
1 publications
141 citations
Tunis University
Tunis, Tunisia
1 h-index
1 publications
47 citations
Oakland University
Rochester, United States
1 h-index
1 publications
47 citations
University of California, Berkeley
Berkeley, United States
1 h-index
1 publications
141 citations
University of Washington
Seattle, United States
1 h-index
1 publications
26 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
1 h-index
1 publications
37 citations
University of Rochester
Rochester, United States
1 h-index
1 publications
47 citations
Université Laval
Québec, Canada
1 h-index
1 publications
44 citations
1–8 of 17
Venues
- Acta Informatica
2 publications · 91 citations
2
h-index
- Annals of Mathematics and Artificial Intelligence
1 publications · 37 citations
1
h-index
- Theoretical Computer Science
1 publications · 16 citations
1
h-index
- Journal of the ACM
JACM · 1 publications · 141 citations
1
h-index
- Journal of Computer Science and Technology
1 publications · 26 citations
1
h-index
1–5