Jorge - PDFSEARCH.IO - Document Search Engine

Jorge
Results: 3065

#	Item
21	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
22	Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Array data structure Variable Dimensional analysis Computing Mathematics Engineering Jet bundle
23	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
24	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Pointer Graph
25	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Programming language implementation Compiler construction Software engineering Computing Compiler optimizations Software testing Abstract interpretation LLVM Compiler Intermediate representation Hoare logic Static single assignment form
26	A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef
27	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
28	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
29	The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Software Computing Logic in computer science Programming language semantics Logic programming Compilers LLVM Abstract interpretation Constraint logic programming Operational semantics Clang
30	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator

UPDATE