Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
(1994)
Journal Article
Hutton, G. (1994). Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Journal of Functional Programming, 4(4),
Outputs (5)
Adobe's Acrobat -- providing the missing link? (1994)
Journal Article
Brailsford, D. F. (1994). Adobe's Acrobat -- providing the missing link?Adobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Adobe's Acrobat -- providing the missing link?.
Categories, Allegories, and Circuit Design (1994)
Presentation / Conference Contribution
Brown, C., & Hutton, G. Categories, Allegories, and Circuit Design. Presented at Proceedings of the 10th Annual IEEE Symposium on Logic in Computer ScienceLanguages based upon binary relations offer an appealing setting for constructing programs from specifications. For example, working with relations rather than functions allows specifications to be more abstract (for example, many programs have a na... Read More about Categories, Allegories, and Circuit Design.
CD-ROM Acrobat Journals Using Networks (1994)
Presentation / Conference Contribution
Brailsford, D. F., & Harrison, L. CD-ROM Acrobat Journals Using Networks. Presented at Digital Media and Electronic PublishingThe available technologies for publishing journals electronically are surveyed. They range from abstract representations, such as SGML, concerned largely with the structure of the document, to formats such as PostScript which faithfully model the l... Read More about CD-ROM Acrobat Journals Using Networks.
Experience with the use of Acrobat in the CAJUN publishing project (1994)
Presentation / Conference Contribution
Brailsford, D. F. Experience with the use of Acrobat in the CAJUN publishing project. Presented at ACM European Conference on Hypermedia TechnologyAdobe's Acrobat software, released in June 1993, is based around a new Portable Document Format (PDF) which offers the possibility of being able to view and exchange electronic documents, independent of the originating software, across a wide variety... Read More about Experience with the use of Acrobat in the CAJUN publishing project.