Automatic implementation of programming language consistency models

Zehra Sura, Chi Leung Wong, Xing Fang, Jaejin Lee, Samuel P. Midkiff, David Padua

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Automatic implementation of programming language consistency models'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science