[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

On programming of arithmetic operations

Published: 01 August 1958 Publication History

Abstract

The concepts used without explanation are taken from [1].

Cited By

View all
  • (2024)An eager satisfiability modulo theories solver for algebraic datatypesProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i8.28649(8099-8107)Online publication date: 20-Feb-2024
  • (2024)Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilersInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00760-326:4(463-477)Online publication date: 1-Aug-2024
  • (2024)Newton’s Method – There and Back AgainTaming the Infinities of Concurrency10.1007/978-3-031-56222-8_11(181-205)Online publication date: 20-Mar-2024
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 1, Issue 8
Aug. 1958
20 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/368892
  • Editor:
  • Alan J. Perlis
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1958
Published in CACM Volume 1, Issue 8

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)299
  • Downloads (Last 6 weeks)29
Reflects downloads up to 16 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)An eager satisfiability modulo theories solver for algebraic datatypesProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i8.28649(8099-8107)Online publication date: 20-Feb-2024
  • (2024)Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilersInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00760-326:4(463-477)Online publication date: 1-Aug-2024
  • (2024)Newton’s Method – There and Back AgainTaming the Infinities of Concurrency10.1007/978-3-031-56222-8_11(181-205)Online publication date: 20-Mar-2024
  • (2023)Strahler number of natural language sentences in comparison with random treesJournal of Statistical Mechanics: Theory and Experiment10.1088/1742-5468/ad02222023:12(123403)Online publication date: 4-Dec-2023
  • (2023)BibliographyEngineering a Compiler10.1016/B978-0-12-815412-0.00023-1(793-813)Online publication date: 2023
  • (2023)Introduction to OptimizationEngineering a Compiler10.1016/B978-0-12-815412-0.00014-0(379-447)Online publication date: 2023
  • (2023)Intermediate RepresentationsEngineering a Compiler10.1016/B978-0-12-815412-0.00010-3(159-207)Online publication date: 2023
  • (2023)Overview of CompilationEngineering a Compiler10.1016/B978-0-12-815412-0.00007-3(1-26)Online publication date: 2023
  • (2023)Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLsTrends in Functional Programming10.1007/978-3-031-38938-2_6(92-105)Online publication date: 12-Jan-2023
  • (2022)CirC: Compiler infrastructure for proof systems, software verification, and more2022 IEEE Symposium on Security and Privacy (SP)10.1109/SP46214.2022.9833782(2248-2266)Online publication date: May-2022
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media