article · 2003

Formal compiler implementation in a logical framework

Aleksey Nogin, Adam Granicz, See Profile, Jason Hickey, Aleksey Nogin, Adam Granicz, Brian Aydemir

Cited by 0Abstract and details only

Abstract

All in-text\treferences\tunderlined\tin\tblue\tare\tlinked\tto\tpublications\ton\tResearchGate, letting you\taccess\tand\tread\tthem\timmediately.

Cite this paper

APA 7

Nogin, A., Granicz, A., Profile, S., Hickey, J., Nogin, A., Granicz, A., & Aydemir, B. (2003). Formal compiler implementation in a logical framework.

MLA 9

Nogin, Aleksey, et al. “Formal compiler implementation in a logical framework.” 2003.

Chicago

Nogin, Aleksey, Adam Granicz, See Profile, Jason Hickey, Aleksey Nogin, Adam Granicz, and Brian Aydemir. 2003. “Formal compiler implementation in a logical framework.”

Harvard

Nogin, A. et al. (2003) ‘Formal compiler implementation in a logical framework’.

BibTeX

@article{nogin2003formal,
  title = {{Formal compiler implementation in a logical framework}},
  author = {Nogin, Aleksey and Granicz, Adam and Profile, See and Hickey, Jason and Nogin, Aleksey and Granicz, Adam and Aydemir, Brian},
  year = {2003}
}

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