Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,723,349 papers from all fields of science
Search
Sign In
Create Free Account
Plankalkül
Known as:
Plan Calculus
, Plankalcul
, Plankalkul
Expand
Plankalkül (German pronunciation: [ˈplaːnkalkyːl], "Plan Calculus") is a programming language designed for engineering purposes by Konrad Zuse…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
ALGOL
ALGOL 58
Compiler
Computer chess
Expand
Broader (1)
Non-English-based programming languages
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Konrad Zuse and his Plankalkül: The Hope to Emerge from the Sleep of Sleeping Beauty
C. Petrocelli
Int. J. Humanit. Arts Comput.
2017
Corpus ID: 67708280
Germany, 1935: the engineer Konrad Zuse (1910–1995), in the living room of his Berlin house, devotes himself to the design and…
Expand
2014
2014
On the Behavioural Formalization of the Cognitive Middleware AWDRAT
M. Khan
,
D. Serpanos
,
H. Shrobe
arXiv.org
2014
Corpus ID: 17386095
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT…
Expand
2009
2009
Improving slice accuracy by compression of data and control flow paths
Aharon Abadi
,
Ran Ettinger
,
Y. Feldman
ESEC/FSE '09
2009
Corpus ID: 8347341
Program slicing is a useful technique in tools for program understanding and transformation. Computing correct and accurate…
Expand
2003
2003
Konrad Zuse in Hopferau im Allgäu—Z4 und Plankalkül
F. L. Bauer
Informatik-Spektrum
2003
Corpus ID: 9633448
Im Mai 1941 führte Konrad Zuse erfolgreich seine gerade fertiggestellte Relais-Rechenanlage Z3 dem Auftraggeber vor, der…
Expand
2002
2002
Structure-Based Generation of Plans Compositional Planning using Plan Calculus and Networks
Adnan Darwiche
2002
Corpus ID: 13471810
Planning is not compositional. That is, one cannot always construct a plan for goal G1 and another plan for goal G2 and then use…
Expand
2002
2002
The Plankalkül of Konrad Zuse — Revisited
R. Rojas
,
Ulf Hashagen
2002
Corpus ID: 63321406
This chapter contains sections titled: Introduction, Objects of the Plankalkul and notation, Zuse's orientation towards symbolic…
Expand
1998
1998
Historical Developments in Computers to the 1950s
J. Minker
1998
Corpus ID: 18250961
The start of the computer revolution is considered to have taken place with the development of the ENIAC electronic digital…
Expand
Review
1993
Review
1993
Towards an intelligent debugging system for Pascal programs : on the theory and algorithms of plan recognition in Rich's plan calculus
R. Lutz
1993
Corpus ID: 22365513
This thesis presents work in progress on building an intelligent general purpose, domain-free debugging system for Pascal…
Expand
1972
1972
Zuses „Plankalkül“, ein Vorläufer der Programmiersprachen - gesehen vom Jahre 1972 / Zuses’ “Plankalkül”, a forerunner of programming languages-judged from 1972
F. L. Bauer
,
H. Wössner
Elektron. Rechenanlagen
1972
Corpus ID: 45820529
In this paper, we examined the effects of emotional and individual variables on flow in the usage of mobile application. We…
Expand
1959
1959
Über den "Plankalkül"
K. Zuse
Elektron. Rechenanlagen
1959
Corpus ID: 207110644
Der Plankalkül entstand im Jahre 1945 mit dem Ziel, eine einheitliche Formelsprache für alle rechnerischen Problemstellungen zu…
Expand