ML p(r)ior | On the notion of "von Neumann vicious circle" coined by John Backus

On the notion of "von Neumann vicious circle" coined by John Backus

2016-02-03
1602.02715 | cs.PL
"The von Neumann vicious circle" means that non-von Neumann computer architectures cannot be developed because of the lack of widely available and effective non-von Neumann languages. New languages cannot be created because of lack of conceptual foundations for non-von Neumann architectures. The reason is that programming languages are high-level abstract isomorphic copies of von Neumann computer architectures. This constitutes the current paradigm in Computer Science. The paradigm is equivalent to the predominant view that computations on higher order objects (functionals) can be done only symbolically, i.e. by term rewriting. The paper is a short introduction to the papers arXiv:1501.03043 and arXiv:1510.02787 trying to break the paradigm by introducing a framework that may be seen as a higher order functional HDL (Hardware Description Language).
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations

Related Articles

2019-04-17

Frameworks for writing, compiling, and optimizing deep learning (DL) models have recently enabled pr… show more
PDF

Highlights - Most important sentences from the article

2019-05-07

We describe a Martin-L\"of-style dependent type theory, called Cocon, that allows us to mix the inte… show more
PDF

Highlights - Most important sentences from the article

2019-01-10
1901.03208 | cs.LO

We present the PML 2 language, which provides a uniform environment for programming, and for proving… show more
PDF

Highlights - Most important sentences from the article

2018-05-28
1805.11006 | cs.PL

We present an implementation of the relational programming language miniKanren as a set of combinato… show more
PDF

Highlights - Most important sentences from the article

2019-02-18

Safely integrating third-party code in applications while protecting the confidentiality of informat… show more
PDF

Highlights - Most important sentences from the article

2018-11-08

Our main models of computation (the Turing Machine and the RAM) make fundamental assumptions about w… show more
PDF

Highlights - Most important sentences from the article

2019-04-07
1904.03756 | cs.AR

Programmable Logic Devices (PLDs) continue to grow in size and currently contain several millions of… show more
PDF

Highlights - Most important sentences from the article

2019-04-07
1904.05437 | cs.DC

Reconfigurable devices, such as Field Programmable Gate Arrays (FPGAs), have been witnessing a consi… show more
PDF

Highlights - Most important sentences from the article

2019-04-06

We present the design, implementation, and foundation of a verifier for higher-order functional prog… show more
PDF

Highlights - Most important sentences from the article

2019-04-26
1904.11818 | cs.LO

We provide a plugin extracting Coq functions of simple polymorphic types to the (untyped) call-by-va… show more
PDF

Highlights - Most important sentences from the article

2019-03-06

This paper describes a large set of related theorem proving problems obtained by translating theorem… show more
PDF

Highlights - Most important sentences from the article

2018-12-05
1812.02243 | cs.LO

The main scientific heritage of Corrado B\"ohm is about computing, both concerning concrete algorith… show more
PDF

Highlights - Most important sentences from the article

2019-02-09

Serverless cloud computing handles virtually all the system administration operations needed to make… show more
PDF

Highlights - Most important sentences from the article

2019-02-15
1902.06733 | cs.LO

We revisit the static dependency pair method for proving termination of higher-order term rewriting … show more
PDF

Highlights - Most important sentences from the article

2018-08-20

Incremental computations attempt to exploit input similarities over time, reusing work that is unaff… show more
PDF

Highlights - Most important sentences from the article

2018-06-11
1806.04002 | cs.GL

Michael Gordon was a pioneer in the field of interactive theorem proving and hardware verification. … show more
PDF

Highlights - Most important sentences from the article