Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,553,103 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.
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
2011
2011
Programming and Planning
D. Grier
IEEE Annals of the History of Computing
2011
Corpus ID: 29178208
Some 15 years ago, I argued in the Annals that the word program entered the vocabulary of computer developers from the ENIAC…
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
2009
2009
About the Cover: 1859 and All That
D. Graur
2009
Corpus ID: 86103347
Molecular Biology and Evolution (MBE) marks several important anniversaries in 2009. First and foremost, we celebrate Charles…
Expand
2003
2003
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation
Y. Cohen
,
Y. Feldman
TSEM
2003
Corpus ID: 6012040
Old-generation database models, such as the indexed-sequential, hierarchical, or network models, provide record-level access to…
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
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
1983
1983
FORMALIZING REUSABLE SOFTWARE COMPONENTS
C. Rich
,
R. Waters
1983
Corpus ID: 16251864
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software…
Expand
1979
1979
Some Remarks on the History of Computing in Germany
K. Zuse
1979
Corpus ID: 60789209
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE