A Formal Language for Writing Contracts Conferences

authors

• Farmer, William Michael
• Hu, Qian

status

• published 

publication date

• July 2016

published in

• 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)  Journal

presented at event

• 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)  Conference

keywords

• Computer Science
• Computer Science, Theory & Methods
• Contracts
• Engineering
• Engineering, Electrical & Electronic
• Science & Technology
• Technology
• conditional agreements
• deontic logic
• formal languages
• observables
• simple type theory
• temporally based conditions

Digital Object Identifier (DOI)

• 10.1109/iri.2016.25

International Standard Book Number (ISBN) 13

• 978-1-5090-3207-5

start page

• 134

end page

• 141