The SCEAS System
Navigation Menu

Conferences in DBLP

International Workshop on Meta-Programming in Logic (META) (meta)
1988 (conf/meta/88)

  1. Lynette Hirschman
    A Meta-Rule Treatment for Englich Wh-Constructions. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:1-21 [Conf]
  2. Patricia M. Hill, John W. Lloyd
    Analysis of Meta-Programs. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:23-51 [Conf]
  3. Howard A. Blair
    Metalogic Programming and Direct Universal Computability. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:53-63 [Conf]
  4. V. S. Subrahmanian
    A Simple Formulation of the Theory of Metalogic Programming. [Citation Graph (1, 0)][DBLP]
    META, 1988, pp:65-101 [Conf]
  5. Frank van Harmelen
    A Classification of Meta-level Architectures. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:103-122 [Conf]
  6. Fausto Giunchiglia, Alan Smaill
    Reflection in Constructive and Non-constructive Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:123-140 [Conf]
  7. Verónica Dahl, Pierre Massicotte
    Processing Techniques for Dsicontinuous Grammars. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:141-156 [Conf]
  8. Seiki Akama, Akira Ishikawa
    Semantically Constrained Parsing and Logic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:157-168 [Conf]
  9. Albert Bruffaerts, Eric Henin
    Negation as Failure: Proofs, Inference Rules and Meta-Interpreters. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:169-190 [Conf]
  10. L. Ümit Yalçinalp, Leon Sterling
    An Integrated Interpreter for Explaining Prolog's Successes and Failures. [Citation Graph (1, 0)][DBLP]
    META, 1988, pp:191-203 [Conf]
  11. Andrew Bowles, Paul Wilk
    Tracing Requirements for Multi-Layered Meta-Programming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:205-215 [Conf]
  12. Danny De Schreye, Maurice Bruynooghe
    The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation. [Citation Graph (1, 0)][DBLP]
    META, 1988, pp:217-231 [Conf]
  13. Michael Codish, John P. Gallagher, Ehud Y. Shapiro
    Using Safe Approximations of Fixed Points for Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:233-261 [Conf]
  14. Thom W. Frühwirth
    Type Inference by Program Transformation and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:263-282 [Conf]
  15. Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper
    Complete Sets of Frontiers in Logic-Based Program Transformation. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:283-297 [Conf]
  16. David Chan, Mark Wallace
    A Treatment of Negation during Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:299-317 [Conf]
  17. Stephen Owen
    Issues in the Partial Evaluation of Meta-Interpreters. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:319-339 [Conf]
  18. Brian J. Ross
    The Partial Evaluation of Imperative Programs Using Prolog. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:341-363 [Conf]
  19. Paul Tarau, Michel Boyer
    Prolog Meta-Programming with Soft Databases. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:365-381 [Conf]
  20. Jonas Barklund
    What Is a Meta-Variable in Prolog? [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:383-398 [Conf]
  21. Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali
    Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:399-415 [Conf]
  22. Ilyas Cicekli
    Design and Implementation of An Abstract MetaProlog Engine for MetaProlog. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:417-433 [Conf]
  23. John Staples, Peter J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis
    Qu-Prolog: An Extended Prolog for Meta Level Programming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:435-452 [Conf]
  24. John Hannan, Dale Miller
    A Meta-Logic for Functional Programming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:453-476 [Conf]
  25. Yue Jun Jiang, Nader Azarmi
    Meta Logic Programming for Epistemic Notions. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:477-499 [Conf]
  26. Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
    Algorithmic Debugging with Assertions. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:501-521 [Conf]
  27. Paul J. Voda
    The Logical Reconstruction of Cuts as One Solution Operators. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:523-530 [Conf]
  28. Francesca Rossi, Ugo Montanari
    Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:531-544 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002