1![Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1 Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1](https://www.pdfsearch.io/img/cd2628f48d3e5cea6fe905a570059d58.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-22 10:21:17
|
---|
2![An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact](https://www.pdfsearch.io/img/3fdb6dbbb9752085f2f7596f8558d223.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2014-05-13 05:07:09
|
---|
3![The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia](https://www.pdfsearch.io/img/04e3c8f853037c58e168d47a46773861.jpg) | Add to Reading ListSource URL: prosecco.gforge.inria.frLanguage: English - Date: 2018-10-11 10:56:59
|
---|
4![KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C](https://www.pdfsearch.io/img/d3ecec75324c9d6c46e7c40c6d895671.jpg) | Add to Reading ListSource URL: sist.shanghaitech.edu.cnLanguage: English - Date: 2018-07-06 22:20:16
|
---|
5![An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact](https://www.pdfsearch.io/img/0b329ed810729a21aff107b05a81911a.jpg) | Add to Reading ListSource URL: wwwhomes.doc.ic.ac.ukLanguage: English - Date: 2014-05-13 05:07:09
|
---|
6![KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018 KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018](https://www.pdfsearch.io/img/e5e2385a87240df969ab166faebd54b5.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-04-30 20:45:20
|
---|
7![M ODULARITY AND INTUITIONS IN FORMAL SEMANTICS : THE CASE OF POLARITY ITEMS ∗ Emmanuel Chemla, Vincent Homer, Daniel Rothschild October 25, 2011 Abstract M ODULARITY AND INTUITIONS IN FORMAL SEMANTICS : THE CASE OF POLARITY ITEMS ∗ Emmanuel Chemla, Vincent Homer, Daniel Rothschild October 25, 2011 Abstract](https://www.pdfsearch.io/img/20a40885cfc8b0754cd4ba051513f447.jpg) | Add to Reading ListSource URL: danielrothschild.comLanguage: English - Date: 2018-07-18 08:58:19
|
---|
8![• Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitions • Formal semantics based on timed traces. – can-invoke: explicit transitions – must-invoke: implicit transitions](https://www.pdfsearch.io/img/a8d1870e32e743fac88e48867ba4ea1a.jpg) | Add to Reading ListSource URL: julien.ponge.orgLanguage: English - Date: 2015-02-16 03:42:49
|
---|
9![Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos](https://www.pdfsearch.io/img/314d8a607a69d3da26afabc516383aed.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2017-06-23 18:20:16
|
---|
10![Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning On the Functional Completeness of Argumentation Semantics� Massimiliano Giacomin1 , Thomas Linsbichler2 , and Stefan Woltran2 1 Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning On the Functional Completeness of Argumentation Semantics� Massimiliano Giacomin1 , Thomas Linsbichler2 , and Stefan Woltran2 1](https://www.pdfsearch.io/img/0ebb82d07d32ecb7d6fd225fb97feece.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2015-09-04 11:22:25
|
---|