Shellac: A Compiler Synthesizer for Concurrent Programs.

Christopher K. Chen Margo I. Seltzer Mark R. Greenstreet

Published in: VSTTE (2022)

Keyphrases

concurrent programs
concurrent programming
programming language
process algebra
text to speech
general purpose
software systems
web applications
database
artificial intelligence
concurrent processes
model checking
database systems
formal methods
knowledge acquisition
object oriented
information systems