A unified approach to the debugging of optimised programs

A unified approach to the debugging of optimised programs

Bibliographic Details
Main Author:	Shu, William Shu
Published:	University of Nottingham 1988
Subjects:	005 Programming language concepts
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236479

Similar Items

Debugging concurrent and distributed programs
by: Cooper, Robert Charles Beaumont
Published: (1987)

Graphical debugging and validation of parallel programs
by: Eaton, Anthony John
Published: (1993)

Augmenting trace-based functional debugging
by: Penney, Alastair William
Published: (2000)

Towards a uniform graphical representation of program construction, debugging and testing process
by: Halewood, Keith
Published: (1991)

User-centred design of software development environments : an example from program debugging
by: Waddington, Raymond
Published: (1989)

An empirically-based debugging system for novice programmers
by: Hasemer, T.
Published: (1983)

An extensible debugging tool that supports data abstraction
by: Cowen, Peter
Published: (1991)

Towards an intelligent debugging system for Pascal programs : on the theory and algorithms of plan recognition in Rich's plan calculus
by: Lutz, Rudi
Published: (1993)

Understanding and Debugging Simple Computer Programs
by: Lukey, F. J.
Published: (1978)

Program debugging in high level languages
by: Higley, C. J.
Published: (1973)

Algorithmic debugging for complex lazy functional programs
by: Faddegon, Maarten
Published: (2017)

A unified approach for high level relational query languages
by: Li, Deyi
Published: (1983)

Nontermination debugging of Prolog programs.
Published: (1992)

Optimising the parallel behaviour of combinations of program components
by: To, Hing Wing
Published: (1996)

The programming language Formian
by: Disney, Peter Lawrence
Published: (1989)

A denotational semantics for concurrent ADA programs
by: Mearns, I.
Published: (1983)

A unified object-oriented approach to knowledge representation within a relational framework
by: Desanker, Rosana Veronica Lilian
Published: (1989)

Types, modularisation and abstraction in logic programming
by: Dayantis, George
Published: (1988)

Proof planning for imperative program development
by: Stark, Jamie
Published: (2000)

A unified approach to the selection of parallel multiplier algorithms and structures in a LSI-VLSI environment
by: Ferrari Almeida, A. M. B.
Published: (1982)

Evaluation and denotation of pure LISP programs : a worked example in semantics
by: Gordon, Michael J. C.
Published: (1974)

A logic-based modelling language and integer-programming framework for multicriteria optimisation
by: Vieira Pinto, Rodrigo Lamas
Published: (1995)

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

The optimisation of user programs for the reduce algebraic manipulation system by pre-processing
by: Hicks, Richard John
Published: (1984)

A unifying language study of automatic parallelization
by: Bowman, Howard
Published: (1991)

An engineering approach to knowledge acquisition by the interactive analysis of dictionary definitions
by: Poria, Sanjay
Published: (1998)

Source level debugging for microprocessors
by: Balfour, J.
Published: (1986)

Mechanising the unifying theories of programming
by: Nuka, Gift Shaba Panson
Published: (2008)

A formal semantics of parallel features of Fortran 95
by: Reid, N. K.
Published: (2003)

The design and implementation of Troy, a distributed object-based language
by: Hailes, Stephen Mark Vernon
Published: (1991)

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

Expression refinement
by: Bunkenburg, Alexander
Published: (1997)

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

An approach to scalable parallel programming
by: Dobson, Simon Andrew
Published: (1993)

Unifying programming paradigms : logic programming and finite state automata
by: Bird, Philip
Published: (2000)

Interprocedural optimisation of regular parallel computations at runtime
by: Beckmann, Olav
Published: (2001)

Optimisation and self-organisation in adaptive learning networks
by: Patel, M. P.
Published: (1987)

DIALOG : a dataflow interpretation approach to logic programs
by: Zhang, Kang
Published: (1990)

Behavioural verification and implementation of an optimising compiler for OBJ3
by: Hamel, Lutz H.
Published: (1995)

Improved logic optimisation for field programmable gate arrays
by: Camus, Dominic Roger
Published: (1999)

Cannot write session to /tmp/vufind_sessions/sess_vriinspf63kmnckgej6jjd3i1n