The instrumenting compiler as a tool for high-level program monitoring

The instrumenting compiler as a tool for high-level program monitoring

Bibliographic Details
Main Author:	Nading, Jay Lawrence, 1950-
Language:	en_US
Published:	The University of Arizona. 1974
Subjects:	Computer programs > Testing.
Online Access:	http://hdl.handle.net/10150/554649

Similar Items

INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATION
by: Britton, Dianne Ellen, 1950-
Published: (1977)

Language and compiler support for mixin programming
by: Cardone, Richard Joseph
Published: (2011)

INSTRUMENTAL TOOLS FOR PROGRAM CODE DEVELOPMENT WRITTEN IN HIGH LEVEL PROGRAMMING LANGUAGE.
by: E.A. Alferov
Published: (2010-11-01)

Compiler-assisted Adaptive Software Testing
by: Petsios, Theofilos
Published: (2018)

Compile Time Extraction And Instrumentation of Affine Program Kernels
by: Chinnaswamy, Karthiyayini
Published: (2010)

Compiling Evaluable Functions in the Godel Programming Language
by: Shapiro, David
Published: (1996)

Separate compilation and the ADA programming language
by: Briggs, J. S.
Published: (1984)

Automatic Compilation Of MATLAB Programs For Synergistic Execution On Heterogeneous Processors
by: Prasad, Ashwin
Published: (2014)

Compile-time analysis of concurrent logic programs for multiprocessors
by: King, Andrew Malcolm
Published: (1992)

Compilation techniques : An investigation into throw-away compilers
by: Peacock, S. W.
Published: (1984)

Modular compilation in high level languages
by: Anderson, Melvin John
Published: (1988)

The program monitor : a programmable instrument for computer hardware and software performance measurement
by: Giaimo, Edward Charles
Published: (2005)

Compile-time analysis of array sections for parallelization and parallel program verification
by: Manjunathaiah, M.
Published: (1996)

Implementation of an optimising object-oriented programming language compiler for embedded applications
by: Type, Samantha
Published: (2001)

Heap storage management for the programming language Pascal
by: Britton, Dianne Ellen, 1950-
Published: (1975)

EXTRACT: Extensible Transformation and Compiler Technology
by: Calnan, III, Paul W.
Published: (2003)

The implementation of an optimizing compiler for Icon.
by: Walker, Kenneth William.
Published: (1991)

Portable compilation systems
by: Philips, R.
Published: (1985)

Incorporating domain-specific information into the compilation process
by: Guyer, Samuel Zev
Published: (2011)

Defensive Programming
by: Bailey, L. Mark
Published: (1980)

Design and implementation of S-compiler interpass
by: Kim, Mija Chung
Published: (2011)

An Estelle-C compiler for automatic protocol implementation
by: Chan, Robin Isaac Man-Hang
Published: (2010)

Compiling ACE for Distributed-Memory Machines
by: Song, Jun
Published: (1992)

Mechanical verification of compiler correctness
by: Stringer-Calvert, David William John
Published: (1998)

An algebraic approach to compiler design
by: Sampaio, Augusto
Published: (1993)

Collecting and representing parallel programs with high performance instrumentation
by: Railing, Brian Paul
Published: (2016)

The design of a neural network compiler
by: Sulaiman, Md. Nasir
Published: (1994)

Lifting the Abstraction Level of Compiler Transformations
by: Tang, Xiaolong
Published: (2013)

The AHPL Combinational Logic Language and compiler
by: Goddard, Charles Kent, 1937-
Published: (1971)

An interactive program mutation system
by: St. André, Daniel M.
Published: (2006)

Efficient Compilation Of Stream Programs Onto Multi-cores With Accelerators
by: Udupa, Abhishek
Published: (2010)

Incremental dynamic compilation strategies for Pascal
by: Robson, D. J.
Published: (1980)

Testing Cobol programs by mutation
by: Hanks, Jeanne Marie
Published: (2008)

Evaluation of a neonatal hyperalimentation microcomputer program
by: Angelier, Daniel Michael, 1950-
Published: (1988)

Generating Machine Code for High-Level Programming Languages
by: Chao, Chia-Huei
Published: (1976)

Design and implementation of a simple table driven compiler
by: Crank, Robert D
Published: (2011)

Compile-time optimisation of store usage in lazy functional programs
by: Hamilton, Geoffrey William
Published: (1993)

A compiler framework for multithreaded parallel systems
by: Hopper, Michael A.
Published: (2007)

A hybrid MIMD/DF compiler for parallel processing
by: Nakhaee, Noraddin
Published: (1992)

The implementation of a SIMULA compiler on the Kansas State University Perkin-Elmer computers
by: Lindstrom, Lowell Richard
Published: (2011)