OXFORD UNIVERSITY COMPUTING LABORATORY PROGRAMMING RESEARCH GROUP

Proceedings of the Fourth Annual

Z Users Meeting Friday 15th December 1989 Rewley House Wellington Square Oxford together with an additional

Z Technical Meeting Thursday 14th December 1989 Wolfson College Oxford

Programme Committee Jonathan Bowen, PRG Oxford Dr D A Duce, RAL Chilton Prof Pat Hall, Brunel University Tim Hoverd, Logica Research Peter Lupton, IBM Hursley John Nicholls, PRG Oxford (Chairman) Dr Chris Sennett, RSRE Malvern

Further copies of this Proceedings, PRG monographs and other Z related material are available. For more information, please contact: The Librarian Oxford University Computing Laboratory Programming Research Group 8{11 Keble Road Oxford OX1 3QD England Tel:

0865-273837 (librarian) 0865-273838 (general enquiries) Fax: 0865-273839 Email: [email protected] (JANET)

Contents Z Technical and Users Meeting Paper No. Paper Title 1

Type Inference in Z

2

Minimisation in Formal Speci cation and Design From Z Programs to Z Speci cations Computer Aided Transformation of Z into Prolog From Z Speci cations to functional implementations

3 4 5 6 7 8 9 10 11 12 13 14 15

A Generalisation of Bags in Z

Author(s) Bernard Sufrin, Mike Spivey PRG Andy Gravell University of Southampton Peter Breuer, Kevin Lano PRG A J J Dick Racal Research Mike Johnson, Paul Sanders British Telecom

Ian Hayes University of Queensland Formaliser { An interactive Mike Flynn Support Tool for Z Logica Using Z to develop D Brownbridge a Case Toolset Praxis Using Z to describe Trevor Nash Really large systems ICL Results of using Z in CICS M Phillips IBM Hursley Structural Metrics for Robin Whitty Z Speci cation South Bank Polytechnic Educating Management in Z David Cooper CITI The Knuth-Bendix Completion Algorithm A Smith and its Speci cation in Z RSRE Using Z to describe POSIX M McMorran, IBM D Mole, South Bank Polytechnic A Message Passing System Mike Benjamin An Example of combining CSP & Z British Aerospace

Selected Z Bibliography & Posters

Selected Z Bibliography Jonathan Bowen December 1989

Posters

Z Users Meeting - Semantic Scholar

OXFORD UNIVERSITY COMPUTING LABORATORY. PROGRAMMING RESEARCH GROUP. Proceedings of the Fourth Annual. Z Users Meeting. Friday 15th December 1989. Rewley House. Wellington Square Oxford together with an additional. Z Technical Meeting. Thursday 14th December 1989. Wolfson College ...

94KB Sizes 2 Downloads 315 Views

Recommend Documents

A Concrete Z Grammar - Semantic Scholar
the newer flex are slow, usually taking up the majority of the parse time. Extending a ..... The IBM AIX C compiler would not accept variables which were declared ...

A Concrete Z Grammar - Semantic Scholar
A Directive is a mode change instruction, such as a declaration of the ...... 1. an expression e in a BNF grammar G binds a set of finite sequences of lexemes, the ...

A Room with a View: Understanding Users' Stages ... - Semantic Scholar
May 10, 2012 - Users' Stages in Picking a Hotel Online. Abstract ... describing how this model influenced the development ... When online tools or online.

Using the Internet: Skill related problems in users ... - Semantic Scholar
Jun 30, 2009 - achieve the best means for the goal desired. After the right ..... To identify individual lay-out and website design related prob- lems, subjects ...

Using the Internet: Skill related problems in users ... - Semantic Scholar
Jun 30, 2009 - Government Information Service's website in the original window, even when it was still visible ..... b Measured during information assignments (free surfing). References. Aula, A. ... Virtual Inequality: Beyond the. Digital Divide.

Z LOGIC AND ITS CONSEQUENCES Martin C ... - Semantic Scholar
Jun 16, 2003 - major elements of the language, in particular, the language of schemas and its calculus. The approach ... least in expressivity, higher-order logic) concerning schema types and bindings. The second part of ..... tremely useful in Z log

Z LOGIC AND ITS CONSEQUENCES Martin C ... - Semantic Scholar
Jun 16, 2003 - major elements of the language, in particular, the language of schemas and its calculus. ... least in expressivity, higher-order logic) concerning schema types and bindings. The second part of the paper is ... sequences to be drawn: th

