Substructural logic - PDFSEARCH.IO - Document Search Engine

Substructural logic
Results: 34

#	Item
1	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
2	Superficially Substructural Types (Technical Appendix) Neelakantan R. Krishnaswami MPI-SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-08-29 08:54:52 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Differential topology Symbol Table of stars with Bayer designations
3	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
4	Oracle Semantics for Concurrent Separation Logic (Extended Version) Aquinas Hobor1⋆ Andrew W. Appel1⋆ 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-01-04 15:33:28 Theoretical computer science Logic in computer science Logic Mathematical logic Edsger W. Dijkstra Formal methods Separation logic Substructural logic Concurrent computing Modal logic Semantics Parallel computing
5	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
6	A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2015-11-04 16:38:45 Model theory Logic in computer science Separation logic Substructural logic Structure Elementary class Substitution
7	Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya.banerjee}@imdea. Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Logic in computer science Separation logic Substructural logic
8	Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Extended version Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Logic in computer science Separation logic Substructural logic
9	COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 8 8 Hoare Logic (MOM) Use notation from logic (∀, ∃, etc.) in your answers to the questions below. (a) Define the semantics of the partial correctness Hoare triple, Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Mathematical logic Logic in computer science Substructural logic Hoare logic Logic Separation logic Hoare Correctness Predicate transformer semantics Program logic Theoretical computer science Mathematics