Warren Abstract Machine - PDFSEARCH.IO - Document Search Engine

Warren Abstract Machine
Results: 11

#	Item
1	Towards Execution Time Estimation in Abstract Machine-Based Languages ∗ E. Mera 1 1 Complutense University of Madrid Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-07-04 09:38:08 Compiler construction Virtual machines Software optimization Bytecode Java bytecode Warren Abstract Machine Profiling Interpreter Worst-case execution time Computing Software Programming language implementation
2	Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:04:47 Computer programming Prolog Warren Abstract Machine Unification Backtracking Answer set programming B-Prolog Logic programming Software engineering Computing
3	1 The EXTREM COMPILING Pattern Language The Construction of Compiler Back-Ends by Stepwise Transformation of Virtual Machines J.García-Martín M.Sutil-Martín Universidad Politécnica de Madrid Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:19:10 Compiler construction Programming language implementation Cross-platform software Logic programming Warren Abstract Machine Prolog Java virtual machine Compiler Intermediate language Computing Software Virtual machines
4	A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2008-09-15 22:48:05 Programming paradigms Prolog Compiler optimizations Logic programming Parallel computing Warren Abstract Machine Stack Call stack Automatic parallelization Software engineering Computing Computer programming
5	A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-09-15 22:48:05 Programming paradigms Prolog Compiler optimizations Logic programming Parallel computing Warren Abstract Machine Stack Call stack Automatic parallelization Software engineering Computing Computer programming
6	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
7	Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION H ASSAN A¨I T-K ACI [removed] Intelligent Software Group Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2009-06-30 09:57:55 Artificial intelligence Applied mathematics Mathematics Automated theorem proving Logic programming Unification
8	Warren’s Abstract Machine A Tutorial Reconstruction Hassan Aıt-Kaci ICLP’91 Pre-Conference Tutorial Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2005-03-21 20:04:02 Prolog Limit Heap Variable Mathematics Algebraic structures Functor
9	a YAP User’s Manual Version[removed]V´ıtor Santos Costa, Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2010-08-04 13:47:19 Constraint programming Prolog Logtalk YAP Logic programming Constraint Handling Rules Warren Abstract Machine Cygwin CLP Computing Software engineering Software
10	Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION HASSAN A¨I T-K ACI [removed] Intelligent Software Group Add to Reading List Source URL: www.cvc.uab.es Language: English - Date: 2000-05-04 09:28:00 Procedural programming languages Models of computation Programming language implementation Prolog C Machine code Variable ALGOL 68 Abstract machine Software engineering Computing Programming language theory

UPDATE