Programs - PDFSEARCH.IO - Document Search Engine

Programs
Results: 115783

#	Item
61	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
62	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
63	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: homes.sice.indiana.edu Language: English - Date: 2013-08-15 14:47:07 Type theory Software engineering Programming language theory Computing Scheme System F Type system HindleyMilner type system Racket Boolean data type Macro Typing environment
64	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
65	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
66	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
67	Bacardi Raises the Bar with Distinct Corporate Responsibility Programs Achievements in social and environmental initiatives featured in new CR Report Hamilton, Bermuda, October 24, 2018 – With its commitments to alcoho Add to Reading List Source URL: d3bbd6es2y3ctk.cloudfront.net Language: English - Date: 2018-10-24 08:41:32 Rums Distillation Distilleries Bacardi Caribbean cuisine Food and drink St-Germain Grey Goose Bacardi Superior
68	Volunteer Programs to Support Standard Care The chart below provides a few examples from More-2-Eat of mealtime volunteer programs that could be used for standard nutrition care. Recruitment Training Add to Reading List Source URL: www.nutritioncareincanada.ca Language: English - Date: 2017-06-04 11:12:42 Health Dietitian Dysphagia Nutrition Caregiving Dietetics
69	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
70	Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2017-02-09 10:23:03 Operator theory Symbol Operator Computability theory

UPDATE