Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia (Logic Programming) 🔍
Dale Miller; Association for Logic Programming; Natural Sciences and Engineering Research Council Canada; British Columbia Advanced Systems Institute The MIT Press, Logic programming, Cambridge, Mass, Massachusetts, 1993
英语 [en] · DJVU · 7.9MB · 1993 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by broadening its foundations, exploring new language designs, and establishing more connections with other areas of computer science. **Topics include:** Algorithmic Analysis. Constraints. Environmental Support. Natural Language. Programming Methodologies. Artificial Intelligence. Concurrency and Parallelism. Logical Extensions. Meta and Higher-Order Programming. Semantic Analysis. Compilation Techniques. Deductive Databases. Implementations and Architectures. Proof Theory. Programming Language Design
备用文件名
lgrsnf/73/Cs_Computer science/CsPl_Programming languages/CsPlp_Prolog/Miller D. (ed.) Logic programming.. proceedings of the 1993 international symposium (MIT, 1993)(ISBN 0262631520)(600dpi)(T)(711s)_CsPlp_.djvu
备用文件名
lgli/Cs_Computer science/CsPl_Programming languages/CsPlp_Prolog/Miller D. (ed.) Logic programming.. proceedings of the 1993 international symposium (MIT, 1993)(ISBN 0262631520)(600dpi)(T)(711s)_CsPlp_.djvu
备用文件名
nexusstc/Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia/0863533bf674136447168939c0aaa7a8.djvu
备用文件名
zlib/Computers/Computer Science/Dale Miller (ed.)/Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia_2470517.djvu
备选标题
Compilers: Principles, Techniques, and Tools; [by] Alfred V. Aho, Ravi Sethi, [and] Jeffrey D. Ullman
备选标题
Logic programming : 10th International symposium : Preprinted papers and abstracts
备选标题
Компиляторы. Принципы, технологии, инструменты
备选作者
Dale Miller; Association for Logic Programming; International Symposium on Logic Programming
备选作者
Альфред Ахо, Рави Сети, Джеффри Ульман; [Пер. с англ. И.В. Красикова]
备选作者
Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman
备选作者
Aho, Alfred V., Sethi, Ravi, Ullman, Jeffrey D.
备选作者
edited by Dale Miller
备选作者
Ахо, Альфред
备用出版商
Addison-Wesley Publishing Company
备用出版商
Da Capo Press, Incorporated
备用出版商
Addison Wesley
备用出版商
Hachette Books
备用出版商
Basic Books
备用出版商
AAAI Press
备用出版商
Вильямс
备用版本
Addison-Wesley series in computer science, Repr. with corrections Mar. 1988, Reading, Mass, 1988, ©1986
备用版本
Addison-Wesley series in computer science, Rep. with corrections, Reading, Mass, 1987, ©1986
备用版本
Logic programming series, Cambridge, Mass. <etc.>, 1993
备用版本
United States, United States of America
备用版本
Reading, Mass, Massachusetts, 1986
备用版本
Reading, Mass, Maryland, 1986
备用版本
1st, First Edition, PS, 1986
备用版本
М. [и др.], Russia, 2001
备用版本
October 13, 1993
备用版本
London, ©1993
元数据中的注释
kolxoz -- 73
元数据中的注释
lg1296697
元数据中的注释
{"isbns":["0201100886","0262631520","9780201100884","9780262631525"],"last_page":711,"publisher":"The MIT Press"}
元数据中的注释
Papers presented at the 1993 International Logic Programming Symposium held in Vancouver, British Columbia, Canada, from Oct. 26-29, 1993. Sponsored by the Association for Logic Programming, et al.
Includes bibliographical references and index.
元数据中的注释
Includes index.
Bibliography: p. [752]-779.
元数据中的注释
Bibliography: p. [752]-779.
Includes index.
元数据中的注释
Доп. тит. л. изд.: Reading, a.o., англ.
Библиогр.: с. 742-763
Указ.
元数据中的注释
РГБ
元数据中的注释
Russian State Library [rgb] MARC:
=001 000732019
=003 RuMoRGB
=005 20020211120000.0
=008 011217s2001\\\\ru\||||\|\\\\\|01\u\rus\d
=017 \\ $a 01-54962 $b РКП
=020 \\ $a 5-8459-0189-8 (рус.)
=020 \\ $a 0-201-10088-6 (англ.)
=035 \\ $a (RuMoRGB)KNO-0192023
=040 \\ $a RuMoRGB $b rus $c RuMoRGB
=041 0\ $a rus
=084 \\ $a З973.2-018-5-05,0 $2 rubbk
=100 1\ $a Ахо, Альфред
=245 00 $a Компиляторы. Принципы, технологии, инструменты / $c Альфред Ахо, Рави Сети, Джеффри Ульман; [Пер. с англ. И.В. Красикова]
=260 \\ $a М. [и др.] $b Вильямс $c 2001
=300 \\ $a 767 с. $b ил., табл. $c 24 см
=500 \\ $a Доп. тит. л. изд.: Reading, a.o., англ.
=504 \\ $a Библиогр.: с. 742-763
=555 \\ $a Указ.
=650 \7 $a Вычислительные машины электронные цифровые -- Программирование -- Автоматизация $2 rubbk
=700 1\ $a Сети, Рави
=700 1\ $a Ульман, Джефри Д.
=852 \\ $a РГБ $b FB $j 3 01-48/63-5 $x 90
=852 \\ $a РГБ $b FB $j 3 01-48/64-3 $x 90
=852 7\ $a РГБ $b CZ2 $h З973.2/А95 $p 35414 $x 83
备用描述
This book covers topics related to the functionality and design of compilers, including:
- Compiler structure
- Lexical analysis (including regular expressions and finite automata)
- Syntax analysis (including context-free grammars, LL parsers, bottom-up parsers, and LR parsers)
- Syntax-directed translation
- Type checking (including type conversions and polymorphism)
- Run-time environment (including parameter passing, symbol tables, and storage allocation)
- Code generation (including intermediate code generation)
- Code optimization
备用描述
This introduction to compilers is the direct descendant of the well-known book by Aho and Ullman, Principles of Compiler Design. The authors present updated coverage of compilers based on research and techniques that have been developed in the field over the past few years. The book provides a thorough introduction to compiler design and covers topics such as context-free grammars, fine state machines, and syntax-directed translation.
备用描述
Introduction To Compiling -- A Simple One-pass Compiler -- Lexical Analysis -- Syntax Analysis -- Syntax-directed Translation -- Type Checking. Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. Includes Index. Bibliography: P. [752]-779.
备用描述
The text begins with an introduction to the principal ideas behind compilation, and then illustrates these ideas by constructing a simple one-pass compiler.
开源日期
2014-11-22
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持,您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 (可能需要验证浏览器——无限次下载!)

所有选项下载的文件都相同,应该可以安全使用。即使这样,从互联网下载文件时始终要小心。例如,确保您的设备更新及时。
  • 对于大文件,我们建议使用下载管理器以防止中断。
    推荐的下载管理器:JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件,具体取决于文件格式。
    推荐的电子书阅读器:Anna的档案在线查看器ReadEraCalibre
  • 使用在线工具进行格式转换。
    推荐的转换工具:CloudConvertPrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具:亚马逊的“发送到 Kindle”djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起,请考虑购买原版,或直接支持作者。
    📚 如果您当地的图书馆有这本书,请考虑在那里免费借阅。