Foundations of programming languages (2nd ed.)

Edgar R. Chavez

首页> 外文期刊>Computing reviews >Foundations of programming languages (2nd ed.)

【24h】

Foundations of programming languages (2nd ed.)

机译：编程语言基础（第二版）

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Programming is a science-based craft. For a programmer, the better the science, the better the craft. Foundations of programming languages provides a computer science (CS)-based treatment of the foundations of three programming paradigms: imperative programming (including object-oriented programming), functional programming, and logic programming. These paradigms are illustrated by focusing on a small set of programming languages: assembly (expressed as Python bytecode), Java, C++, ML, and Prolog. From the science side, topics include compilation, interpretation, virtual machines, types, type checking, Backus-Naur form (BNF) and extended BNF, context-free grammars, derivations, parse trees, lexical analysis, parsing, and top-down and bottom-up parsers. The discussion of functional programming includes a brief introduction to the lambda calculus.

机译：编程是一种基于科学的技巧。对于程序员而言，科学越好，技巧就越好。编程语言的基础提供了基于计算机科学（CS）的三种编程范例基础的处理：命令式编程（包括面向对象的编程），函数式编程和逻辑编程。通过集中于一小套编程语言来说明这些范例：汇编语言（表示为Python字节码），Java，C ++，ML和Prolog。从科学的角度来看，主题包括编译，解释，虚拟机，类型，类型检查，Backus-Naur形式（BNF）和扩展的BNF，无上下文语法，派生，语法分析树，词法分析，语法分析以及自上而下和自下而上的解析器。函数式编程的讨论包括对lambda演算的简要介绍。

著录项

来源
《Computing reviews》 |2019年第6期|235-236|共2页
作者
Edgar R. Chavez;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Foundations of programming languages (2nd ed.) [J] . Edgar R. Chavez Computing reviews . 2019,第6期

机译：编程语言的基础（第2 ED。）
2. Foundations of Object-Oriented Languages: 2nd Workshop report [J] . Giuseppe Castagna, Gary T. levens ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1995,第2期

机译：面向对象语言的基础：第二次研讨会报告
3. Foundations of machine learning (2nd ed.) [J] . Nayan Ruparelia Computing reviews . 2020,第10期

机译：机器学习的基础（2ND。）
4. Formal foundations for optimising aggregatin funcitons in database programming languages [C] . Alexandra Polulovassilis, Carol Small International workshop on database programming languages . 1998

机译：用于优化数据库编程语言中的聚合函数的正式基础
5. A dependently typed programming language, with applications to foundational ceritified code systems. [D] . Sarkar, Susmit. 2009

机译：一种依赖类型的编程语言，可应用于基本的确定性代码系统。
6. Websters New International Dictionary of the English Language (2nd ed.) [O] . Mazÿck P. Ravenel 1935

机译：韦伯斯特的新国际英语词典（第二版）
7. Lectures on the Calculus of Variations, by O. Bolza. 2nd edition. Dover Publications Inc., New York, 1961. ix + 271 pages. $1.65. - Lectures on the Calculus of Variations, by O. Bolza. 2nd edition. Chelsea Publishing Company, New York, 1961 (1904). ix + 271 pages. $1. 19. - The Calculus of Finite Differences, by G. Boole. Edited by J. F. Moulton. Fourth edition. Reprint 1960 from 1872 edition. Chelsea Publishing Company, New York, 1960. $1. 39. Cloth $3.95. - The Mathematical Theory of Non-uniform Gases, by Chapman, Sand, T. G. Cowling. Cambridge 1960. MacMillan Company of Canada, xxiii + 431 pages. $2.95. - Exploitation derelevés expérimentaux, by Genevieve Coulmy. Manuels de calculs techniques, Vol. IV. Gauthier Villars et Cie, Paris, 1962 (2 May), xiii + 186 pages. 20NF. - Tables of the Mathematical Functions, Vol, III, by H. T. Davis and Vera J. Fisher. Arithmetical Tables. The Principia Press of Trinity University, San Antonio, Texas, 1962. ix + 554 pages. $8.75. - Tables of Integrals and Other Mathematical Data, by H. B. Dwight. Third edition. Brett Macmillan Ltd., Gait, Ontario, 1957. x + 288 pages. $3.00. - The Mathematical Theory of Relativity, by A. S. Eddington. Cambridge University Press, 1960. Macmillan Company of Canada, ix + 270 pages. $2. 95. - An Index of Mathematical Tables, by A. Fletcher, J. C. P. Miller, L. Rosenhead, L.J. Comrie. Vol. I, Index According to Functions, xi + 608 pages. Vol. II, Bibliography, Lists of Errors in Published Tables, References, iv + 386 pages. Addison Wesley Publishing Company Inc., Reading, Mass., 1962. $42.00 - Calculus of Extension, by H. G. Forder. Chelsea Publishing Company, 50 E. Fordham Road, New York 68, N. Y., U.S.A. $4.95. - Topology of Three Manifolds and Related Topics, M. K. Fort (Ed. ). Proceedings of the 1961 Topology Institute at the University of Georgia. Prentice Hall Inc. Publications, Englewood Cliffs, New Jersey, 1962. ix + 256 pages. $10. 00. - Algebraical and Topological Foundations of Geometry, H. Freudenthal (Ed.). Proceedings of a Colloquium at Utrecht, August 1959. Symposium Publications Division, Pergamon Press, Oxford, vii + 208 pages. $10. 00. - Mathématiques Générales, Synthèse élémentaire, by Maurice Godefroy. Gauthier Villars and Cie., Paris, 1961. 187 pages. 16NF = $3. 50. - Intermediate Pure Mathematics, by H. A. Hayden, C. G. Paradine, and R. N. Giles. Longmans Canada Limited, 137 Bond Street, Toronto, 1962. vii + 695 pages. $5.05. - College Plane Geometry, by E. M. Hemmerling. J. Wiley, New York, 1958. ix+ 310 pages. $4.95. - The Mathematical Theory of Electricity and Magnetism, by Sir James Jeans. Filth edition. Cambridge University Press, 1960. Macmillan Company of Canada. 652 pages. $3.95. - Summation of Series, by L. B. W. Jolley. Second revised edition. Dover Publications Inc., New York, 1961. xii + 251 pages. $2. 00. - Theory of Numbers, by G. B. Mathews. Chelsea Publishing Company, New York, 1961. xii + 323 pages. - Geometry for Advanced Pupils, E. A. Maxwell. Oxford University Press, Toronto. 176 pages. $3.75. - Russian Reader in Pure and Applied Mathematics, by P. H. Nidditch. University Mathematical Texts. Oliver and Boyd Ltd. and J. Wiley and Sons Inc. , New York 16, N. Y., 1962. x + 166 pages. $2.25. [O] . 1963

