The University of Southampton
University of Southampton Institutional Repository

Validating and Animating Higher-Order Recursive Functions in B

Validating and Animating Higher-Order Recursive Functions in B
Validating and Animating Higher-Order Recursive Functions in B
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Cansell, Dominique
49d5f163-79d4-4c57-a9a3-40d0900c5e5a
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Abrial,, Jean-Raymond
849774c9-4a78-4feb-b2c2-3365141e58e9
Glässer, Uwe
0f9c6536-c271-4645-b3e7-c78df520949b
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Cansell, Dominique
49d5f163-79d4-4c57-a9a3-40d0900c5e5a
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Abrial,, Jean-Raymond
849774c9-4a78-4feb-b2c2-3365141e58e9
Glässer, Uwe
0f9c6536-c271-4645-b3e7-c78df520949b

Leuschel, Michael, Cansell, Dominique and Butler, Michael (2007) Validating and Animating Higher-Order Recursive Functions in B. Abrial,, Jean-Raymond and Glässer, Uwe (eds.) Festschrift for Egon Börger.

Record type: Conference or Workshop Item (Paper)
Text
festschrift_closures_final.pdf - Other
Download (215kB)

More information

Published date: 2007
Venue - Dates: Festschrift for Egon Börger, 2007-01-01
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 264456
URI: http://eprints.soton.ac.uk/id/eprint/264456
PURE UUID: 9ca33e4c-6638-4550-9c95-107e6b528a39
ORCID for Michael Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 05 Sep 2007
Last modified: 15 Mar 2024 02:50

Export record

Contributors

Author: Michael Leuschel
Author: Dominique Cansell
Author: Michael Butler ORCID iD
Editor: Jean-Raymond Abrial,
Editor: Uwe Glässer

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×