Binding-Time Analysis for Mercury
Binding-Time Analysis for Mercury
ISBN 3-540-22152-2
189-232
Springer Berlin, Heidelberg
Vanhoof, Wim
b5c3bd66-143d-4301-95fa-afdc35e03539
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
2004
Vanhoof, Wim
b5c3bd66-143d-4301-95fa-afdc35e03539
Bruynooghe, Maurice
d330a4d8-e9d8-4994-8672-0a89fe4df305
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Vanhoof, Wim, Bruynooghe, Maurice and Leuschel, Michael
(2004)
Binding-Time Analysis for Mercury.
In,
Bruynooghe, Maurice and Lau, Kung-Kiu
(eds.)
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development.
Springer Berlin, Heidelberg, .
Record type:
Book Section
More information
Published date: 2004
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 259544
URI: http://eprints.soton.ac.uk/id/eprint/259544
ISBN: ISBN 3-540-22152-2
PURE UUID: 8a139bf0-8c13-49c2-a1e1-daf2dd1616c4
Catalogue record
Date deposited: 27 Jul 2004
Last modified: 14 Mar 2024 06:24
Export record
Contributors
Author:
Wim Vanhoof
Author:
Maurice Bruynooghe
Author:
Michael Leuschel
Editor:
Maurice Bruynooghe
Editor:
Kung-Kiu Lau
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