0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (2)
  • R100 - R250 (281)
  • R250 - R500 (3,485)
  • R500+ (11,321)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Programming languages > General

Compiling Esterel (Hardcover, 2007 ed.): Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry Compiling Esterel (Hardcover, 2007 ed.)
Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry
R5,186 R4,546 Discovery Miles 45 460 Save R640 (12%) Ships in 12 - 17 working days

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it. Researchers as well as advanced developers will find this book essential for understanding Esterel at all levels.

ADTs, Data Structures, and Problem Solving with C++ (Paperback, 2nd edition): Larry Nyhoff ADTs, Data Structures, and Problem Solving with C++ (Paperback, 2nd edition)
Larry Nyhoff
R5,620 Discovery Miles 56 200 Ships in 12 - 17 working days

For the introductory Data Structures course (CS2) that typically follows a first course in programming. This text continues to offer a thorough, well-organized, and up-to-date presentation of essential principles and practices in data structures using C++. Reflecting the newest trends in computer science, new and revised material throughout the Second Edition places increased emphasis on abstract data types (ADTs) and object-oriented design. \ To access the author's Companion Website, including Solutions Manual, for ADTS, Data Structures and Problem Solving with C++, please go to http://cs.calvin.edu/books/c++/ds/2e/ For other books by Larry Nyhoff, please go to www.prenhall.com/nyhoff

Time Series with Python - How to Implement Time Series Analysis and Forecasting Using Python (Hardcover): Bob Mather Time Series with Python - How to Implement Time Series Analysis and Forecasting Using Python (Hardcover)
Bob Mather
R929 Discovery Miles 9 290 Ships in 10 - 15 working days
Algol-like Languages (Hardcover, 1997 ed.): Peter O'Hearn, Robert Tennent Algol-like Languages (Hardcover, 1997 ed.)
Peter O'Hearn, Robert Tennent
R3,142 Discovery Miles 31 420 Ships in 10 - 15 working days

To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development (Hardcover, 1995 ed.): Steven... The Field Programming Environment: A Friendly Integrated Environment for Learning and Development (Hardcover, 1995 ed.)
Steven P. Reiss
R4,536 Discovery Miles 45 360 Ships in 12 - 17 working days

FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming environments. The book will be valuable for those interested in the development of programming tools and environments, as well as serious users of programming environments. It will also be of interest to anyone undertaking a large software project, both by introducing the software tools needed to work on such a project and by demonstrating the concepts of message-based integration which can be applied to a variety of domains.

The PC Graphics Handbook (Hardcover): Julio Sanchez, Maria P. Canton The PC Graphics Handbook (Hardcover)
Julio Sanchez, Maria P. Canton
R6,541 Discovery Miles 65 410 Ships in 12 - 17 working days

The PC Graphics Handbook serves advanced C++ programmers dealing with the specifics of PC graphics hardware and software.

Discussions address:

o 2D and 3D graphics programming for Windows and DOS
o Device-independent graphics
o Mathematics for computer graphics
o Graphics algorithms and procedural operations
o PC video systems architecture, including its history and development
o High-end graphics systems and coprocessors
o Artificial life
o Virtual reality
o Animation techniques for simulations and video games
o VGA, SuperVGA, and VESA
o Device drivers
o Graphics and animation primitives

The authors cover the spectrum of PC graphics programming, including theoretical and practical topics - creating a singularly comprehensive resource for programmers.

