Prolog - PDFSEARCH.IO - Document Search Engine

Prolog
Results: 736

#	Item
261	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
262	Unipycation: A Case Study in Cross-Language Tracing Edd Barrett Carl Friedrich Bolz Laurence Tratt Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-08 18:56:11 Prolog Logic programming PyPy Python List comprehension Append Computer program B-Prolog Visual Prolog Computing Software engineering Computer programming
263	NRL ReportExecuting Trace Specifications Using Prolog JOHN D. MCLEAN, DAVID M. WEISS, AND CARL E. LANDWEHR Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:04 Logic programming Prolog Logic in computer science Qi Append Horn clause Clause Visual Prolog B-Prolog Software engineering Computing Computer programming
264	Inductive Mercury Programming Barnaby Fisher and James Cussens Dept of Computer Science, University of York, Heslington, York, YO10 5DD, UK {barney\|jc}@cs.york.ac.uk Abstract. We investigate using the Mercury language t Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2007-02-21 05:49:09 Prolog Logic programming Query languages Inductive logic programming Predicate Clause Mercury PROGOL SQL Computing Software engineering Computer programming
265	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
266	Tabled Execution in Scheme (Scheme Pearl) Jeremiah Willcock Andrew Lumsdaine Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:42 Subroutines Functional programming Computer performance Software optimization Programming paradigms Memoization XSB Continuation-passing style Prolog Software engineering Computing Computer programming
267	A pattern matcher for miniKanren or How to get into trouble with CPS macros Andrew W. Keep Michael D. Adams Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:00 Type theory Transformation languages Procedural programming languages Logic programming Source code Hygienic macro Scheme Prolog Macro Computing Software engineering Computer programming
268	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
269	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
270	Auto in Agda joint work with Pepijn Kokke ! IFIP WG 2.1 #71 Zeegse, the Netherlands Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Logic Functional languages Agda Deduction Prolog Soundness Mathematical proof IP Proof theory Programming language theory Software engineering

UPDATE