Expressing contract monitors as patterns of communication Conferences

authors

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

status

• published 

publication date

• August 29, 2015

has subject area

• Software Engineering (Science Metrix)

published in

• ACM SIGPLAN Notices  Journal

presented at event

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

keywords

• 46 Information and Computing Sciences
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1145/2784731.2784742

start page

• 387

end page

• 399

volume

• 2015-August