This book presents the Natural Constraint Language (NCL) language, a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. It uses illustrations and tutorials to detail NCL and its applications.
This book provides a rigorous introduction to the formal semantics of programming languages. Coverage includes the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.
This easy-to-follow textbook teaches the reader how to program using Python. Using examples and practical exercises, readers will learn to recognize and apply abstract patterns in programming, and how to inspect the state of a program using a debugger tool.
This interactive textbook introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. Each chapter includes practice exercises.
The full source code for the examples provided in this book aims to encourage innovation and experimentation by a readership that will gain much from the first publication of its kind based on F#. It also covers design and other aspects of Java and C#.
This introduction to the principles and concepts of programming language uses Java as a main language then systematically compares it to other languages, thereby providing the tools that allow students to adapt to new programming languages.
This comprehensive examination of object-oriented language explains key features of the languages in use today. Class-based, prototypes and Actor languages are all examined and compared in terms of their semantic concepts. Requires some understanding of programming language concepts.
By establishing a solid foundation in the understanding of object-oriented programming concepts and their applications, this book provides readers with the pre-requisites for writing proper object-oriented programs using Java.