Author: Eberhard Sturm
Publisher: Springer Science & Business Media
ISBN: 383489317X
Category : Computers
Languages : en
Pages : 308
Book Description
This classic textbook by Eberhard Sturm is the only up-to-date PL/I book currently available in the English language which shows the range of the new PL/I on the computer platforms OS/2, Windows, AIX and z/OS – the basis being the new PL/I compiler from IBM. The language was extended by the package concept, abstract data types, attributes to communicate with C programs and more than a hundred BUILTIN functions. The book provides the basis for certification as an “IBM Certified PL/I Programmer/Developer”. Suitable for self-study, it introduces all areas of the language. It is a useful source of ideas and information for those programmers who already have a certain level of experience as well as those who only want to discover the variety of new language features.
The New PL/I
Author: Eberhard Sturm
Publisher: Springer Science & Business Media
ISBN: 383489317X
Category : Computers
Languages : en
Pages : 308
Book Description
This classic textbook by Eberhard Sturm is the only up-to-date PL/I book currently available in the English language which shows the range of the new PL/I on the computer platforms OS/2, Windows, AIX and z/OS – the basis being the new PL/I compiler from IBM. The language was extended by the package concept, abstract data types, attributes to communicate with C programs and more than a hundred BUILTIN functions. The book provides the basis for certification as an “IBM Certified PL/I Programmer/Developer”. Suitable for self-study, it introduces all areas of the language. It is a useful source of ideas and information for those programmers who already have a certain level of experience as well as those who only want to discover the variety of new language features.
Publisher: Springer Science & Business Media
ISBN: 383489317X
Category : Computers
Languages : en
Pages : 308
Book Description
This classic textbook by Eberhard Sturm is the only up-to-date PL/I book currently available in the English language which shows the range of the new PL/I on the computer platforms OS/2, Windows, AIX and z/OS – the basis being the new PL/I compiler from IBM. The language was extended by the package concept, abstract data types, attributes to communicate with C programs and more than a hundred BUILTIN functions. The book provides the basis for certification as an “IBM Certified PL/I Programmer/Developer”. Suitable for self-study, it introduces all areas of the language. It is a useful source of ideas and information for those programmers who already have a certain level of experience as well as those who only want to discover the variety of new language features.
History of Programming Languages
Author: Richard L. Wexelblat
Publisher: Academic Press
ISBN: 1483266168
Category : Reference
Languages : en
Pages : 784
Book Description
History of Programming Languages presents information pertinent to the technical aspects of the language design and creation. This book provides an understanding of the processes of language design as related to the environment in which languages are developed and the knowledge base available to the originators. Organized into 14 sections encompassing 77 chapters, this book begins with an overview of the programming techniques to use to help the system produce efficient programs. This text then discusses how to use parentheses to help the system identify identical subexpressions within an expression and thereby eliminate their duplicate calculation. Other chapters consider FORTRAN programming techniques needed to produce optimum object programs. This book discusses as well the developments leading to ALGOL 60. The final chapter presents the biography of Adin D. Falkoff. This book is a valuable resource for graduate students, practitioners, historians, statisticians, mathematicians, programmers, as well as computer scientists and specialists.
Publisher: Academic Press
ISBN: 1483266168
Category : Reference
Languages : en
Pages : 784
Book Description
History of Programming Languages presents information pertinent to the technical aspects of the language design and creation. This book provides an understanding of the processes of language design as related to the environment in which languages are developed and the knowledge base available to the originators. Organized into 14 sections encompassing 77 chapters, this book begins with an overview of the programming techniques to use to help the system produce efficient programs. This text then discusses how to use parentheses to help the system identify identical subexpressions within an expression and thereby eliminate their duplicate calculation. Other chapters consider FORTRAN programming techniques needed to produce optimum object programs. This book discusses as well the developments leading to ALGOL 60. The final chapter presents the biography of Adin D. Falkoff. This book is a valuable resource for graduate students, practitioners, historians, statisticians, mathematicians, programmers, as well as computer scientists and specialists.
Encyclopedia of Computer Science and Technology
Author: Harry Henderson
Publisher: Infobase Publishing
ISBN: 1438110030
Category : Computers
Languages : en
Pages : 593
Book Description
Presents an illustrated A-Z encyclopedia containing approximately 600 entries on computer and technology related topics.
Publisher: Infobase Publishing
ISBN: 1438110030
Category : Computers
Languages : en
Pages : 593
Book Description
Presents an illustrated A-Z encyclopedia containing approximately 600 entries on computer and technology related topics.
Computer Science
Types and Programming Languages
Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Category : Computers
Languages : en
Pages : 656
Book Description
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Publisher: MIT Press
ISBN: 9780262162098
Category : Computers
Languages : en
Pages : 656
Book Description
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
The Elements of Programming Style
Author: Brian W. Kernighan
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 172
Book Description
Covers Expression, Structure, Common Blunders, Documentation, & Structured Programming Techniques
Publisher: McGraw-Hill Companies
ISBN:
Category : Computers
Languages : en
Pages : 172
Book Description
Covers Expression, Structure, Common Blunders, Documentation, & Structured Programming Techniques
Encyclopedia of Computer Science and Technology
Author: Jack Belzer
Publisher: CRC Press
ISBN: 9780824722623
Category : Computers
Languages : en
Pages : 496
Book Description
"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."
Publisher: CRC Press
ISBN: 9780824722623
Category : Computers
Languages : en
Pages : 496
Book Description
"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."
Foundations of Computer Science
Author: Ashok Arora
Publisher: Laxmi Publications
ISBN: 9788170089711
Category : Computers
Languages : en
Pages : 410
Book Description
Publisher: Laxmi Publications
ISBN: 9788170089711
Category : Computers
Languages : en
Pages : 410
Book Description
MTS, Michigan Terminal System
Author: University of Michigan Computing Center
Publisher:
ISBN:
Category : IBM 360 (Computer)
Languages : en
Pages : 290
Book Description
Publisher:
ISBN:
Category : IBM 360 (Computer)
Languages : en
Pages : 290
Book Description
Semantics Engineering with PLT Redex
Author: Matthias Felleisen
Publisher: MIT Press
ISBN: 0262062755
Category : Computers
Languages : en
Pages : 515
Book Description
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.
Publisher: MIT Press
ISBN: 0262062755
Category : Computers
Languages : en
Pages : 515
Book Description
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.