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
<?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>