11![Semantics-aware program sampling Pratiksha Thaker Stanford University Semantics-aware program sampling Pratiksha Thaker Stanford University](https://www.pdfsearch.io/img/c1245904b97cd40bcc2e13bf7f809887.jpg) | Add to Reading ListSource URL: www.microsoft.comLanguage: English - Date: 2018-01-04 02:53:23
|
---|
12![Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2 Functional Big-step Semantics Scott Owens1 , Magnus O. Myreen2 , Ramana Kumar3 , and Yong Kiam Tan4 1 2](https://www.pdfsearch.io/img/392fcfdc59682c66307647ca92e06f5f.jpg) | Add to Reading ListSource URL: cakeml.orgLanguage: English - Date: 2016-03-19 19:42:58
|
---|
13![Coping with Inconsistent Databases Semantics, Algorithms, and Complexity Phokion G. Kolaitis University of California Santa Cruz and Coping with Inconsistent Databases Semantics, Algorithms, and Complexity Phokion G. Kolaitis University of California Santa Cruz and](https://www.pdfsearch.io/img/13f7d4c7df6da76a740b235f52ccded8.jpg) | Add to Reading ListSource URL: sat2016.labri.frLanguage: English - Date: 2016-07-06 08:29:21
|
---|
14![An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174, An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174,](https://www.pdfsearch.io/img/387f14ae3c8ceff1d0fe6e97ece71169.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
15![arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf](https://www.pdfsearch.io/img/304b869f750dccc9b43b2c41d4e7efc9.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2016-11-08 02:57:20
|
---|
16![HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1](https://www.pdfsearch.io/img/468256773d1b3688b1579f228543cb84.jpg) | Add to Reading ListSource URL: cakeml.orgLanguage: English - Date: 2014-04-20 08:49:44
|
---|
17![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
|
---|
18![An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London](https://www.pdfsearch.io/img/a9aead3dd49437b215d94560f9a0cfc0.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
19![Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma](https://www.pdfsearch.io/img/545c05302b758efeca70b9099c7ee7ff.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2003-02-27 10:19:48
|
---|
20![Architectural Semantics for Practical Transactional Memory Architectural Semantics for Practical Transactional Memory](https://www.pdfsearch.io/img/a8ca2a4b2fec12e9e11c389e52f3e6ee.jpg) | Add to Reading ListSource URL: www.austenmcdonald.comLanguage: English - Date: 2016-01-26 12:43:51
|
---|