Concepedia

Programming by action clusters

BIT Numerical Mathematics · 1969 · 100 citations · 2 references

On this page

Concepts

References

Concepts

Artificial IntelligenceAction ClustersEngineeringData ScienceAutomated ReasoningAutomationAction Model LearningComputer ScienceIntelligent SystemsDistributed Artificial IntelligenceRobot LearningAction Language

References

2

A constructive approach to the problem of program correctness

E. Dijkstra · BIT Numerical Mathematics · 1968 · 238 citations

Program Checking, Engineering, Automated Reasoning +9

Proof of algorithms by general snapshots

Peter Naur · BIT Numerical Mathematics · 1966 · 149 citations

Engineering, Automated Reasoning, Proof Complexity +7