The series product and its application to quantum feedforward and feedback networks. (2009)
The purpose of this paper is to present simple and general algebraic methods for describing series connections in quantum networks. These methods build on and generalize existing methods for series...
Enhancement of Field Squeezing Using Coherent Feedback (2009)
Gough, John, Wildfeuer, Sebastian
The theory of quantum feedback networks has recently been developed with the aim of showing how quantum input-output components may be connected together so as to control, stabilize, or enhance the...
Quantum Feedback Networks: Hamiltonian Formulation (2009)
A quantum network is an open system consisting of several component Markovian input-output subsystems interconnected by boson field channels carrying quantum stochastic signals. Generalizing the work...
The Unsung Dr. Seuss: Theo. Le Sieg (2009)
Children's Literature Association Quarterly - Volume 11, Number 4, Winter 1986-1987
Experiencing a Sequence of Poems: Ted Hughes's Season Songs (2009)
Children's Literature Association Quarterly - Volume 13, Number 4, Winter 1988
Roger McGough: The Popstar Poet (2009)
Children's Literature Association Quarterly - Volume 10, Number 4, Winter 1986
Quantum Behaviors and Networks (2008)
The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is simply defined in terms...
Linear Quantum Feedback Networks (2008)
Gough, John, Gohm, Rolf, Yanagisawa, Masahiro
The mathematical theory of quantum feedback networks has recently been developed [J. Gough and M. R. James, e-print arXiv:0804.3442v2] for general open quantum dynamical systems interacting with...
Linear quantum feedback networks (2008)
Gough, John, Gohm, Rolf, Yanagisawa, Masahiro
The mathematical theory of quantum feedback networks has recently been developed [J. Gough and M. R. James, e-print arXiv:0804.3442v2] for general open quantum dynamical systems interacting with...
Construction of bilinear control Hamiltonians using the series product and quantum feedback (2008)
We show that it is possible to construct closed quantum systems governed by a bilinear Hamiltonian depending on an arbitrary input signal. This is achieved by coupling the system to a quantum input...
Construction of bilinear control Hamiltonians using the series product and quantum feedback (2008)
We show that it is possible to construct closed quantum systems governed by a bilinear Hamiltonian depending on an arbitrary input signal. This is achieved by coupling the system to a quantum input...
The Chebotarev-Gregoratti Hamiltonian as singular perturbation of a nonsemibounded operator (2008)
We derive the Hamiltonian associated to a quantum stochastic flow by extending the Albeverio-Kurasov construction of self-adjoint extensions to finite rank perturbations of nonsemibounded operators...
Navigation Tool for Relative Debugging (2008)
Define-use Chain, Aaron Searle, John Gough, David Abramson
This paper describes an interactive tool that facilitates following define-use chains in large codes. The motivation for the work is to support “relative debugging”, where it is necessary to...
Optimal Quantum Feedback Control for Canonical Observables (2008)
We consider the problem of optimal feedback control of a quantum system with linear dynamics undergoing continual non-demolition measurement of position and/or momentum, or both together. Specically,...
The article presents several activities that provide opportunities for students to engage in hands-on activities that explores measurement concepts. It includes the rectangular bricks which...
The article presents several excerpts from the books including "The Geometry of Love," by John Cheever, "Mr. Midshipman Hornblower," by C.S. Forester, and "The Stinky Cheese...
The article highlights various books that integrates mathematics in activities and solving problems. The author stated that the novel "The Dice Man" of Luke Rhinehart describes a person who...
The article provides information on the misconceptions in solving perimeter, area, volume and mass and on their respective interventions. Solving the perimeter of a rectangle of a lesser area through...
The article offers information about crosswords and the effective means of playing the game. To start with the game, the author suggests that two or more players use pencil and paper and 5 x 5 square...
This document describes the intermediate program representation DCode. stack machine. Interpretive code generators may process this file to produce object code for various target machines. The...
DRAFT The Port of Gardens Point Modula-2 to ALPHA Architecture (2007)
Jeffrey Ledermann, John Gough, John Hynd, Philip Sinfield
The gpm compiler family began as a project to make the language Modula-2 available in a consistent implementation on contemporary machines. It has become a flexible platform for research in compiler...
DRAFT Eliminating Range Checks using Static Single Assignment Form (2007)
We propose a new method of eliminating range checks in connection with array index expressions and assignments to variables of subrange types. Contrary to the approaches documented in the literature,...
This document describes the bottom up rewriter generator mburg. mburg creates a hard-coded tree pattern matcher from a specified binary tree grammar. The grammar may be adapted to existing data...
Erik Meijer, Redmond Wa, John Gough
The functionality of the recently announced Microsoft.NET system is founded on the capabilities of the Common Language Infrastructure (CLI). Unlike some other recent systems based on virtual...
Quantum Dissipative Systems and Feedback Control Design by Interconnection (2007)
James, Matthew R., Gough, John
The purpose of this paper is to extend J.C. Willems' theory of dissipative systems to the quantum domain. This general theory, which combines perspectives from the quantum physics and control...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
We consider a physical system which is coupled indirectly to a Markovian resevoir through an oscillator mode. This is the case, for example, in the usual model of an atomic sample in a leaky optical...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
Teaching square roots: conceptual complexity in mathematics language (2007)
The article presents strategies for communicating the concept of square roots to limited English-proficient students. Instead of using mathematical terminology, mathematics teachers could communicate...
The article focuses on the mathematical games developed based on the polyomino shapes created by American mathematician Solomon Golomb. It details the mechanics of the pentomino game created by...
How small is a billionth? (2007)
The article presents some practical approaches for conceptualizing very small numbers. It presents a linear model, an area model, and a volume model of a billionth. It also presents several diagrams...
Conceptual complexity and apparent contradictions in mathematics language (2007)
The article explores the conceptual complexity and apparent contradictions in the language of mathematics and suggests ways to handle these problems. Mathematics, as described the author, is a...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
This article provides examples of the teaching of fractions, particularly halves
Teaching square roots: conceptual complexity in mathematics language (2007)
The article presents strategies for communicating the concept of square roots to limited English-proficient students. Instead of using mathematical terminology, mathematics teachers could communicate...
How small is a billionth? (2007)
The article presents some practical approaches for conceptualizing very small numbers. It presents a linear model, an area model, and a volume model of a billionth. It also presents several diagrams...
Conceptual complexity and apparent contradictions in mathematics language (2007)
The article explores the conceptual complexity and apparent contradictions in the language of mathematics and suggests ways to handle these problems. Mathematics, as described the author, is a...
The article focuses on the mathematical games developed based on the polyomino shapes created by American mathematician Solomon Golomb. It details the mechanics of the pentomino game created by...
This article provides examples of the teaching of fractions, particularly halves
Compiling Ruby on the CLR (2007)
The implementation of statically typed programming languages on the .NET CLR is by now well understood [1]. However, the situation with dynamic languages is not so clear. Typically such languages...
Quantum Stratonovich Stochastic Calculus and the Quantum Wong-Zakai Theorem (2006)
We extend the Ito -to- Stratonovich analysis or quantum stochastic differential equations, introduced by Gardiner and Collett for emission (creation), absorption (annihilation) processes, to include...
Opening up open-ended mathematics tasks (2006)
This discussion has evolved from ideas in Peter Sullivan and Pat Lilburn's Open-Ended Maths Activities; Using 'Good' Questions to Enhance Learning (1997). This is a compilation of open-ended...
Montessori place-value and number expander cards (2006)
Montessori Cards are shown in the recently reprinted classic curriculum handbook (yellowcovered) 'Guidelines in Number' (1985, p 18). Unfortunately, exactly what this small, and limited...
Octagonal cardboard frisby-hovering stability (2006)
This article explores the mathematics behind frisbys for the primary school classroom.
Multiplication curriculum: a short outline (2006)
Teachers not only know how to multiply, they also know how to teach children multiplication. But at any one time, most teachers are only concerned with a small section of the whole large process of...
Using programmed formulas in Excel (2006)
A NESTED formula that converted a numerical mark to a letter grade which is used at Deakin to create letter grades of High Distinction, Distinction, Credit, Pass, and Fail is outlined. Spreadsheet...
A 'rubric' is a way of assessing what an individual student has learned about a particular topic. A rubric uses a checklist made of the sub-tasks or components within the task, with graded...
VELS versus CSF: replacement, conflict or harmony? (2006)
Sometimes VELS (Victorian Essential Learning Standards) is confusing. Part of the problem is that it is available only on-line as a web-browse-able collection of internet web pages. It is broadly...
Opening up open-ended mathematics tasks (2006)
This discussion has evolved from ideas in Peter Sullivan and Pat Lilburn's Open-Ended Maths Activities; Using 'Good' Questions to Enhance Learning (1997). This is a compilation of open-ended...
Montessori place-value and number expander cards (2006)
Montessori Cards are shown in the recently reprinted classic curriculum handbook (yellowcovered) 'Guidelines in Number' (1985, p 18). Unfortunately, exactly what this small, and limited...
The octagonal cardboard frisby-hovering stability (2006)
This article explores the mathematics behind frisbys for the primary school classroom.
A multiplication curriculum: a short outline (2006)
Teachers not only know how to multiply, they also know how to teach children multiplication. But at any one time, most teachers are only concerned with a small section of the whole large process of...
Using programmed formulas in Excel (2006)
A NESTED formula that converted a numerical mark to a letter grade which is used at Deakin to create letter grades of High Distinction, Distinction, Credit, Pass, and Fail is outlined. Spreadsheet...
A 'rubric' is a way of assessing what an individual student has learned about a particular topic. A rubric uses a checklist made of the sub-tasks or components within the task, with graded...
VELS versus CSF: replacement, conflict or harmony? (2006)
Sometimes VELS (Victorian Essential Learning Standards) is confusing. Part of the problem is that it is available only on-line as a web-browse-able collection of internet web pages. It is broadly...
Optimal Quantum Feedback Control for Canonical Observables (2005)
We show that the stochastic Schrodinger equation for the filtered state of a system, with linear free dynamics, undergoing continual non-demolition measurement or either position or momentum, or both...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Hamilton–Jacobi–Bellman equations for quantum optimal feedback control (2005)
Gough, John, Belavkin, V.P., Smolianov, O.G.
We exploit the separation of the filtering and control aspects of quantum feedback control to consider the optimal control as a classical stochastic problem on the space of quantum states. We derive...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Randomized Hamiltonian Feynman integrals and Schrödinger-Ito stochastic equations (2005)
Gough, John, Obreskov, Oleg, Smolyanov, Oleg
Translated from Russian version:- Izvestiya RAN: Ser. Mat. 69:6 3–20
Quantum Markovian Approximations for Fermionic Reservoirs (2005)
We establish a quantum functional central limit for the dynamics of a system coupled to a Fermionic bath with a general interaction linear in the creation, annihilation and scattering of the bath...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Virtual Machines, Managed Code and Component Technology (2005)
Abstract machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machines offer...
Continuous measurement of canonical observables and limit stochastic Schrödinger equations (2004)
We derive the stochastic Schrödinger equation for the limit of continuous weak measurement where the observables monitored are canonical position and momentum. To this end we extend an argument due...
Holevo-Ordering and the Continuous-Time Limit for Open Floquet Dynamics (2004)
We consider an atomic beam reservoir as a source of quantum noise. The atoms are modelled as two-state systems and interact one-at-a-time with the system. The Floquet operators are described in terms...
Quantum Flows as Markovian Limit of Emission, Absorption and Scattering Interactions (2004)
We consider a Markovian approximation, of weak coupling type, to an open system perturbation involving emission, absorption and scattering by reservoir quanta. The result is the general form for a...
Mystery and movement: doing more with dominoes (2004)
John Gough explains how to turn an ordinary set of dominoes into games of mystery, movement and strategy.
Algebra skills and traps and diagnostic teaching for the future (2004)
Explores on some research about teaching and learning algebra and related classroom issues. Diagnostic instruments that may be used by senior secondary teachers in teaching algebra to senior classes;...
Mathematical games with the alphabet (2004)
John Gough once again makes the ordinary fascinating as he piques our curiosity about the origins of the alphabet and turns the various mathematical properties of letters into bases for games.
Fixing misconceptions: length, area and volume (2004)
The author presents a number of children's misconceptions concerning mathematical problems involving perimeter, area, volume and mass. A number of examples of interventions to assist students to...
Mathematics in microworlds: showing the flag! (2004)
This article presents an overview of how to use Logo programming to draw national flags. This activity moves away from overt geometry to implicit geometry.
How to review a mathematics textbook (2004)
This article provides guidelines for maths primary teachers on how to review a mathematics textbook or curriculum system.
Stochastic Schrodinger equations as limit of discrete (2004)
We consider an open model possessing a Markovian quantum stochastic limit and derive the limit stochastic Schrodinger equations for the wave function conditioned on indirect observations using only...
Mathematical games with the alphabet (2004)
John Gough once again makes the ordinary fascinating as he piques our curiosity about the origins of the alphabet and turns the various mathematical properties of letters into bases for games.
Mystery and movement: doing more with dominoes (2004)
John Gough explains how to turn an ordinary set of dominoes into games of mystery, movement and strategy.
Algebra skills and traps and diagnostic teaching for the future (2004)
Explores on some research about teaching and learning algebra and related classroom issues. Diagnostic instruments that may be used by senior secondary teachers in teaching algebra to senior classes;...
Fixing misconceptions: length, area and volume (2004)
The author presents a number of children's misconceptions concerning mathematical problems involving perimeter, area, volume and mass. A number of examples of interventions to assist students to...
Mathematics in microworlds: showing the flag! (2004)
This article presents an overview of how to use Logo programming to draw national flags. This activity moves away from overt geometry to implicit geometry.
How to review a mathematics textbook (2004)
This article provides guidelines for maths primary teachers on how to review a mathematics textbook or curriculum system.
'Horses for courses' - curriculum-speed in the CSF (2003)
This article considers the issue of acceleration in lower secondary school mathematics in the Victorian Curriculum and Standards Framework.
Microworlds and mathematics - make a microworld melody (2003)
This article provides step by step instructions to create recognisable melodies using Microworlds melody program. It describes how the program works to create the notes. Through the writing of a...
Microworlds and mathematics: playing with melodies (2003)
The author looks at the effects of replaying a sequence of sounds or musical notes in reverse temporal order. He presents some programming ideas which illustrate how to use MicroWorlds and Logo...
School mathematics and ICT: are we doing enough? - The talk (2003)
The author discusses how to improve the use of ICT in mathematics education. A number of measures are recommended including the need to conduct an ICT-and-mathematics audit across the curriculum. The...
Programming your - objects (turtles, textboxes, sliders and buttons) in microworlds (2003)
This article outlines some new-object commands of Logo Microworlds and includes the use of buttons, sliders and programmable colours. The ability to assign object properties including font, colour...
Microworlds and mathematics - make a microworld melody (2003)
This article provides step by step instructions to create recognisable melodies using Microworlds melody program. It describes how the program works to create the notes. Through the writing of a...
Microworlds and mathematics: playing with melodies (2003)
The author looks at the effects of replaying a sequence of sounds or musical notes in reverse temporal order. He presents some programming ideas which illustrate how to use MicroWorlds and Logo...
School mathematics and ICT: are we doing enough? - The talk (2003)
The author discusses how to improve the use of ICT in mathematics education. A number of measures are recommended including the need to conduct an ICT-and-mathematics audit across the curriculum. The...
Programming your - objects (turtles, textboxes, sliders and buttons) in microworlds (2003)
This article outlines some new-object commands of Logo Microworlds and includes the use of buttons, sliders and programmable colours. The ability to assign object properties including font, colour...
'Horses for courses' - curriculum-speed in the CSF (2003)
This article considers the issue of acceleration in lower secondary school mathematics in the Victorian Curriculum and Standards Framework.
Discusses innovations on logic games which will develop the problem solving and spatial thinking of students. Variations of existing logic games; Description of the innovated games; Advice on...
Make a game or adapt a game (2002)
Provides an idea on how to devise a mathematical game for primary students. Requirement of an effective mathematical game; Design of the game; Criteria for judging.
Discusses the use of domino game in teaching mathematics. Mechanics of the scoring system for the game; Variants of the game; Conceptualizing domino games.
Middle school melding: liaising primary-to-secondary transition (2002)
Discusses the transition from primary to secondary education in relation to mathematics. Discusses how to minimise the disruption and maximise the communication between, and effective outcomes for...
Middle school melding: liaising primary-to-secondary transition (2002)
Discusses the transition from primary to secondary education in relation to mathematics. Discusses how to minimise the disruption and maximise the communication between, and effective outcomes for...
Discusses innovations on logic games which will develop the problem solving and spatial thinking of students. Variations of existing logic games; Description of the innovated games; Advice on...
Make a game or adapt a game (2002)
Provides an idea on how to devise a mathematical game for primary students. Requirement of an effective mathematical game; Design of the game; Criteria for judging.
Discusses the use of domino game in teaching mathematics. Mechanics of the scoring system for the game; Variants of the game; Conceptualizing domino games.
Weighty matters and dense arguments: CSF versus real experience (2001)
This paper argues that the Victorian Curriculum Standards Framework (CSF II) sequencing is unhelpful for teachers of primary mathematics. 'Density' and 'speed', for example, become sensible concepts...
Provides several alternative mathematical games. Features of the game Beetle; Mechanics of the game Ludo; Description of the game Horse Race.
Dice-rolling games : yahtzee, poker dice and others (2001)
Provides information on some dice rolling games and the social need for mathematical information on gambling. Pass the pig; Heads, tails or odds; Yahtzee.
Part III. Examines the mathematics behind common card games. Aim of the card game Happy Families; Format of the card game Old Maid; Instruction for playing the card game Rummy.
Get to know your local games shop (2001)
Provides information on the mathematical potential of commercial board games. Mastermind; Snakes and Ladders; Ludo.
Algebra concepts and skills survey - a draft (2001)
Presents questions adapted from the 'Group Review of Algebra Topics' (ACER 1991) that form a draft survey test of 24 items ranging across aspects of algebra and secondary algebra instruction.
Tackling trigonometry - up the slippery slope? (2001)
This paper challenges mathematics teachers to go back and re-examine ideas as far as possible from the genuine beginner's point of view rather than in terms of being experts on the subject. It...
Mathematical thinking: a screening profile for 'operations' (2001)
This paper comments on and adapts the screening profile developed from 'ACER Mathematics Profile Series (MAPS): Operations' (1977). A sample screening profile worksheet for 'Operations' is provided....
Diagnostic 'profile' for chance (probability) (2001)
This article presents a profiling tools for identifying students knowledge in chance.
Weighty matters and dense arguments: CSF versus real experience (2001)
This paper argues that the Victorian Curriculum Standards Framework (CSF II) sequencing is unhelpful for teachers of primary mathematics. 'Density' and 'speed', for example, become sensible concepts...
Provides several alternative mathematical games. Features of the game Beetle; Mechanics of the game Ludo; Description of the game Horse Race.
Dice-rolling games : yahtzee, poker dice and others (2001)
Provides information on some dice rolling games and the social need for mathematical information on gambling. Pass the pig; Heads, tails or odds; Yahtzee.
Part III. Examines the mathematics behind common card games. Aim of the card game Happy Families; Format of the card game Old Maid; Instruction for playing the card game Rummy.
Get to know your local games shop (2001)
Provides information on the mathematical potential of commercial board games. Mastermind; Snakes and Ladders; Ludo.
Algebra concepts and skills survey - a draft (2001)
Presents questions adapted from the 'Group Review of Algebra Topics' (ACER 1991) that form a draft survey test of 24 items ranging across aspects of algebra and secondary algebra instruction.
Tackling trigonometry - up the slippery slope? (2001)
This paper challenges mathematics teachers to go back and re-examine ideas as far as possible from the genuine beginner's point of view rather than in terms of being experts on the subject. It...
Mathematical thinking: a screening profile for 'operations' (2001)
This paper comments on and adapts the screening profile developed from 'ACER Mathematics Profile Series (MAPS): Operations' (1977). A sample screening profile worksheet for 'Operations' is provided....
A diagnostic 'profile' for chance (probability) (2001)
This article presents a profiling tools for identifying students knowledge in chance.
Conciliation: The Adaptation of Independently Developed Components (1998)
Glenn Smith, John Gough, Clemens Szyperski
Components which are developed independently but have similar behaviour, generally cannot be substituted for use by a client due to structural differences and minor but subtle behavioural...
A Case for Meta-Interworking: Projecting CORBA Meta-data into COM (1998)
Glenn Smith, John Gough, Clemens Szyperski
The pressure to reduce the time and effort required to produce and update software components, together with the existence of multiple competing component worlds, has forced the introduction of...
Conciliation: The Adaptation of Independently Developed Components (1998)
Glenn Smith, John Gough, Clemens Szyperski
Components which are developed independently but have similar behaviour, generally cannot be substituted for use by a client due to structural differences and minor but subtle behavioural...
The Role of Programming Languages in the Life-Cycle of Safe Systems (1996)
Safety as understood in the conference theme can be separated into the more technical terms of safety, progress, and security: nothing bad happens, the right things do happen, and things happen under...
The role of programming languages in the life-cycle of safe systems (1995)
Safety as understood in the conference theme can be separated into the more technical terms of safety, progress, and security: nothing bad happens, the right things do happen, and things happen under...
The role of programming languages in the life-cycle of safe systems (1995)
Safety as understood in the conference theme can be separated into the more technical terms of safety, progress, and security: nothing bad happens, the right things do happen, and things happen under...
Efficient Recognition of Events in a Distributed System (1995)
John Gough Faculty, John Gough, Glenn Smith
In distributed systems the need arises to provide event notification based on specified criteria. The criteria change as requests are added or withdrawn. In this paper we describe an approach to the...
The DCode Intermediate Program Representation Reference Manual and Report (1995)
This document describes the intermediate program representation DCode. The representation is an ASCII format which specifies instructions for an abstract stack machine. Interpretive code generators...
Efficient Recognition of Events in a Distributed System (1995)
In distributed systems the need arises to provide event notification based on specified criteria. The criteria change as requests are added or withdrawn. In this paper we describe an approach to the...
Efficient Recognition of Events in a Distributed System (1995)
In distributed systems the need arises to provide event notification based on specified criteria. The criteria change as requests are added or withdrawn. In this paper we describe an approach to the...
Interpretive Debugging of Optimised Code (1994)
John Gough, Jeff Ledermann, Kim Elms
Traditional debuggers for imperative languages have relied for their operation on information extracted at the time that the modules of the program were compiled. Here, we discuss an alternative...
Type Test Elimination using Typeflow Analysis (1994)
. Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeflow...
Eliminating Range Checks Using Static Single Assignment Form (Extended Abstract) (1994)
John Gough, Queensland University of Technology Herbert Klaeren, University of Tubingen y November 1, 1994 Abstract We propose a new method of eliminating range checks in connection with array index...