Physics - Semantic Scholar
... Z. El Achheb, H. Bakrim, A. Hourmatallah, N. Benzakour, and A. Jorio, Phys. Stat. Sol. 236, 661 (2003). [27] A. Stachow-Wojcik, W. Mac, A. Twardowski, G. Karczzzewski, E. Janik, T. Wojtowicz, J. Kossut and E. Dynowska, Phys. Stat. Sol (a) 177, 55

Physics - Semantic Scholar
The automation of measuring the IV characteristics of a diode is achieved by ... simultaneously making the programming simpler as compared to the serial or ...

Physics - Semantic Scholar
Cu Ga CrSe was the first gallium- doped chalcogen spinel which has been ... /licenses/by-nc-nd/3.0/>. J o u r n a l o f. Physics. Students http://www.jphysstu.org ...

Physics - Semantic Scholar
semiconductors and magnetic since they show typical semiconductor behaviour and they also reveal pronounced magnetic properties. Te. Mn. Cd x x. −1. , Zinc-blende structure DMS alloys are the most typical. This article is released under the Creativ

vehicle safety - Semantic Scholar
primarily because the manufacturers have not believed such changes to be profitable .... people would prefer the safety of an armored car and be willing to pay.

Reality Checks - Semantic Scholar
recently hired workers eligible for participation in these type of 401(k) plans has been increasing ...... Rather than simply computing an overall percentage of the.

Top Articles - Semantic Scholar
Home | Login | Logout | Access Information | Alerts | Sitemap | Help. Top 100 Documents. BROWSE ... Image Analysis and Interpretation, 1994., Proceedings of the IEEE Southwest Symposium on. Volume , Issue , Date: 21-24 .... Circuits and Systems for V

TURING GAMES - Semantic Scholar
DEPARTMENT OF COMPUTER SCIENCE, COLUMBIA UNIVERSITY, NEW ... Game Theory [9] and Computer Science are both rich fields of mathematics which.

A Appendix - Semantic Scholar
buyer during the learning and exploit phase of the LEAP algorithm, respectively. We have. S2. T. X t=T↵+1 γt1 = γT↵. T T↵. 1. X t=0 γt = γT↵. 1 γ. (1. γT T↵ ) . (7). Indeed, this an upper bound on the total surplus any buyer can hope

i* 1 - Semantic Scholar
labeling for web domains, using label slicing and BiCGStab. Keywords-graph .... the computational costs by the same percentage as the percentage of dropped ...

fibromyalgia - Semantic Scholar
analytical techniques a defect in T-cell activation was found in fibromyalgia patients. ..... studies pregnenolone significantly reduced exploratory anxiety. A very ...

hoff.chp:Corel VENTURA - Semantic Scholar
To address the flicker problem, some methods repeat images multiple times ... Program, Rm. 360 Minor, Berkeley, CA 94720 USA; telephone 510/205-. 3709 ... The green lines are the additional spectra from the stroboscopic stimulus; they are.

Dot Plots - Semantic Scholar
Dot plots represent individual observations in a batch of data with symbols, usually circular dots. They have been used for more than .... for displaying data values directly; they were not intended as density estimators and would be ill- suited for

Master's Thesis - Semantic Scholar
want to thank Adobe Inc. for also providing funding for my work and for their summer ...... formant discrimination,” Acoustics Research Letters Online, vol. 5, Apr.

talking point - Semantic Scholar
oxford, uK: oxford university press. Singer p (1979) Practical Ethics. cambridge, uK: cambridge university press. Solter D, Beyleveld D, Friele MB, Holwka J, lilie H, lovellBadge r, Mandla c, Martin u, pardo avellaneda r, Wütscher F (2004) Embryo. R

Physics - Semantic Scholar
length of electrons decreased with Si concentration up to 0.2. Four absorption bands were observed in infrared spectra in the range between 1000 and 200 cm-1 ...