article · Theoretical Computer Science · 2002

A formal model of real-time program compilation

Cited by 9Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Lermer, K., & Fidge, C. (2002). A formal model of real-time program compilation. Theoretical Computer Science, 282(1), 151–190. https://doi.org/10.1016/s0304-3975(01)00047-0

MLA 9

Lermer, Karl, and Colin Fidge. “A formal model of real-time program compilation.” Theoretical Computer Science, vol. 282, no. 1, 2002, pp. 151–90, https://doi.org/10.1016/s0304-3975(01)00047-0.

Chicago

Lermer, Karl, and Colin Fidge. 2002. “A formal model of real-time program compilation.” Theoretical Computer Science 282 (1): 151–90. https://doi.org/10.1016/s0304-3975(01)00047-0.

Harvard

Lermer, K. and Fidge, C. (2002) ‘A formal model of real-time program compilation’, Theoretical Computer Science, 282(1), pp. 151–190. Available at: https://doi.org/10.1016/s0304-3975(01)00047-0.

BibTeX

@article{lermer2002formal,
  title = {{A formal model of real-time program compilation}},
  author = {Lermer, Karl and Fidge, Colin},
  journal = {Theoretical Computer Science},
  volume = {282},
  number = {1},
  pages = {151--190},
  year = {2002},
  doi = {10.1016/s0304-3975(01)00047-0}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.