Browsing CS Technical Reports by Author "Fischer, Charles N"
Now showing items 1-10 of 10
-
An Analysis of Run-Time Errors in Pascal Programs
LeBlanc, Richard J; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1980) -
Construction of Program Analysis Techniques for use in Program Development Environments
Venkatesh, GA; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1989)Program analysis techniques have been used in the past to aid in translation of programs. Recently, techniques have been developed to aid in the construction of programs. Use of such techniques in interactive program ... -
An Improvement to Immediate Error Detection in Strong LL(1) Parsers
Mauney, Jon; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1980) -
Linear Intermediate Representation for Portable Code Generation
Ganapathi, Mahadevan; Fischer, Charles N; Scalpone, Stephen J; Thompson, Keith C (University of Wisconsin-Madison Department of Computer Sciences, 1981) -
A Review of Automatic Code Generation Techniques
Ganapathi, Mahadevan; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1981) -
Shadow Guarding: Run-Time Checking You Can Afford
Patil, Harish; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1994) -
A Simple and Practical Implementation of Predicates in Context-Free Parsers
Fischer, Charles N; Ganapathi, Mahadevan; LeBlanc, RJ (University of Wisconsin-Madison Department of Computer Sciences, 1983) -
A Simple, Fast, and Effective LL(1) Error Repair Algorithm
Fischer, Charles N; Mauney, Jon (University of Wisconsin-Madison Department of Computer Sciences, 1989)Validation and locally least-cost repair are two simple and effective techniques for dealing with syntax errors. We show how the two can be combined into an efficient and effective error-handler for use with LL(1) parsers. ... -
SPARE: Formal Semantics
Venkatesh, G A; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1989)The Structured Program Analysis Refinement Environment (SPARE) [9] is a tool for rapid prototyping of program analysis algorithms through high-level specifications. An analysis algorithm is specified through denotational ... -
SPARE: Reference Manual
Venkatesh, GA; Fischer, Charles N (University of Wisconsin-Madison Department of Computer Sciences, 1989)The Structured Program Analysis Refinement Environment (SPARE) is a tool for rapid prototyping of program analysis algorithms through high-level specifications. An analysis algorithm is specified through denotational ...