Author: Stephen A. Schuman
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 158

Get Book Here

Book Description

Author: E.K. Blum
Publisher: Springer Science & Business Media
ISBN: 9783540095415
Category : Computers
Languages : en
Pages : 640

Get Book Here

Book Description

Author:
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 620

Get Book Here

Book Description

Author: M. Novak
Publisher: Elsevier
ISBN: 1483146383
Category : Technology & Engineering
Languages : en
Pages : 437

Get Book Here

Book Description
Software for Computer Control is a collection of papers and lectures presented at the Second IFAC/IFIP Symposium on Software for Computer Control, held in Prague, Czechoslovakia in June 1979. The symposium is organized with the hope of making vital contributions to the development of the computer sciences. The text focuses on the design and programming of process control systems used in various industrial processes and experiments. Topics covered include communication control in computer networks; program generators for process control applications; methods for the design of control software; presentations on software for microprocessors; real-time languages; algorithms for computer control; and applications of computer control in sciences. Computer scientists, systems analysts, programmers, and students of computer science will benefit from this book.

Author: Jacques André
Publisher: Institut de Recherche D'Informatique Et D'Automatique
ISBN:
Category : Computers
Languages : en
Pages : 460

Get Book Here

Book Description

Author: Peter O'Hearn
Publisher: Springer Science & Business Media
ISBN: 1461241189
Category : Computers
Languages : en
Pages : 285

Get Book Here

Book Description
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this field have been rather hard to obtain. The primary purpose of this collection is to make the most significant material on ALGoL-like languages conveniently available to graduate students and researchers. Contents Introduction to Volume 1 1 Part I Historical Background 1 Part n Basic Principles 3 Part III Language Design 5 Introduction to Volume 2 6 Part IV Functor-Category Semantics 7 Part V Specification Logic 7 Part VI Procedures and Local Variables 8 Part vn Interference, Irreversibility and Concurrency 9 Acknowledgements 11 Bibliography 11 Introduction to Volume 1 This volume contains historical and foundational material, and works on lan guage design. All of the material should be accessible to beginning graduate students in programming languages and theoretical Computer Science.

Author: British Library. Lending Division
Publisher:
ISBN:
Category : Congresses and conventions
Languages : en
Pages : 1412

Get Book Here

Book Description

Author:
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 488

Get Book Here

Book Description

Author: Richard E. Ewing
Publisher: Springer Science & Business Media
ISBN: 1461249848
Category : Mathematics
Languages : en
Pages : 223

Get Book Here

Book Description
This volume is the Proceedings of the symposium held at the University of Wyoming in August, 1985, to honor Gail Young on his seventieth birthday (which actually took place on October 3, 1985) and on the occasion of his retirement. Nothing can seem more natural to a mathematician in this country than to honor Gail Young. Gail embodies all the qualities that a mathematician should possess. He is an active and effective research mathematician, having written over sixty pa pers in topology, n-dimensional analysis, complex variables, and "miscellanea." He is an outstanding expositor, as his fine book Topology, written with J. G. Hocking (Addison Wesley, 1961), amply demonstrates. He has a superlative record in public office of outstanding, unstinting service to the mathematical community and to the cause of education. But what makes Gail unique and special is that throughout all aspects of his distinguished career, he has emphasized human values in everything he has done. In touching the lives of so many of us, he has advanced the entire profession. Deservedly, he has innumerable friends in the mathematical community, the academic community, and beyond.

Author: Jacobus Willem Bakker
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 468

Get Book Here

Book Description