Browse Computer Science Research and Tech Reports by Author "Aktemur, T. Baris"

  • Hills, Mark; Aktemur, T. Baris; Rosu, Grigore (2005-10)
    In this paper, we present an overview of our method of specifying the semantics of programming languages using rewriting logic. This method, which we refer to as the "continuation-based style", relies on an explicit ...
    untranslated PDF (282KB)
  • Kamin, Samuel; Aktemur, T. Baris; Katelman, Michael (2006-09)
    Program generators are most naturally specified using a quote/antiquote facility; the programmer writes programs with holes which are filled in, at program generation time, by other program fragments. If the programs are ...
    untranslated PDF (363KB)
  • Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael (2008-12)
    Program generators are most naturally specified using a quote/antiquote facility; the programmer writes programs with holes which are filled in, at program generation time, by other program fragments. If the programs are ...
    untranslated PDF (384KB)
  • Aktemur, T. Baris; Kamin, Samuel; Katelman, Michael (2008-12)
    Program generators are most naturally specified using a quote/antiquote facility; the programmer writes programs with holes which are filled in, at program generation time, by other program fragments. If the programs are ...
    untranslated PDF (384KB)