Answers are grounded in this paper and cite their sources.
ABC is a high-level, easy-to-use imperative language, designed originally as a replacement for BASIC. Although intended primarily as a teaching language, it has many powerful attributes that make it suitable as a language for the rapid prototyping of formal specifications. This paper illustrates how ABC was used to prototype specifications written in the formal specification language of VDM.
No takes yet. Share an insight, caveat, or question.
Kans et al. (1994) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: