3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2022
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
cs.LO2020★ 3 cited
Isomorphic Data Type Transformations
Alessandro Coglio, Stephen Westfold
In stepwise derivations of programs from specifications, data type refinements are common. Many data type refinements involve isomorphic mappings between the more abstract and more…