(A copy of this message has also been posted to the following newsgroups:
comp.lang.functional)
[You can read this on the WWW at:
http://smis-asterix.massey.ac.nz/PAL%20Web/proceedings.html]
Third Massey Functional Programming Workshop (MFPW'96)
Second New Zealand Formal Program Development Colloquium (NZFPDC'96)
Proceedings:
The Third Massey Functional Programming Workshop and the Second
New Zealand Formal Program Development Colloquium were held 12-13
and 14-15 February 1996 respectively at Massey University in
Palmerston North, New Zealand. Contents of each are as follows:
Proceedings of the Third Massey Functional Programming Workshop,
Palmerston North, New Zealand, 12-13 February 1996.
Editor: Peter Burgess, ISBN: 0-473-03679-7
Contents
Implementing Concurrency with Continuations
Peter Burgess and Nigel Perry (Massey University)
Tracing Lazy Functional Languages
Jeremy Gibbons and Keith Wansbrough (University of Auckland)
A Tracing Transform for Non-strict Higher-order Functional Languages
Richard Watson and Eric Salzman (Southern Cross University and The
University of Queensland, Australia)
Efficient Runtime Representation of Evaluation Transformers
Matthias Horn (Free University of Berlin, Germany)
Integrating Functional and Logic Languages : A Denotational Approach
Edward Hermann Haeusler (PUC-Rio, Brazil)
Taswegian GUM: An Extension of Glaswegian GUM
Julian R. Dermoudy (University of Tasmania, Australia)
Explicit Control of Speculative Evaluation
Andrew Partridge (University of Tasmania, Australia)
Dynamic Memory Management for Concurrent Hope+C
Robert Pointon (Massey University)
Proceedings of the Second New Zealand Formal Program Development Colloquium,
Palmerston North, New Zealand, 14-15 February 1996.
Editor: Peter Burgess, ISBN: 0-473-03680-0
Contents
Formal Specification of a Real-Time MAC Protocol in PROMELA
Li Ming (Swiss Federal Institute of Technology, Lausanne)
A Logic for Specifying and Reasoning about Cooperative Environments
Steve Reeves (University of Waikato)
Regarding Abstract Syntax and Logic Programming
Dale Miller (University of Pennsylvania, USA)
Towards an Integrated Refinement Environment for Formal Program Development
Steve Reeves and John C. Grundy (University of Waikato)
Formal Program Derivation with Structure Diagrams
Lindsay Groves (Victoria University of Wellington)
Characterising Various Types of Reuse Formally
Padmanabhan Krishnan (University of Canterbury)
----------------------------------------------------------------------------
Both proceedings are available by contacting Wendy Brown, email
[EMAIL PROTECTED], at a cost of NZ$6.50 each including postage within
New Zealand, add NZ$3 to Australia and NZ$6.50 elsewhere.
If you have any queries you may direct them to Peter Burgess,
[EMAIL PROTECTED]
--
Dr Nigel Perry Email: [EMAIL PROTECTED]
Department of Computer Science Tel: +64 6 350 4007
Massey University Fax: +64 6 350 2259
Palmerston North FTP/Gopher/WWW: smis-asterix.massey.ac.nz
New Zealand (Research: Prog Lang & Papers, Mac S/W)
"What, drive more responsibly!? No way, give the kids bike helmets!"
"But they're not designed for vehicle impacts..."
"We won't tell..."
"... or BMX bikes"
"we'll advertise them with a kid on a BMX and keep quiet about that too..."
- The Cycle Helmet Law, New Zealand's Shame.
Dec 95: The latest research published in/about the New Zealand law states:
a) It hasn't worked in its decalred aimed of reducing head injury rates
b) It is more costly than not having one i.e. it has a negative cost/benefit
compared to the claimed huge positive one.
All this of course on top of the lack of social/ethical/moral justification and you
can see that New Zealand politicians only care about winning votes and nothing about
cyclists.
Ok this sig is long, but it might save lives!
