Zobrazeno 1 - 3
of 3
pro vyhledávání: '"certified interpretation"'
Autor:
Kubacki Artur Dariusz
Publikováno v:
Comparative Legilinguistics, Vol 35, Iss 1, Pp 7-37 (2018)
The paper focuses on an evaluation of statutory provisions relating to the profession of sworn translator in Poland. The Act on the Profession of Sworn Translator and its associated statutory instruments have been in force since 27 January 2005. Afte
Externí odkaz:
https://doaj.org/article/9b59ae00146e403aad7ed426c40b8ceb
Publikováno v:
CPP 2022-11th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP 2022-11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩
Certified Programs and Proofs
Certified Programs and Proofs, Jan 2022, Philadelphia, United States
CPP 2022-11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩
Certified Programs and Proofs
Certified Programs and Proofs, Jan 2022, Philadelphia, United States
International audience; Skeletal semantics is a framework to describe semantics of programming languages. We propose an automatic generation of a certified OCaml interpreter for any language written in skeletal semantics. To this end, we introduce tw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21b8aab1cec93183b039871cca56d84c
https://inria.hal.science/hal-03466807/document
https://inria.hal.science/hal-03466807/document
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.