Backus J. Can Programming Be Liberated from the von Neumann Style

Компьютерная литература

формат pdf
размер 2.87 МБ
добавлен 02 марта 2011 г.

Backus J. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs.

Статья Джона Бэкуса из IBM Research Lab., опубликованная в сборнике ACM Turing Award Lecture 1977.

Содержание:

Introduction
1. Conventional Programming Languages: Fat and Flabby
2. Models of Computing Systems
3. Von Neumann Computers
4. Von Neumann Languages
5. Comparison of von Neumann and Functional Programs
6. Language Frameworks versus Changeable Parts
7. Changeable Parts and Combining Forms
8. APL versus Word-at-a-Time Programming
9. Von Neumann Languages Lack Useful Mathematical Properties
10. What Are the Alteatives to von Neumann Languages?
11. Functional Programming Systems (FP Systems
12. The Algebra of Programs for FP Systems
13. Formal Systems for Functional Programming (FFP Systems)
14. Applicative State Transition Systems (AST Systems)
15. Remarks About Computer Design
16. Summary
References

Смотрите также

Абрамян М.Э. Электронный задачник по программированию (Programming Taskbook). Версия 4.6

формат pdf
размер 566.08 КБ
добавлен 11 сентября 2010 г.

Предназначен для обучения программированию на языках Pascal, Visual Basic, C++, C#, Visual Basic.NET. Содержит 1000 учебных заданий, охватывающих все основные разделы базового курса программирования: от скалярных типов и управляющих операторов до сложных структур данных и рекурсивных алгоритмов.

Хигман Б. Сравнительное изучение языков программирования

формат djvu
размер 2.11 МБ
добавлен 07 августа 2011 г.

Computer monographs. General editor: Stanley Gill. A comparative study of programming languages. Bryan Higman - Reader in Computer Science, Institute of Computer Science, London. Macdonald, London and American Elsevier, New York, 1969. Пер. с англ. Л. В. Ухова. В книге систематизированы общие принципы, лежащие в основе различных языков программирования. Её можно рассматривать и как вводный курс при изучении конкретных языков, в частности языков...

Cardelli L., Wegner P. On Understanding Types, Data Abstraction and Polymorphism

формат pdf
размер 161.17 КБ
добавлен 02 марта 2011 г.

Статья Л. Карделли и П. Вегнера, опубликованная в Computing Surveys, Vol. 17, n. 4, Dec 1985. Посвящена системам типизации, абстракции данных и полиморфизму. Содержание. From Untyped to Typed Universes. Organizing Untyped Universes. Static and Strong Typing. Kinds of Polymorphism. The Evolution of Types in Programming Languages. Type Expression Sublanguages. Preview of Fun. The l-Calculus. The Untyped l-Calculus. The Typed l-Calculus. Basic Type...

Ghosh D. DSLs in Action

формат pdf
размер 18.56 МБ
добавлен 16 января 2011 г.

Manning Publications, 2011. Your success—and sanity—are closer at hand when you work at a higher level of abstraction, allowing your attention to be on the business problem rather than the details of the programming platform. Domain Specific Languages - little languages implemented on top of conventional programming languages - give you a way to do this because they model the domain of your business problem. DSLs in Action introduces the concept...

Kr?lovi?c R., Niwi?nski D. (Eds.) Mathematical Foundations of Computer Science 2009

формат pdf
размер 9.09 МБ
добавлен 02 марта 2011 г.

Springer, 2009. 760 р. ISSN 0302-9743 (на английском языке) 34 th International Symposium, MFCS 2009 Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 Proceedings Table of Contents Invited Papers Four Subareas ofthe TheoryofConstraints, and Their Links Albert Atserias Synchronization of Regular Automata Didier Caucal Stochastic Process Creation Javier Esparza StochasticGames with Finitary Objectives Krishnendu Chatterjee, Thomas A....