System Upgrade on Tue, May 28th, 2024 at 2am (EDT)
Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.
Contents:
- Games for Recursive Types (S Abramsky & G McCusker)
- A Lambda-Evaluator Based on Interaction Nets (I Mackie)
- An Internal Language for Interaction Categories (R Crole et al.)
- Continuation Strictness Analysis of Lists (J Muylaert-Filho)
- Modularization and Priorities (S Liebert)
- Locales are Not Pointless (S Vickers)
- Static Analysis of Value-Passing Process Calculi (D Clark et al.)
- Geometric Logic as a Specification Language (S Vickers)
- and other papers
Readership: Research scientists and graduate students in theoretical computer science.