机译：讲座讲座的讲座，由O.Bolza进行变化。第2版。 Dover Publications Inc.，纽约，1961年。IX + 271页。 $ 1.65。 - 由O.Bolza的变化计算讲座。第2版。切尔西出版公司，纽约，1961年（1904年）。 ix + 271页。 1美元。 19. - G.Bole的有限差异的微积分。由J. F. Moulton编辑。第四版。从1872年版开始复制1960年。切尔西出版公司，纽约，1960年。1美元。 39.布料3.95美元。 - 非均匀气体的数学理论，由Chapman，Sand，T. G. Cowling。剑桥1960.加拿大的Macmillan公司，XXIII + 431页。 $ 2.95。 - 通过Genevieve Coulmy开发DerelevésExpérimentaux。 Manuels de Calcuce技术，Vol。 IV。 Gauthier Villars et Cie，巴黎，1962年（5月2日），XIII + 186页。 20nf。 - 由H.T.T. Davis和Vera J. Fisher的数学函数，III的表格表。算术表。 The Trinity University Prentipia Fress，San Antonio，德克萨斯州，1962。IX + 554页。 $ 8.75。 - H. B. Dwight的积分和其他数学数据表。第三版。 Brett Macmillan Ltd.，Gait，安大略省，1957年。X + 288页。 3.00美元。 - 由A. S. Eddington的相对论的数学理论。剑桥大学出版社，1960年。加拿大Macmillan公司，IX + 270页。 $ 2。 95. - 一个数学表，A. fletcher，J.C.P. Miller，L. Rosenhead，L.J.Comrie。卷。 i，索引根据函数，xi + 608页。卷。 II，参考书目，已发布表中的错误列表，参考文献，IV + 386页。 Addison Wesley Publishing Company Inc.，阅读，质量。，1962年。$ 42.00 - 扩展延伸，由H. G. G. Forder。 Chelsea Publishing Company，50 E. Fordham Road，纽约68，N. Y.，U.S.A. $ 4.95。 - 三种歧管及相关主题的拓扑，M. K. Fort（Ed）。 1961年佐治亚大学拓扑研究所的诉讼程序。 Prentice Hall Inc. Publications，Englewood Cliffs，新泽西州，1962年。IX + 256页。 10美元。 00. - 几何，H.Freudenthal（ED）的代数和拓扑基础。 1959年8月乌得勒支的议程综合案件。研讨会出版物部门，Pergamon Press，牛津，VII + 208页。 10美元。 00. - MathématiquesGénérales，Synthèseélémentaire，由Maurice Godefroy。 Gauthier Villars和Cie。，巴黎，1961. 187页。 16nf = 3美元。 50. - 中级纯数学，H.A.Hayden，C. G. G. G. Gladine和R. N. Giles。 Longmans Canada Limited，137债券街，多伦多，1962年。VII + 695页。 5.05美元。 - 大学架几何，由E. M. Hemmerling。 J. Wiley，纽约，1958. IX + 310页。 $ 4.95。 - 詹姆斯·牛仔吉恩斯的电力和磁力学的数学理论。 Filth版本。剑桥大学出版社，1960年。加拿大Macmillan公司。 652页。 3.95美元。 - 由L. B. W.Jolley的系列求和。第二个修订版。 Dover Publications Inc.，纽约，1961年。XII + 251页。 $ 2。 00。 - 由G. B. Mathews的数字理论。切尔西出版公司，纽约，1961年。XII + 323页。 - E. A. Maxwell的高级学生几何。牛津大学出版社，多伦多。 176页。 $ 3.75。 - 俄罗斯读者纯粹和应用数学，由P. H. Nidditch。大学数学文本。 Oliver和Boyd Ltd.和J. Wiley和Sons Inc.，纽约16，N. Y.，1962年。X + 166页。 2.25美元。

Foundations of programming languages (2nd ed.)

摘要

著录项

相似文献

相关主题

期刊订阅