Hacker Next
COBOL to Kotlin via Formal Models (IR and Alloy and Golden Master)marcoeg.medium.com
46 points by marcoeg 6 days ago | 14 comments