Planet X and the Kolbrin Bible Connection - Why the Kolbrin Bible Is the Rosetta Stone of Planet X (Hardcover): Greg Jenner Planet X and the Kolbrin Bible Connection - Why the Kolbrin Bible Is the Rosetta Stone of Planet X (Hardcover)
Greg Jenner; Foreword by Marshall Masters
R731 R619 Discovery Miles 6 190 Save R112 (15%) Ships in 10 - 15 working days
Pro Oracle Database 10g RAC on Linux - Installation, Administration and Performance (Hardcover, 1st Corrected ed., Corr. 3rd... Pro Oracle Database 10g RAC on Linux - Installation, Administration and Performance (Hardcover, 1st Corrected ed., Corr. 3rd printing)
J Dyke, S. Shaw
R1,739 Discovery Miles 17 390 Ships in 10 - 15 working days

Real Application Clusters (RAC) and the Grid architecture are Oracle's strategy for scaling out enterprise systems to cope with bigger workloads and more users. Many books limit themselves by conceptualizing and theorizing about RAC technology, but this book is the first to portray implementing and administering an Oracle 10"g" RAC system in a Linux environment. This book features basic concepts underlying Linux and Oracle RAC, design strategies, hardware procurement and configuration, and many other topics.

The RAC-specific technologies described include configuration of the interconnect, OCFS, ASM, Cluster Ready Services, and Grid Control. The Oracle features RMAN and Data Guard are also discussed, along with available hardware options. The authors include practical examples and configuration information, so that upon reading this book, youll be armed with the information you need to build an Oracle RAC database on Linux, whether it is on a single laptop or a 64-node Itanium cluster.

Applied Time Series Analysis and Forecasting with Python (Hardcover, 1st ed. 2022): Changquan Huang, Alla Petukhina Applied Time Series Analysis and Forecasting with Python (Hardcover, 1st ed. 2022)
Changquan Huang, Alla Petukhina
R2,985 Discovery Miles 29 850 Ships in 10 - 15 working days

This textbook presents methods and techniques for time series analysis and forecasting and shows how to use Python to implement them and solve data science problems. It covers not only common statistical approaches and time series models, including ARMA, SARIMA, VAR, GARCH and state space and Markov switching models for (non)stationary, multivariate and financial time series, but also modern machine learning procedures and challenges for time series forecasting. Providing an organic combination of the principles of time series analysis and Python programming, it enables the reader to study methods and techniques and practice writing and running Python code at the same time. Its data-driven approach to analyzing and modeling time series data helps new learners to visualize and interpret both the raw data and its computed results. Primarily intended for students of statistics, economics and data science with an undergraduate knowledge of probability and statistics, the book will equally appeal to industry professionals in the fields of artificial intelligence and data science, and anyone interested in using Python to solve time series problems.

C Programming: The Essentials for Engineers and Scientists (Hardcover, 1999 ed.): David R. Brooks C Programming: The Essentials for Engineers and Scientists (Hardcover, 1999 ed.)
David R. Brooks
R2,898 Discovery Miles 28 980 Ships in 12 - 17 working days

This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve typical scientific and engineering problems. It is a learning-by-doing book, with many examples and exercises, and lays a foundation of scientific programming concepts and techniques that will prove valuable for those who might eventually move on to another language. Written for undergraduates who are familiar with computers and typical applications but are new to programming.

Mastering Python - How to learn Python Easily and Faster (Hardcover): Programming Academy Mastering Python - How to learn Python Easily and Faster (Hardcover)
Programming Academy
R841 R706 Discovery Miles 7 060 Save R135 (16%) Ships in 10 - 15 working days
Understanding C++ for MFC (Paperback): Richard Raposa Understanding C++ for MFC (Paperback)
Richard Raposa
R1,578 Discovery Miles 15 780 Ships in 12 - 17 working days

Microsoft Foundation Class (MFC) libraries offer a modular method of development that entails the piecing together of library functions to create a Windows application. MFC is an efficient approach for creating full-scale Windows applications and this is a guide for those not familiar with the object-orientated programming (OOP) methods of C++ as a means to jump-start their Windows applications development. This book presents the principles of C++ that are necessary for an effective MFC programmer including encapsulation, inheritence and polymorphism, and then the book presents MFC projects to give the reader a practical experience in Windows programming.

Artificial Intelligence with Python (Hardcover, 1st ed. 2022): Teik Toe Teoh, Zheng Rong Artificial Intelligence with Python (Hardcover, 1st ed. 2022)
Teik Toe Teoh, Zheng Rong
R1,616 R1,054 Discovery Miles 10 540 Save R562 (35%) Ships in 12 - 17 working days

Entering the field of artificial intelligence and data science can seem daunting to beginners with little to no prior background, especially those with no programming experience. The concepts used in self-driving cars and virtual assistants like Amazon's Alexa may seem very complex and difficult to grasp. The aim of Artificial Intelligence in Python is to make AI accessible and easy to understand for people with little to no programming experience though practical exercises. Newcomers will gain the necessary knowledge on how to create such systems, which are capable of executing tasks that require some form of human-like intelligence. This book introduces readers to various topics and examples of programming in Python, as well as key concepts in artificial intelligence. Python programming skills will be imparted as we go along. Concepts and code snippets will be covered in a step-by-step manner, to guide and instill confidence in beginners. Complex subjects in deep learning and machine learning will be broken down into easy-to-digest content and examples. Artificial intelligence implementations will also be shared, allowing beginners to generate their own artificial intelligence algorithms for reinforcement learning, style transfer, chatbots, speech, and natural language processing.

Network Performance Analysis - Using the J Programming Language (Hardcover, 2008 ed.): Alan Holt Network Performance Analysis - Using the J Programming Language (Hardcover, 2008 ed.)
Alan Holt
R3,059 Discovery Miles 30 590 Ships in 10 - 15 working days

The purpose of network performance analysis is to investigate how traffic-management mechanisms deployed in the network affect the allocation of resources amongst its users and the performance they experience. This topic can be studied by the construction of models of traffic management mechanisms and observing how they perform by applying them to some flow of network traffic.

This useful volume introduces concepts and principles of network performance analysis by example, using the J programming language. J is rich in mathematical functionality, which makes it an ideal tool for analytical methods. The book favours a practical approach and develops functions in J to demonstrate mathematical concepts, thereby enabling readers to explore the underlying principles behind network performance analysis. In addition, this allows the subject to become more accessible to those who, although have a mathematical background, are not pure mathematicians.

Topics and features:

a [ Uses an example-driven approach to introduce the fundamentals of network performance analysis

a [ Provides a concise introduction to the J programming language

a [ Presents network calculus as a method for designing and engineering networks

a [ Focuses on statistical analysis and stochastic processes

a [ Demonstrates how to simulate traffic with both short-range and long-range dependence properties

a [ Covers ATM QoS, and examines Internet congestion control

Network Performance Analysis will equally appeal to network professionals and postgraduates studying the topic by providing valuable analytical tools and using J as a means of offering a practical treatment of the subject. Dr. Holthas a broad range of industry experience and now regularly lectures on this topic.

Behavioral Specifications of Businesses and Systems (Hardcover, 1999 ed.): Haim Kilov, Bernhard Rumpe, Ian Simmonds Behavioral Specifications of Businesses and Systems (Hardcover, 1999 ed.)
Haim Kilov, Bernhard Rumpe, Ian Simmonds
R4,483 Discovery Miles 44 830 Ships in 12 - 17 working days

Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied mathematicians. These seemingly different papers address different aspects of a single problem - taming complexity. Behavioral Specifications of Businesses and Systems emphasizes simplicity and elegance in specifications without concentrating on particular methodologies, languages or tools. It shows how to handle complexity, and, specifically, how to succeed in understanding and specifying businesses and systems based upon precise and abstract concepts. It promotes reuse of such concepts, and of constructs based on them, without taking reuse for granted. Behavioral Specifications of Businesses and Systems is the second volume of papers based on a series of workshops held alongside ACM's annual conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP). The first volume, Object-Oriented Behavioral Specifications, edited by Haim Kilov and William Harvey, was published by Kluwer Academic Publishers in 1996.

Programming Languages - An Active Learning Approach (Hardcover, 2008): Kent D Lee Programming Languages - An Active Learning Approach (Hardcover, 2008)
Kent D Lee
R2,747 Discovery Miles 27 470 Ships in 12 - 17 working days

Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. This interactive textbook is intended to be used in and outside of class. Each chapter follows a pattern of presenting a topic followed by a practice exercise or exercises that encourage students to try what they have just read. This textbook is best-suited for students with a 2-3 course introduction to imperative programming.

Key Features: (1) Accessible structure guides the student through various programming languages. (2) Seamlessly integrated practice exercises. (3) Classroom-tested. (4) Online support materials.

Advance praise:
"The Programming Languages book market is overflowing with books, but none like this. In many ways, it is precisely the book I have been searching for to use in my own programming languages course. One of the main challenges I perpetually face is how to teach students to program in functional and logical languages, but also how to teach them about compilers. This book melds the two approaches very well." -- David Musicant, Carleton College

Exceptional C++ - 47 Engineering Puzzles, Programming Problems, and Solutions (Paperback, Reissue): Herb Sutter Exceptional C++ - 47 Engineering Puzzles, Programming Problems, and Solutions (Paperback, Reissue)
Herb Sutter
R1,333 R1,076 Discovery Miles 10 760 Save R257 (19%) Ships in 12 - 17 working days

"Exceptional C++" shows by example how to go about sound software engineering in standard C++. Do you enjoy solving thorny C++ problems and puzzles? Do you relish writing robust and extensible code? Then take a few minutes and challenge yourself with some tough C++ design and programming problems.

The puzzles and problems in "Exceptional C++" not only entertain, they will help you hone your skills to become the sharpest C++ programmer you can be. Many of these problems are culled from the famous "Guru of the Week" feature of the Internet newsgroup comp.lang.c++.moderated, expanded and updated to conform to the official ISO/ANSI C++ Standard.

Each problem is rated according to difficulty and is designed to illustrate subtle programming mistakes or design considerations. After you've had a chance to attempt a solution yourself, the book then dissects the code, illustrates what went wrong, and shows how the problem can be fixed. Covering a broad range of C++ topics, the problems and solutions address critical issues such as:

  • Generic programming and how to write reusable templates
  • Exception safety issues and techniques
  • Robust class design and inheritance
  • Compiler firewalls and the Pimpl Idiom
  • Name lookup, namespaces, and the Interface Principle
  • Memory management issues and techniques
  • Traps, pitfalls, and anti-idioms
  • Optimization

Try your skills against the C++ masters and come away with the insight and experience to create more efficient, effective, robust, and portable C++ code.
0201615622B04062001

Programming Rust - Fast, Safe Systems Development (Paperback, 2nd Revised edition): Jim Blandy, Jason Orendorff, Leonora F S... Programming Rust - Fast, Safe Systems Development (Paperback, 2nd Revised edition)
Jim Blandy, Jason Orendorff, Leonora F S Tindall
R1,367 Discovery Miles 13 670 Ships in 12 - 17 working days

Systems programming provides the foundation for the world's computation. Writing performance-sensitive code requires a programming language that puts programmers in control of how memory, processor time, and other system resources are used. The Rust systems programming language combines that control with a modern type system that catches broad classes of common mistakes, from memory management errors to data races between threads. With this practical guide, experienced systems programmers will learn how to successfully bridge the gap between performance and safety using Rust. Jim Blandy, Jason Orendorff, and Leonora Tindall demonstrate how Rust's features put programmers in control over memory consumption and processor use by combining predictable performance with memory safety and trustworthy concurrency. You'll learn: Rust's fundamental data types and the core concepts of ownership and borrowing How to write flexible, efficient code with traits and generics How to write fast, multithreaded code without data races Rust's key power tools: closures, iterators, and asynchronous programming Collections, strings and text, input and output, macros, unsafe code, and foreign function interfaces This revised, updated edition covers the Rust 2021 Edition.

Python and Matplotlib Essentials for Scientists and Engineers (Hardcover): Matt A Wood Python and Matplotlib Essentials for Scientists and Engineers (Hardcover)
Matt A Wood
R1,235 Discovery Miles 12 350 Ships in 10 - 15 working days

This book provides an introduction to the core features of the Python programming language and Matplotlib plotting routings for scientists and engineers (or students of either discipline) who want to use Python (TM) to analyse data, simulate physical processes, and render publication-quality plots. No previous programming experience is needed before reading the first page.Readers will learn the core features of the Python programming language in under a day. They will be able to immediately use Python to implement codes that solve their own problems and make beautiful plots and animations. Python code is extremely fast to prototype, allowing users to achieve results quickly and accurately. The examples within the book are available for download. Python and Matplotlib Essentials for Scientists and Engineers is accessible for motivated high-school students, but will likely be most useful for undergraduate and graduate students as well as working professionals who have some background with the basic mathematical concepts. This book is intended for technical people who want to get things done.

Handbook of Open Source Tools (Hardcover, 2011 ed.): Sandeep Koranne Handbook of Open Source Tools (Hardcover, 2011 ed.)
Sandeep Koranne
R4,582 Discovery Miles 45 820 Ships in 12 - 17 working days

"Handbook of Open Source Tools" introduces a comprehensive collection of advanced open source tools useful in developing software applications. The book contains information on more than 200 open-source tools which include software construction utilities for compilers, virtual-machines, database, graphics, high-performance computing, OpenGL, geometry, algebra, graph theory, GUIs and more. Special highlights for software construction utilities and application libraries are included. Each tool is covered in the context of a real like application development setting. This unique handbook presents a comprehensive discussion of advanced tools, a valuable asset used by most application developers and programmers; includes a special focus on Mathematical Open Source Software not available in most Open Source Software books, and introduces several tools (eg ACL2, CLIPS, CUDA, and COIN) which are not known outside of select groups, but are very powerful.

"Handbook of Open Source Tools "is designed for application developers and programmers working with Open Source Tools. Advanced-level students concentrating on Engineering, Mathematics and Computer Science will find this reference a valuable asset as well.

Logic Program Synthesis from Incomplete Information (Hardcover, 1995 ed.): Pierre Flener Logic Program Synthesis from Incomplete Information (Hardcover, 1995 ed.)
Pierre Flener
R4,524 Discovery Miles 45 240 Ships in 12 - 17 working days

Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. This book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.

Introduction to the Tools of Scientific Computing (Hardcover, 2nd ed. 2022): Einar Smith Introduction to the Tools of Scientific Computing (Hardcover, 2nd ed. 2022)
Einar Smith
R1,973 Discovery Miles 19 730 Ships in 12 - 17 working days

The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike standard approaches, it does not focus on any specific language, but aims to explain the underlying ideas. Typically, new concepts are first introduced in the particularly user-friendly Python language and then transferred and extended in various programming environments from C/C++, Julia and MATLAB to Maple and Mathematica. This includes various approaches to distributed computing. By examining and comparing different languages, the book is also helpful for mathematicians and practitioners in deciding which programming language to use for which purposes. At a more advanced level, special tools for the automated solution of partial differential equations using the finite element method are discussed. On a more experimental level, the basic methods of scientific machine learning in artificial neural networks are explained and illustrated.

Writing Testbenches using SystemVerilog (Hardcover, 2006 ed.): Janick Bergeron Writing Testbenches using SystemVerilog (Hardcover, 2006 ed.)
Janick Bergeron
R5,573 Discovery Miles 55 730 Ships in 12 - 17 working days

Verification is too often approached in an ad hoc fashion. Visually inspecting simulation results is no longer feasible and the directed test-case methodology is reaching its limit. Moore's Law demands a productivity revolution in functional verification methodology.

Writing Testbenches Using SystemVerilog offers a clear blueprint of a verification process that aims for first-time success using the SystemVerilog language. From simulators to source management tools, from specification to functional coverage, from I's and O's to high-level abstractions, from interfaces to bus-functional models, from transactions to self-checking testbenches, from directed testcases to constrained random generators, from behavioral models to regression suites, this book covers it all.

Writing Testbenches Using SystemVerilog presents many of the functional verification features that were added to the Verilog language as part of SystemVerilog. Interfaces, virtual modports, classes, program blocks, clocking blocks and others SystemVerilog features are introduced within a coherent verification methodology and usage model.

Writing Testbenches Using SystemVerilog introduces the reader to all elements of a modern, scalable verification methodology. It is an introduction and prelude to the verification methodology detailed in the Verification Methodology Manual for SystemVerilog. It is a SystemVerilog version of the author's bestselling book Writing Testbenches: Functional Verification of HDL Models.

LOTOSphere: Software Development with LOTOS (Hardcover, 1995 ed.): Tommaso Bolognesi, Jeroen Van De Lagemaat, Chris Vissers LOTOSphere: Software Development with LOTOS (Hardcover, 1995 ed.)
Tommaso Bolognesi, Jeroen Van De Lagemaat, Chris Vissers
R4,582 Discovery Miles 45 820 Ships in 12 - 17 working days

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject.

Comparative Metric Semantics of Programming Languages - Nondeterminism and Recursion (Hardcover, 1998 ed.): Franck van Breughel Comparative Metric Semantics of Programming Languages - Nondeterminism and Recursion (Hardcover, 1998 ed.)
Franck van Breughel
R3,067 Discovery Miles 30 670 Ships in 10 - 15 working days

During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in specification languages. In the examples discussed, the degree of non determinism ranges from a choice between two alternatives to a choice between a collection of alternatives indexed by a closed interval of the real numbers. The former arises in a language with nondeterministic choices. A real time language with dense choices gives rise to the latter. We also consider the nondeterministic random assignment and parallel composition, both couched in a simple language. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,084 Discovery Miles 40 840
Finite Difference Computing with Pdes…
Langtangen H P Hardcover R1,908 Discovery Miles 19 080
Machine Learning - The Ultimate…
Mark Reed Hardcover R623 R531 Discovery Miles 5 310
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,393 Discovery Miles 13 930
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,861 Discovery Miles 18 610
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,304 Discovery Miles 13 040
SQL - 2 books in 1 - The Ultimate…
Ryan Turner Hardcover R1,133 R935 Discovery Miles 9 350
Prolog Programming for Artificial…
Ivan Bratko Paperback R2,284 Discovery Miles 22 840
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R662 Discovery Miles 6 620

 

Partners