article · 2001

Topics in Semantics-based Program Manipulation

Cited by 8Abstract and details only

Abstract

Programming is at least as much about manipulating existing code as it is about writing new code. Existing code is modified, for example to make inefficient code run faster, or to accommodate for new features when reusing code; existing code is analyzed, for example to verify certain program properties, or to use the analysis information for code modifications. Semantics-based program manipulation addresses methods for program modifications and program analyses that are formally defined and therefore can be verified with respect to the programming-language semantics. This dissertation comprises four articles in the field of semantics-based techniques for program manipulation: three articles are about partial evaluation, a method for program specialization; the fourth article treats an approach to automatic cost analysis.

Cite this paper

APA 7

Grobauer, B. (2001). Topics in Semantics-based Program Manipulation.

MLA 9

Grobauer, Bernd. “Topics in Semantics-based Program Manipulation.” 2001.

Chicago

Grobauer, Bernd. 2001. “Topics in Semantics-based Program Manipulation.”

Harvard

Grobauer, B. (2001) ‘Topics in Semantics-based Program Manipulation’.

BibTeX

@article{grobauer2001topics,
  title = {{Topics in Semantics-based Program Manipulation}},
  author = {Grobauer, Bernd},
  year = {2001}
}

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