Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
351	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
352	Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-02-12 19:18:43 Compiler optimizations Automatic parallelization Parallel computing Prolog Unification Compiler Abstract interpretation Computing Software engineering Programming language theory
353	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop Albert Cohen Pierre Jouvelot Georges-Andr´e Silber CRI, Ecole des mines de Paris, Fontainebleau, France ALCHEMY, INRIA Fu Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-10 18:39:21 Compiler construction Compiler optimizations Static single assignment form Compilers GNU Compiler Collection Loop optimization Prolog Vectorization Compiler Software Computing Programming language implementation
354	CSLab and all that … Bjarne Däcker Tekn lic, Tekn dr h c Ericsson employee 1966 – 2002 •Manager CSLab 1984 – 2002 •Now retired • Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29 Parallel computing Microprocessors Transputer Alvey Expert system Prolog Smalltalk Ericsson Fifth generation computer Computing Software engineering Computer programming
355	Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2010-04-03 13:35:16 Programming paradigms Logic programming Constraint programming Prolog Warren Abstract Machine Logic Constraint logic programming Parallel computing Procedural programming Software engineering Computer programming Computing
356	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: okmij.org Language: English - Date: 2008-01-22 19:40:33 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
357	A Tabling Implementation Based on Variables with Multiple Bindings Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-05-02 05:38:03 Type theory Variables Prolog Backtracking MOS Technology SID Assignment Pointer Free variables and bound variables Stack Computing Software engineering Data types
358	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science
359	A Formalization of HIPAA for a Medical Messaging System Peifung E. Lam1 , John C. Mitchell1 , and Sharada Sundaram1,2 2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Law Privacy law Privacy Health Insurance Portability and Accountability Act Datalog Prolog Privacy policy Protected health information Logic programming Ethics Computing Data privacy
360	Scalability in a Secure Distributed Proof System Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-01-05 00:32:20 Public-key cryptography Prolog Cache Negative cache Spring Idea Computing Software engineering Mind

UPDATE