Context-sensitive - PDFSEARCH.IO - Document Search Engine

Context-sensitive
Results: 558

#	Item
1	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
2	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: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
3	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Graph theory Graph connectivity Strongly connected component Reachability Graph Node Topological sorting
4	LNCSMildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2017-08-28 19:33:28 Logic Mathematics Mathematical logic Formal languages Grammar frameworks Symbol Substitution Indexed grammar Table of stars with Bayer designations
5	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: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
6	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
7	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
8	Towards More Security in Data Exchange Defining Unparsers with Context-Sensitive Encoders for Context-Free Grammars Lars Hermerschmidt, Stephan Kugelmann, Bernhard Rumpe Software Engineering Add to Reading List Source URL: spw15.langsec.org Language: English - Date: 2015-05-21 18:34:50
9	A Neural Network Approach to Context-Sensitive Generation of Conversational Responses Alessandro Sordoni 1∗† Michel Galley 2† Michael Auli 3∗ Chris Brockett 2 Add to Reading List Source URL: www-etud.iro.umontreal.ca Language: English - Date: 2015-05-31 02:42:13
10	• Context sensitive user profiles; • Add to Reading List Source URL: www.keytonature.eu Language: English - Date: 2009-03-12 04:02:56