title

Home Page of Prof. Thomas W. Reps

Content-Type

text/html; charset=iso-8859-1

keywords

Synthesizer Generator, Synthesizer-Generator, SG, SSL, Cornell Program Synthesizer, CPS, language-sensitive, language-sensitive editor, language sensitive editor, language-based, language-based editor, language based editor, syntax-directed, syntax-directed editor, syntax directed editor, program editor, programming environment, program development environment, interactive development environment, IDE, abstract syntax tree, abstract-syntax tree, ast, AST, lexical analysis, static-semantics, static semantics, static-semantic analysis, static semantic analysis, attribute grammar, attribution, attribute evaluator, incremental attribution, constraint satisfaction, equational semantics, type checking, semantics, code generation, compiler front end, formatting, formatter, format, prettyprinting, prettyprinter, pretty printer, token colorizing, token coloring, proof-checking, proof checking, context-sensitive transform, transformational programming, source-to-source transformation, source-to-source transform, term rewriting, formal methods, template, incremental updating algorithm, incremental update algorithm, incremental algorithm, dynamic algorithm, dynamic problem, static analysis, program analysis, type cast, type casting, program browsing, demand algorithm, software maintenance, software reuse, program specialization, program slice, program slicing, backward slicing, backward slice, forward slicing, forward slice, interprocedural slicing, chopping, program chopping, program chop, interprocedural chopping, program differencing, program integration, program merging, program dependence graph, PDG, system dependence graph, SDG, data dependence, data-dependence analysis, control dependence, control-dependence analysis, data flow analysis, dataflow analysis, interprocedural analysis, interprocedural program analysis, interprocedural dataflow analysis, interprocedural data flow analysis, set constraints, alias analysis, pointer analysis, shape analysis, points-to analysis, points-to set, destructive update, destructive updating, three-valued logic, 3-valued logic, CodeSurfer, modularization, concept analysis, CFL-reachability, context-free language reachability, graph reachability, interprocedural constant propagation, constant propagation, PTIME-complete problem, path problem, path profiling, interprocedural path profiling, set constraints, Y2K, Year 2000 problem, software testing, program generalization, anomaly detection, browser, C, call graph, cliche recognition, code analysis, code browsing, code comprehension, code extraction, code inspection, code review, code surf, control flow graph, cross-reference, cross-referencing, data flow graph, dead code elimination, debugging, deep structure, def-use, dependence, development environment, development tools, Discover, emacs, embedded systems, flow chart, ghinsu, IDE, integrated development environment, impact analysis, navigate, navigation, navigator, maintenance, productivity tools, procedure dependence graph, programming environment, program slicer, programming tools, program understanding, reengineering, re-engineering, restructuring, reusable, reuse, reverse engineering, semantic analysis, slicer, slicing tool, Sniff+, software productivity tools, software quality, Solaris, Source-Navigator, specialization tools, static analysis, symbol based navigation, symbol browser, Understand, Unravel, use-def, Wisconsin Program-Slicing Project, year 2000, Y2K software process improvement, productivity improvement, source code comprehension, CASE tool, Reps, Teitelbaum, Horwitz, Ramalingam, Ball, Melski, Siff, Sagiv, Binkley, Rall, Yahav, Yorsh, Schwoon, TVLA model checking

stylesheet

/includes/web07.css

stylesheet

/includes/dropdownMenu.css