| 书目名称 | Meta-Programming in Logic | | 副标题 | Third International | | 编辑 | A. Pettorossi | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains lectures and papers delivered at Meta92, the ThirdInternational Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysisin logic.Particular topics include belief revision systems,intensionaldeduction, belief systems and metaprogramming,principles of partialdeduction, termination in logicprograms, semantics of the "vanilla"metainterpreter, acomplete resolution method for metaprogramming, semanticsof"demo", hierarchical metalogics, the naming relation inmetalevelsystems, modules, reflective agents, compileroptimizations, metalogic andobject-oriented facilities,parallel logic languages, the use ofmetaprogramming forlegal reasoning, representing objects and inheritance,transformation of normal programs, negation in automaticallygenerated logic programs, reordering of literalsindeductive databases, abstract interpretations, andinterarguments in constraint logic programs. | | 出版日期 | Conference proceedings 1992 | | 关键词 | Automat; Resolution; databases; logic; optimization; programming; programming language; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56282-6 | | isbn_softcover | 978-3-540-56282-5 | | isbn_ebook | 978-3-540-47505-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
发表于 2025-3-21 16:58:30
