Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 4

Title: A comparison of some schemes for translating logic to C.

Author:

Author:

Subject: Bart Demoen,Greet Maris A comparison of some schemes for translating logic to C.

Description: The general improvement of C compilers, and some new non standard features of gcc have made it more attractive to compile (logic) to C: it is no longer unthinkable that the speed of a native code optimizer can be matched and even beaten by a scheme that compiles to C and lets most of the hard work be done by the C compiler. The new features, especially gcc's treatment of labels as first class types, are a clear invitation to abandon native code generators. Also, the possibility to assign hardware registers to global variables looks attractive at first sight. Three schemes for exploiting a C compiler in the compilation of different languages, are examined and their effectiveness is measured. The conclusion is that it is probably better not to make use of all the features gcc offers. We also show that if C compilers were a bit smarter about compiling the C switch statement, compliance to standard C would become even more attractive. The measurements were done on different risc platforms ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1994-09-20

Pubyear: 1994

Format: ps

Identifier: http://citeseer.ist.psu.edu/144877.html

Source: ftp://ftp.csd.uu.se/pub/papers/reports/0078/7-demoen+maris.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/453690.html"   Type="inproceedings"   CiteSeer_Book="Logic   Programming   Proceedings   of   the   1991   International   Symposium"   CiteSeer_Volume=""   Title="Programming   Paradigms   of   the   {A}ndorra   Kernel   Language,"   />

      <rec   ID="/63444.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Joint   International   Conference   and   Symposium   on   Logic   Programming"   CiteSeer_Volume=""   Title="jc:   An   Efficient   and   Portable   Sequential   Implementation   of   Janus,">

            <identifier   Org="ISBN:0262620995"   Paper_ID="/63444.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:026264035X"   Paper_ID="/63444.html"   Extracted="026264035X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0262691779"   Paper_ID="/63444.html"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780324935"   Paper_ID="/63444.html"   Extracted="0780324935"   />

            <identifier   Org="ISBN:0792394577"   Paper_ID="/63444.html"   Extracted="0792394577"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/63444.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:0897917200"   Paper_ID="/63444.html"   Extracted="0897917200"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540568913"   Paper_ID="/63444.html"   Extracted="3540568913"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569219"   Paper_ID="/63444.html"   Extracted="3540569219"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540569448"   Paper_ID="/63444.html"   Extracted="3540569448"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/63444.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540610537"   Paper_ID="/63444.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540655271"   Paper_ID="/63444.html"   Extracted="3540655271"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540659684"   Paper_ID="/63444.html"   Extracted="3540659684"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354071409X"   Paper_ID="/63444.html"   Extracted="354071409X"   />

      </rec>

      <rec   ID="/565872.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Second   Compulog   Network   Area   Meeting   on   Programming   Languages   and   the   workshop   on   Logic   Languages   in   Pisa   Italy"   CiteSeer_Volume=""   Title="Translating   {P}rolog   to   {C}:   a   {WAM}--based   approach,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   comparison   of   some   schemes   for   translating   logic   to   C.">

            <identifier   Org="ISBN:0262691779"   Paper_ID="SELF"   Extracted="0262691779"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540659684"   Paper_ID="SELF"   Extracted="3540659684"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/122169.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Can   Logic   Programming   Execute   as   Fast   as   Imperative   Programming?,">

            <identifier   Org="ISBN:0262541041"   Paper_ID="/122169.html"   Extracted="0262541041"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262600315"   Paper_ID="/122169.html"   Extracted="0262600315"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262620995"   Paper_ID="/122169.html"   Extracted="0262620995"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0262731053"   Paper_ID="/122169.html"   Extracted="0262731053"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792394577"   Paper_ID="/122169.html"   Extracted="0792394577"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818620471"   Paper_ID="/122169.html"   Extracted="0818620471"   />

            <identifier   Org="ISBN:0824722957"   Paper_ID="/122169.html"   Extracted="0824722957"   />

            <identifier   Org="ISBN:3540221522"   Paper_ID="/122169.html"   Extracted="3540221522"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540222537"   Paper_ID="/122169.html"   Extracted="3540222537"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354029208X"   Paper_ID="/122169.html"   Extracted="354029208X"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354055033X"   Paper_ID="/122169.html"   Extracted="354055033X"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540566945"   Paper_ID="/122169.html"   Extracted="3540566945"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/122169.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540584021"   Paper_ID="/122169.html"   Extracted="3540584021"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540584854"   Paper_ID="/122169.html"   Extracted="3540584854"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540617353"   Paper_ID="/122169.html"   Extracted="3540617353"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540659684"   Paper_ID="/122169.html"   Extracted="3540659684"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665404"   Paper_ID="/122169.html"   Extracted="3540665404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:4274077241"   Paper_ID="/122169.html"   Extracted="4274077241"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

      </rec>

</references_metadata>

www.000webhost.com