Draft Better Contracts Article Swipe
Related Concepts
Toolchain
Programming language
Computer science
Domain (mathematical analysis)
Semantics (computer science)
Code (set theory)
Linguistics
Mathematics
Philosophy
Software
Mathematical analysis
Set (abstract data type)
Cosimo Laneve
,
Alessandro Parenti
,
Giovanni Sartor
·
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.3233/faia241237
· OA: W4405042899
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.3233/faia241237
· OA: W4405042899
Computable legal contracts offer a formal structure and semantics that can help identify incompatibilities among clauses, such as clauses that will never be used or clauses whose simultaneous application is impossible. In this paper we study a methodology for spotting incompatibilities in contracts written in Stipula, a domain-specific language for legal contracts. Drawing on real case laws, we identify recurring incompatible code patterns and propose techniques for integrating their analysis in the Stipula toolchain.
Related Topics
Finding more related topics…