Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract Syntax Tree in C Programs

Abstract

This article explores the extension of Morgenthaler's Virtual Control Flow technique (Mor97), which derives control flow (ASU86) semantics directly from the Abstract Syntax Tree, from the relatively coarse granularity of syntactic C expressions to the finer granularity of basic block expressions, that is, expressions without embedded control flow.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 24, 1998
Accession Number
AD1020283

Entities

People

  • Naftali Schwartz

Organizations

  • New York University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Semantics
  • Steering

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computational Linguistics
  • Parallel and Distributed Computing.