A textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language. This introductory textbook uses a hands-on approach to teach the principles of programming languages. Using Java as the implementation language, Rajan covers a range of emerging topics, including concurrency, Big Data, and event-driven programming. Students will learn to design, implement, analyze, and understand both domain-specific and general-purpose programming languages. • Develops basic concepts in languages, including means of computation, means of combination, and means of abstraction. • Examines imperative features such as references, concurrency features such as fork, and reactive features such as event handling. • Covers language features that express differing perspectives of thinking about computation, including those of logic programming and flow-based programming. • Presumes Java programming experience and understanding of object-oriented classes, inheritance, polymorphism, and static classes. • Each chapter corresponds with a working implementation of a small programming language allowing students to follow along.
The book also discusses a range of emerging topics in programming languages missing from existing textbooks, including concurrency, Big Data, and event-driven programming.
This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.
COMIT is a symbol-manipulating (or string-processing) language designed to handle texts, words, characters, logical expressions, descriptors, attributes, tags, and the like, and to manipulate them in the computer in ways...
Software -- Programming Languages.
Scheme is a general purpose programming language descended from Algol and Lisp. Because it is conceptually clean and simple, it is an easy language to learn. At the same time,...
For example , consider a large company with several branches . Each branch manages its own database ... Consider first a simpler problem of combining several deductive databases without constraints . That is , the new combined deductive ...
The research reported in this book advances the art of designing programming languages. It sets forth some design principles for abstraction mechanisms and demonstrates their power by showing how they...
Robert Harper and Mark Lillibridge. A type-theoretic approach to higherorder modules with sharing. In POPL '94: Proceedings of the 21st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 123–137.
Anyone who wants to know how, for example, object-oriented programming rests upon a firm foundation in logic should read this book.
Programming Linguistics examines a wide range of programming language designs, from Fortran to the newest research languages, to discover their common patterns, relationships, and antecedents. In studying the evolution of...