A verified compiler for Handel-C :: Juan Ignacio Perna :: University of York, Department of Computer Science 2010 :: OBNB, the Open British National Bibliography

Publication Data

Title A verified compiler for Handel-C
Author Juan Ignacio Perna
Contributor
Publisher University of York, Department of Computer Science
Publication date 2010
Publication location York
Language English

Descriptive Notes

Originally presented as the author's thesis (Ph.D.)--University of York, 2009.
Publisher's no.: YCST 2010/01.

Topics

Compilers (Computer programs)
015621140

Catalogue Data

OBNB ID GBB094347
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.453

ISBD

P1053 319 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

A verified compiler for Handel-C by Juan Ignacio Perna. Published by University of York, Department of Computer Science in 2010. Publication and catalogue information, links to buy online and reader comments.