Skip to search formSkip to main contentSkip to account menu

Plankalkül

Known as: Plan Calculus, Plankalcul, Plankalkul 
Plankalkül (German pronunciation: [ˈplaːnkalkyːl], "Plan Calculus") is a programming language designed for engineering purposes by Konrad Zuse… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT… 
2011
2011
Some 15 years ago, I argued in the Annals that the word program entered the vocabulary of computer developers from the ENIAC… 
2009
2009
Program slicing is a useful technique in tools for program understanding and transformation. Computing correct and accurate… 
2009
2009
Molecular Biology and Evolution (MBE) marks several important anniversaries in 2009. First and foremost, we celebrate Charles… 
2003
2003
Old-generation database models, such as the indexed-sequential, hierarchical, or network models, provide record-level access to… 
2002
2002
Planning is not compositional. That is, one cannot always construct a plan for goal G1 and another plan for goal G2 and then use… 
Review
1993
Review
1993
This thesis presents work in progress on building an intelligent general purpose, domain-free debugging system for Pascal… 
1983
1983
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software… 
1972
1972
In this paper, we examined the effects of emotional and individual variables on flow in the usage of mobile application. We…