Modular first-order specifications of operational semantics
Lecture notes in computer science1986pp. 82–95
Related Papers
- → A grounded specification language for agent programs(2007)14 cited
- → Alneelain: A formal specification language(2017)2 cited
- → Yet another meta-language for programming language processing(2002)3 cited
- → Specification of a Specification Language(1981)2 cited
- → Specification of a specification language(1981)1 cited