Jonathan P. Bowen  Home/Search
Context
Related
| jpbowen.com/pub/hsvw96.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: myweb.lsbu.ac.uk/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A hardware compiler maybespecified by a description of howeach construct of the source language is translated into a netlist of simple digital hardware components such as gates and latches. instructions. It is possible to produce a compiler prototype almost directly from this specification in the form of a logic program. This defines a relation between allowed highlevel program constructs and matching low-level circuits. This document briefly presents such a compiler written in Prolog,... (Update)
Similar documents based on text: More All
0.8: Hardware Compilation of the ProCoS Gas Burner Case Study using.. - Bowen (1996) (Correct)
0.4: Overview of ESPRIT ProCoS II Project - Hoare, Langmaack, Olderog, Ravn (1993) (Correct)
0.4: A ProCoS II Project Final Report: ESPRIT Basic.. - Bowen, Hoare.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ bowen-hardware,
author = "Jonathan P. Bowen",
title = "Hardware Compilation of the ProCoS Gas Burner Case Study using Logic Programming",
url = "citeseer.ist.psu.edu/bowen96hardware.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
363 Programming in Prolog (context) - Clocksin, Mellish - 1994
261 An Introduction to Prolog III (context) - Colmerauer - 1990
36 Towards a Provably Correct Hardware Implementation of Occam - Jifeng, Page et al. - 1993
35 Formal Aspects of Computing (context) - Jifeng, Bowen et al. - 1994
29 Prentice Hall International Series in Computer Science (context) - Limited, Reference - 1988
26 Hardware and Software: Closing the Gap (context) - Hoare, Page - 1994
20 Real-Time Safety Critical Systems series (context) - Bowen, Towards et al. - 1994
20 From Programs to Object Code and back again using Logic Prog.. - Bowen - 1993
19 A ProCoS II Project Description: ESPRIT Basic Research proje.. - Bowen - 1993
13 Provably Correct Systems: Modelling of Communication Languag.. (context) - Jifeng - 1995
9 A ProCoS Project Description: ESPRIT BRA (context) - Bjrner - 1989
9 Provably Correct Systems -- FTRTFT'94 Tutorial - Bowen, Hoare et al. - 1994
8 Logic Program Synthesis and Transformation (context) - Lau, Clement - 1992
8 An Introduction to Logic Programming through Prolog (context) - Spivey - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://myweb.lsbu.ac.uk/~bowenjp/publications.html): More
The Ethics of Safety-Critical Systems - Bowen (2000) (Correct)
Web Access to Cultural Heritage for the Disabled - Bowen (2003) (Correct)
Generating Decompilers - Breuer, Bowen (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC