Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Crafa, S."'
We present Stipula, a domain specific language that may assist legal practitioners in programming legal contracts through specific patterns. The language is based on a small set of programming abstractions that correspond to common patterns in legal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c974d9cfc6318f3beb148661dd879b90
https://hdl.handle.net/11585/912506
https://hdl.handle.net/11585/912506
Autor:
Crafa, S., Laneve, C.
Publikováno v:
The Logic of Software. A Tasting Menu of Formal Methods ISBN: 9783031081651
We discuss the design principles of Stipula, a domain specific language that can assists lawyers in programming legal contracts through specific software patterns. The language is based on a small set of primitives, that precisely correspond to the d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b8396df7c3fcb58eb2d4b8f698624a7
https://hdl.handle.net/11585/896613
https://hdl.handle.net/11585/896613
The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______348::4781efaf169c4c2f763399ec87cd2fac
https://eprints.soton.ac.uk/261875/
https://eprints.soton.ac.uk/261875/
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540427360
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6532db78c68daafbef34939a946675f
https://doi.org/10.1007/3-540-45500-0_2
https://doi.org/10.1007/3-540-45500-0_2