Computer science/Programming languages/Language definitions
Subject Classification
ACM: Software and its engineering~Formal language definitions
2021
2019
2018
2016
COMPLX: A Verification Framework for Concurrent Imperative Programs
by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong
2015
2014
2013
2011
2010
2008
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment
by Norbert Schirmer