• Co-Developing Programs and The...

Treffer: Co-Developing Programs and Their Proof of Correctness.

Title:
Co-Developing Programs and Their Proof of Correctness.
Authors:
Chapman, Roderick, Dross, Claire, Matthews, Stuart, Moy, Yannick
Source:
Communications of the ACM; Mar2024, Vol. 67 Issue 3, p84-94, 11p
Subject Terms:
SPARK (Computer program language), PROGRAMMING languages, ELECTRONIC data processing, COMPUTER programming, COMPUTER software development, COMPUTER software correctness
Database:
Complementary Index

Weitere Informationen

The article focuses on the auto-active approach for co-developing programs and their proof of correctness, specifically the open source SPARK technology. The authors discuss the key design and technological choices for SPARK, which made it successful within the industry, and explore the possible future of SPARK and other analyzers of the same family.