Compilation techniques for the Nottingham MUSE machine

Compilation techniques for the Nottingham MUSE machine

Bibliographic Details
Main Author:	Allsopp, D.
Published:	University of Nottingham 1986
Subjects:	005 Multiple Stream Evaluator
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373360

Similar Items

Software tools and a simulation system for the Nottingham multi-stream dataflow project
by: Barrett, N. K.
Published: (1985)

The Development of Compiler Writing Techniques
by: Dawson, J. L.
Published: (1974)

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

Virtual environment usability and user competence : the Nottingham Assessment of Interaction within Virtual Environments (NAIVE) tool
by: Griffiths, Gareth David
Published: (2001)

Meta-compilation for C++
by: Willink, Edward D.
Published: (2002)

Improving high performance computing using code generation and compilation techniques
by: Bercea, Gheorghe-Teodor
Published: (2017)

The development of a new compiler-compiler front-end
by: Bendjeddou, Nadia
Published: (1989)

An Approach to Incremental Compilation
by: Rees, M. J.
Published: (1974)

Intermediate Languages in Compilation
by: Elsworth, E. F.
Published: (1975)

Recursive query processing in deductive databases using graph traversal and rule compilation techniques
by: CanÌƒabate, Estrella Pulido
Published: (1996)

An OR parallel logic programming language : its compiler and abstract machine
by: Cheng, A. S. K.
Published: (1988)

Mathematical semantics and compiler generation
by: Mosses, Peter David
Published: (1975)

Architectural support for compilation
by: Palmer, Ian James
Published: (1996)

An application of parallelism to compilation
by: Kilpatrick, P. L.
Published: (1985)

Speeding up dynamic compilation : concurrent and parallel dynamic compilation
by: Bohm, Igor
Published: (2013)

Compiling and reasoning about exceptions and interrupts
by: Wright, Joel J.
Published: (2005)

A verified compiler for Handel-C
by: Perna, Juan Ignacio
Published: (2010)

A distributed compilation system
by: Wei, Mian
Published: (1990)

Model checking pointer safety in compiled programs
by: Muehlberg, Jan Tobias
Published: (2009)

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

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

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

An improved tool for automated compiler construction
by: Parkes, Michael A. B.
Published: (1989)

Correct synthesis and integration of compiler-generated function units
by: Ellis, Martin Andrew
Published: (2008)

Developing embedded software using compile-time virtualisation
by: Gray, I.
Published: (2010)

Establishing program equivalence in translation validation for optimizing compilers
by: Narasamdya, Iman
Published: (2007)

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

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

The design and semantic analysis of a programming language and its compiler
by: Henderson, P.
Published: (1970)

Proxy compilation of dynamically loaded Java classes for embedded systems
by: Newsome, Matt
Published: (2003)

Exploring the fundamental differences between compiler optimisations for energy and for performance
by: Pallister, James
Published: (2016)

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

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

Compile-time analysis for the parallel execution of logic programs in Andorra-1
by: Costa, Vitor Manuel de Morais Santos
Published: (1993)

Trace-based just-in-time compilation for lazy functional programming languages
by: Schilling, Thomas
Published: (2013)

A compiler cost model for speculative multithreading chip-multiprocessor architectures
by: Dou, Jialin
Published: (2006)

Automatic compiler generation from natural semantics specifications
by: McKeever, Stephen Walter
Published: (2002)

The impact of instruction set orthogonality on compiler code generation
by: Williams, Fleur Liane
Published: (1989)

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

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