article

Free access

The Generation of Optimal Code for Stack Machines

Authors:

J. L. Bruno,

T. LassagneAuthors Info & Claims

Journal of the ACM (JACM), Volume 22, Issue 3

Pages 382 - 396

https://doi.org/10.1145/321892.321901

Published: 01 July 1975 Publication History

PDF eReader

References

[1]

ANDERSON, J .P . A note on some compiling algorithms. Comm. ACM 7, 3 (March 1964), 149-150.

Crossref

Google Scholar

[2]

BRUNO, J., AND SErHI, R. Register allocations for a one-register machine (extended abstract). Proe. of the 8th Annual Princeton Conf. on Information Sciences and Systems, March 28, 29, 1974, pp. 12-16.

Google Scholar

[3]

NAKATA, I. On compiling algorithms for arithmetic expressions. Comm. ACM 10, 8 (Aug. 1967), 492-494.

Crossref

Google Scholar

[4]

REDZIEJOWSKI, R.R. On arithmetic expressions and trees. Comm. ACM 1~, 2 (Feb. 1969), 81-84.

Crossref

Google Scholar

[5]

SETm, R., ANn ULLMAN, J .D . The generation of optimal code for arithmetic expressions. J. ACM 17, 4 (Oct. 1970), 715-728.

Crossref

Google Scholar

Cited By

View all

Albert EGarcia de la Banda MHernández-Cerezo AIgnatiev ARubio AStuckey P(2024)SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT TechniquesProceedings of the ACM on Programming Languages10.1145/36564358:PLDI(1437-1462)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656435
Rossignac J(2011)Ordered Boolean List (OBL): Reducing the Footprint for Evaluating Boolean ExpressionsIEEE Transactions on Visualization and Computer Graphics10.1109/TVCG.2010.23217:9(1337-1351)Online publication date: Sep-2011
https://doi.org/10.1109/TVCG.2010.232
Canedo AAbderazek BSowa M(2008)A new code generation algorithm for 2-offset producer order queue computation modelComputer Languages, Systems and Structures10.1016/j.cl.2007.06.00334:4(184-194)Online publication date: 1-Dec-2008
https://dl.acm.org/doi/10.1016/j.cl.2007.06.003
Show More Cited By

Index Terms

The Generation of Optimal Code for Stack Machines
1. Mathematics of computing
  1. Discrete mathematics
2. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Source code generation

Recommendations

Improving the quality of code snippets in stack overflow
SAC '16: Proceedings of the 31st Annual ACM Symposium on Applied Computing

Question and answer (Q&A) websites like Stack Overflow are one of the important sources of code examples in which developers can ask their questions and leave their answers about programming issues. Since the number of programmers who use these websites ...
Code-generation for machines with multiregister operations
POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Previous work on optimal code generation has usually assumed that the underlying machine has identical registers and that all operands fit in a single register or memory location. This paper considers the more realistic problem of generating optimal ...
Enhanced Code Generation from UML Composite State Machines
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

UML modeling tools provide poor support for composite state machine code generation. The generated code is typically complex and large, especially for deeply-nested composite state ma-chines. Existing approaches either do not handle this case at all or ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Journal of the ACM Volume 22, Issue 3

July 1975

133 pages

ISSN:0004-5411

EISSN:1557-735X

DOI:10.1145/321892

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1975

Published in JACM Volume 22, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
449
Total Downloads

Downloads (Last 12 months)54
Downloads (Last 6 weeks)5

Reflects downloads up to 19 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Albert EGarcia de la Banda MHernández-Cerezo AIgnatiev ARubio AStuckey P(2024)SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT TechniquesProceedings of the ACM on Programming Languages10.1145/36564358:PLDI(1437-1462)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656435
Rossignac J(2011)Ordered Boolean List (OBL): Reducing the Footprint for Evaluating Boolean ExpressionsIEEE Transactions on Visualization and Computer Graphics10.1109/TVCG.2010.23217:9(1337-1351)Online publication date: Sep-2011
https://doi.org/10.1109/TVCG.2010.232
Canedo AAbderazek BSowa M(2008)A new code generation algorithm for 2-offset producer order queue computation modelComputer Languages, Systems and Structures10.1016/j.cl.2007.06.00334:4(184-194)Online publication date: 1-Dec-2008
https://dl.acm.org/doi/10.1016/j.cl.2007.06.003
Waite WCarter L(2006)An analysis/synthesis interface for Pascal compilersSoftware: Practice and Experience10.1002/spe.438011080211:8(769-787)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380110802
Maierhofer MErtl M(2005)Local stack allocationCompiler Construction10.1007/BFb0026432(189-203)Online publication date: 15-Jun-2005
https://doi.org/10.1007/BFb0026432
Aho ASethi R(2005)How hard is compiler code generation?Automata, Languages and Programming10.1007/3-540-08342-1_1(1-15)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-08342-1_1
Araujo GOttoni GCintra M(2002)Global array reference allocationACM Transactions on Design Automation of Electronic Systems10.1145/544536.5445427:2(336-357)Online publication date: 1-Apr-2002
https://dl.acm.org/doi/10.1145/544536.544542
Xu JSha E(2001)Implementing parallelism and scheduling data flow graphs on Java virtual machineProceedings of the Acoustics, Speech, and Signal Processing, 200. on IEEE International Conference - Volume 0210.1109/ICASSP.2001.941128(1157-1160)Online publication date: 7-May-2001
https://dl.acm.org/doi/10.1109/ICASSP.2001.941128
Týma P(1999)Transient variable caching in Java’s stack-based intermediate representationScientific Programming10.1155/1999/5018797:2(157-166)Online publication date: 1-Apr-1999
https://dl.acm.org/doi/10.1155/1999/501879
Araujo GMalik S(1998)Code generation for fixed-point DSPsACM Transactions on Design Automation of Electronic Systems10.1145/290833.2908373:2(136-161)Online publication date: 1-Apr-1998
https://dl.acm.org/doi/10.1145/290833.290837
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Improving the quality of code snippets in stack overflow

Code-generation for machines with multiregister operations

Enhanced Code Generation from UML Composite State Machines

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations