@COMMENT{{This file has been generated by bib2bib 1.88}}
@COMMENT{{Command line: /usr/bin/bib2bib -ob TECHREPORT.bib -oc TECHREPORT-cites -c 'not $key : "TRX$"' -c '$type : "^TECHREPORT$"' ../pubs-html.bib}}
@TECHREPORT{TSftOGTIwtPLfU07-TR,
author = {Brijesh Dongol and Ian J. Hayes},
title = {Trace Semantics for the {Owicki-Gries} Theory Integrated with the Progress Logic from UNITY},
number = {SSE-2007-02},
institution = {Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland},
year = {2007}
}
@TECHREPORT{ASfBT-TR,
author = {R. Colvin and I.J. Hayes},
title = {A Semantics for Behavior Trees},
institution = {ARC Centre for Complex Systems (ACCS)},
type = {ACCS Technical Report},
number = {ACCS-TR-07-01},
url = {http://www.accs.edu.au/documents/TechnicalReports/ACCS_TR_07_01},
month = {April},
project = {DCCS},
year = {2007}
}
@TECHREPORT{BurnsEt05,
author = {A. Burns and I. J. Hayes and G. Baxter and C. J. Fidge},
title = {Modelling Temporal Behaviour in Complex Socio-Technical Systems},
year = {2005},
institution = {University of York},
oinstitution = {Department of Computer Science, University of York},
number = {YCS~390}
}
@TECHREPORT{BaFICBE05,
author = {Cook, Phil and Welsh, Jim and Hayes, Ian J.},
title = {Building a Flexible Incremental Compiler Back-End},
number = {SSE-2005-02},
institution = {Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland},
year = {2005}
}
@TECHREPORT{ISEfIS05,
author = {Cook, Phil and Welsh, Jim and Hayes, Ian J.},
title = {Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations},
number = {SSE-2005-01},
institution = {Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland},
year = {2005}
}
@TECHREPORT{ICSEiC-TR,
author = {Phil Cook and Jim Welsh and Ian J. Hayes},
title = {Incremental Context-Sensitive Evaluation in Context},
institution = {Software Verification Research Centre, The University of
Queensland},
number = {02-11},
project = {Phil PhD},
year = {2002}
}
@TECHREPORT{BSAG-TR,
author = {Ian J. Hayes},
title = {Block-Structured (Attribute) Grammars},
institution = {Software Verification Research Centre, The University of Queensland},
number = {02-47},
month = DEC,
project = {},
code = {K (Research report)},
rfcd = {280303 (Programming Languages)},
seo = {700199 (Computer Software and Services n.e.c.)},
year = {2002},
abstract = {
Most computing languages are highly structured but
conventional (flat) grammars
do not make that structure explicit.
To address this issue, we examine adding block structure
to grammars.
We allow a production in a grammar to have local productions
associated with it.
The local productions are accessible only via that production.
Local productions for one construct may be nested within
local productions for higher level constructs to form a
tree-structured hierarchy.
If block structuring is used with an attribute grammar one
can also avoid explicit copying of inherited attributes
through intermediate nodes in the parse tree that do not
modify or make use of the attribute.
For example, in the definition of an expression in a
programming language grammar one may have an environment
attribute that is identical for all nodes in the expression
subtree.
The explicit passing down of the environment attribute
through the intermediate nodes
can be avoided by allowing direct reference to the
environment attribute of the top-level expression
nonterminal.
},
keywords = {Block structure; attribute grammars; L-attribute grammars;
upward remote attributes.}
}
@TECHREPORT{ADSfLPR-TR,
author = {I. J. Hayes and R. Nickson and P. Strooper and R. Colvin},
title = {A Declarative Semantics for Logic Program Refinement},
number = {00-30},
institution = {Software Verification Research Centre,
The University of Queensland, Brisbane 4072, Australia},
month = NOV,
keywords = {Logic programming, refinement.},
project = {RefLP},
year = {2000},
abstract = {The refinement calculus provides a framework for
the stepwise development of
imperative programs from specifications.
This paper presents a semantics for a refinement calculus for deriving
logic programs.
The calculus contains a wide-spectrum logic programming language,
including
executable constructs such as sequential conjunction, disjunction, and
existential quantification, as well as specifications constructs
(general predicates and assumptions) and universal quantification.
A semantics is defined for this wide-spectrum language based on
{\em executions}, which are partial functions from states to states,
where a state is represented as a set of bindings.
This execution semantics is used to define the meaning of programs and
specifications, including parameters and recursion.
To complete the calculus, a notion of correctness-preserving refinement
over programs in the wide-spectrum language is defined and a refinement
law for introducing recursive procedures is presented.}
}
@TECHREPORT{Tutoring,
author = {Report of the Computer Science Action Learning Group},
title = {Improving the Quality of Tutorial Classes in Computer Science},
institution = {Department of Computer Science, University of Queensland},
number = {UQ-CS-322},
year = {1995}
}
@TECHREPORT{Diff-VDM-Z-TR,
author = {I. J. Hayes and C. B. Jones and J. E. Nicholls},
title = {Understanding the differences between {VDM} and {Z}},
institution = {Department of Computer Science, University of Manchester},
type = {Technical report},
number = {UMCS-93-8-1},
ps = {../Papers/UMCS-93-8-1.ps},
month = {August},
year = {1993}
}
@TECHREPORT{Hayes90b-TR,
author = {I. J. Hayes},
institution = {Department of Computer Science, University of Queensland},
title = {Specifying Physical Limitations: A Case Study of an Oscilloscope},
type = {Technical report},
number = {167},
month = {July},
pages = {17 pages},
ps = {../Papers/TR0167.ps},
year = 1990
}
@TECHREPORT{HayesNeucomWelsh88,
author = {I. J. Hayes and R. Neucom and J. Welsh},
title = {An editor for {Z} specifications},
pages = {13 pages},
institution = {Department of Computer Science, University of Queensland},
year = {1988}
}
@TECHREPORT{DukeHayesRose88,
author = {R. Duke and I. J. Hayes and G. A. Rose},
title = {Verification of a cyclic retransmission protocol},
number = {UQ-CS-92},
pages = {1--23},
institution = {Department of Computer Science, The University of Queensland},
month = {July},
year = {1988}
}
@TECHREPORT{HayesRobinson87,
address = {Brisbane, Australia},
author = {I. J. Hayes and K. A. Robinson},
institution = {Department of Computer Science, University of Queensland},
pages = {35 pages},
title = {A {Modula}-2-Based Translator Generator},
type = {Technical report 84},
year = {1987}
}
@TECHREPORT{HayesRobinson82,
address = {Sydney, Australia},
author = {I. J. Hayes and K. A. Robinson},
institution = {Department of Computer Science, University of New South Wales},
pages = {27 pages},
title = {A Tutorial on {Llama}: A {Pascal}-Based Translator Generator},
type = {Technical report},
year = {1982}
}
This file has been generated by bibtex2html 1.88.
Last updated: