Skip header Section
Skip Bibliometrics Section
Warren's abstract machine: a tutorial reconstructionSeptember 1991
- Author:
- Hassan Aït-Kaci
Abstract
No abstract available.
Cited By
- Cauwelaert S, Lombardi M and Schaus P (2018). How efficient is a global constraint in practice?, Constraints, 23:1, (87-122), Online publication date: 1-Jan-2018.
- Warren D WAM for everyone Declarative Logic Programming, (237-277)
- Cauwelaert S and Schaus P (2017). Efficient filtering for the Resource-Cost AllDifferent constraint, Constraints, 22:4, (493-511), Online publication date: 1-Oct-2017.
- Desouter B, Van Dooren M, Schrijvers T and Vandenbroucke A Tabling as a library with delimited control Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (4145-4149)
- Nunes-Harwitt A From Naïve to Norvig On Deriving a PROLOG Compiler Proceedings of ILC 2014 on 8th International Lisp Conference, (70-78)
- Jacobs S, Kuncak V and Suter P Reductions for Synthesis Procedures Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 7737, (88-107)
- Guzmán P, Carro M and Hermenegildo M Supporting Pruning in Tabled LP Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 7752, (60-76)
- Köksal A, Kuncak V and Suter P (2012). Constraints as control, ACM SIGPLAN Notices, 47:1, (151-164), Online publication date: 18-Jan-2012.
- Köksal A, Kuncak V and Suter P Constraints as control Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (151-164)
- Chico de Guzm$#225;n P, Casas A, Carro M and Hermenegildo M A segment-swapping approach for executing trapped computations Proceedings of the 14th international conference on Practical Aspects of Declarative Languages, (138-152)
- Tarau P Integrated symbol table, engine and heap memory management in multi-engine prolog Proceedings of the international symposium on Memory management, (129-138)
- Tarau P (2011). Integrated symbol table, engine and heap memory management in multi-engine prolog, ACM SIGPLAN Notices, 46:11, (129-138), Online publication date: 18-Nov-2011.
- Rajcsányi V and Németh Z The chemical machine Proceedings of the 2011 international conference on Parallel Processing, (181-190)
- Majchrzak T and Kuchen H Logic Java Proceedings of the 20th international conference on Functional and constraint logic programming, (122-137)
- Liang S, Fodor P, Wan H and Kifer M OpenRuleBench Proceedings of the 18th international conference on World wide web, (601-610)
- Julián-Iranzo P and Rubio-Manzano C A declarative semantics for Bousi~Prolog Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, (149-160)
- Cousot P, Cousot R and Giacobazzi R (2009). Abstract interpretation of resolution-based semantics, Theoretical Computer Science, 410:46, (4724-4746), Online publication date: 1-Nov-2009.
- Manning G and Plump D (2008). The York Abstract Machine, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (231-240), Online publication date: 1-Apr-2008.
- Casas A, Carro M and Hermenegildo M Towards a high-level implementation of execution primitives for unrestricted, independent and-parallelism Proceedings of the 10th international conference on Practical aspects of declarative languages, (230-247)
- Mera E, Lopez P, Carro M and Hermenegildo M Towards execution time estimation in abstract machine-based languages Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, (174-184)
- Morales J, Carro M and Hermenegildo M Comparing tag scheme variations using an abstract machine generator Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, (32-43)
- Costa V Prolog performance on larger datasets Proceedings of the 9th international conference on Practical Aspects of Declarative Languages, (185-199)
- Rossberg A, Tack G and Kornstaedt L Status report Proceedings of the 2007 workshop on Workshop on ML, (25-36)
- Jackson E and Sztipanovits J Towards a formal foundation for domain specific modeling languages Proceedings of the 6th ACM & IEEE International conference on Embedded software, (53-62)
- Burgstaller B, Scholz B and Ertl A An embedded systems programming environment for c Proceedings of the 12th international conference on Parallel Processing, (1204-1216)
- Brena R, Chesñevar C and Aguirre J Argumentation-Supported information distribution in a multiagent system for knowledge management Proceedings of the Second international conference on Argumentation in Multi-Agent Systems, (279-296)
- Crabbé B Grammatical development with XMG Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics, (84-100)
- McGrail R and Brody B (2005). Deconstructing the "math-science quest for solutions" website via logic programming, Journal of Computing Sciences in Colleges, 20:3, (188-197), Online publication date: 1-Feb-2005.
- Stefanov E and Sloane A Simple, effective code-size reduction for functional programs Proceedings of the 16th international conference on Implementation and Application of Functional Languages, (211-225)
- Fernández A and Hill P (2004). An interval constraint system for lattice domains, ACM Transactions on Programming Languages and Systems (TOPLAS), 26:1, (1-46), Online publication date: 1-Jan-2004.
- Oepen S and Callmeier U Measure for measure New developments in parsing technology, (373-395)
- Schrijvers T and Demoen B Combining an improvement to PARMA trailing with trailing analysis Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (88-98)
- Ciortuz L LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence, (3-17)
- Blockeel H, Dehaspe L, Demoen B, Janssens G, Ramon J and Vandecasteele H (2002). Improving the efficiency of inductive logic programming through the use of query packs, Journal of Artificial Intelligence Research, 16:1, (135-166), Online publication date: 1-Jan-2002.
- Pontelli E and Gupta G (2001). Backtracking in Independent And-Parallel Implementations of Logic Programming Languages, IEEE Transactions on Parallel and Distributed Systems, 12:11, (1169-1189), Online publication date: 1-Nov-2001.
- Nässén H, Carlsson M and Sagonas K Instruction merging and specialization in the SICStus Prolog virtual machine Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, (49-60)
- Sekar R, Ramakrishnan I and Voronkov A Term indexing Handbook of automated reasoning, (1853-1964)
- Diaz D and Codognet P The GNU Prolog system and its implementation Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (728-732)
- Li X Efficient memory management in a merged heap/stack prolog machine Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, (245-256)
- Visser E, Benaissa Z and Tolmach A (2019). Building program optimizers with rewriting strategies, ACM SIGPLAN Notices, 34:1, (13-26), Online publication date: 1-Jan-1999.
- Ogata K, Ioroi S and Futatsugi K Optimizing term rewriting using discrimination nets with specialization Proceedings of the 1999 ACM symposium on Applied computing, (511-518)
- Demoen B and Sagonas K (1998). Memory management for Prolog with tabling, ACM SIGPLAN Notices, 34:3, (97-106), Online publication date: 1-Mar-1999.
- Demoen B and Sagonas K Memory management for Prolog with tabling Proceedings of the 1st international symposium on Memory management, (97-106)
- Visser E, Benaissa Z and Tolmach A Building program optimizers with rewriting strategies Proceedings of the third ACM SIGPLAN international conference on Functional programming, (13-26)
- Takaki M, Minoru Y, Kentaro T and Jun'ichi T LiLFeS Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (807-811)
- Apt K, Brunekreef J, Partington V and Schaerf A (1998). Alma-O, ACM Transactions on Programming Languages and Systems (TOPLAS), 20:5, (1014-1066), Online publication date: 1-Sep-1998.
- Kelly A, Marriott K, MacDonald A, Stuckey P and Yap R (1998). Optimizing compilation of CLP( ℛ ), ACM Transactions on Programming Languages and Systems (TOPLAS), 20:6, (1223-1250), Online publication date: 1-Nov-1998.
- Astrachan O and Loveland D (1997). The Use of Lemmas in the Model Elimination Procedure, Journal of Automated Reasoning, 19:1, (117-141), Online publication date: 1-Aug-1997.
- Dawson S, Ramakrishnan C and Warren D Practical program analysis using general purpose logic programming systems—a case study Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (117-126)
- Dawson S, Ramakrishnan C and Warren D (2019). Practical program analysis using general purpose logic programming systems—a case study, ACM SIGPLAN Notices, 31:5, (117-126), Online publication date: 1-May-1996.
- Demoen B, Engels G and Tarau P Segment order preserving copying garbage collection for WAM based Prolog Proceedings of the 1996 ACM symposium on Applied Computing, (380-386)
- Han J A front-end to deductive database systems for multiparadigm programming Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
- Shin D and Hilton M Compilation of Disjunctive Logic Programs Using an Extended WAM Proceedings of the 20th Conference on Computer Software and Applications
- Han J (1995). Program Partition and Logic Program Analysis, IEEE Transactions on Software Engineering, 21:12, (959-968), Online publication date: 1-Dec-1995.
- Ellis G (1995). Compiling Conceptual Graphs, IEEE Transactions on Knowledge and Data Engineering, 7:1, (68-81), Online publication date: 1-Feb-1995.
- Segre A and Sturgill D Using hundreds of workstations to solve first-order logic problems Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (187-192)
- Escalante C A simple model of prolog's performance Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (1119-1132)
- Ley M The term retrieval abstract machine Proceedings of the 1992 ACM SIGMOD international conference on Management of data, (154-163)
- Ley M (2019). The term retrieval abstract machine, ACM SIGMOD Record, 21:2, (154-163), Online publication date: 1-Jun-1992.
Index Terms
- Warren's abstract machine: a tutorial reconstruction
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
The LiLFeS Abstract Machine and its evaluation with the LinGO grammar
This article evaluates the efficiency of the LiLFeS abstract machine by performing parsing tasks with the LinGO English resource grammar. The instruction set of the abstract machine is optimized for efficient processing of definite clause programs and ...
Twin support vector machine: theory, algorithm and applications
Twin support vector machine (TWSVM) has gained increasing interest from various research fields recently. In this paper, we aim to report the current state of the theoretical research and practical advances on TWSVM. We first give the basic thought and ...