Expressing contract monitors as patterns of communication Conference Paper

authors

• Swords, Cameron
• Sabry, Amr
• Tobin-Hochstadt, Sam

status

• published 

publication date

• August 29, 2015

has subject area

• Software Engineering (Science Metrix)

published in

• SIGPLAN Notices (ACM Special Interest Group on Programming Languages) ACM SIGPLAN Notices  Journal

presented at event

• ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming  Conference

Digital Object Identifier (DOI)

• 10.1145/2784731.2784742

International Standard Book Number (ISBN) 13

• 9781450336697

start page

• 387

end page

• 399

volume

• 2015-August