Introduction to the Theory of Programming Languages

Author: Gilles Dowek,Jean-Jacques Lévy

Publisher: Springer Science & Business Media

ISBN: 9780857290762

Category: Computers

Page: 96

View: 6107

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages. It proposes a unified vision of the different formalisms that permit definition of a programming language: small steps operational semantics, big steps operational semantics, and denotational semantics, emphasising that all seek to define a relation between three objects: a program, an input value, and an output value. These formalisms are illustrated by presenting the semantics of some typical features of programming languages: functions, recursivity, assignments, records, objects, ... showing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages. The study of these features leads to the development of evaluators, interpreters and compilers, and also type inference algorithms, for small languages.
Posted in Computers

Introduction to the Theory of Complexity

Author: Daniele Bovet,Pierluigi Crescenzi

Publisher: Prentice Hall PTR

ISBN: 9780139153808

Category: Mathematics

Page: 282

View: 4748

The aim of this book is to review in a systematic way the most significant results obtained in the study of computational complexity theory. A balanced approach which is partly algorithmic and partly structuralist is followed. From an algorithmic point of view, the book is concerned with properties of complexity classes, and identification of structural properties of sets that affect their computational complexity.
Posted in Mathematics

The Craft of Programming

Author: John C. Reynolds

Publisher: Prentice Hall

ISBN: N.A

Category: Computers

Page: 434

View: 4947

Posted in Computers

Mathematical theory of program correctness

Author: Jacobus Willem Bakker

Publisher: Prentice Hall

ISBN: 9780135621325

Category: Computers

Page: 505

View: 4228

Basic concepts. While statements. Subscripted variables. Recursive procedures. Blocks. Nondeterministic statements. Weakest preconditions, strongest postconditions and termination. Parameter mechanisms. Goto statements.
Posted in Computers

Theories of Programming Languages

Author: John C. Reynolds

Publisher: Cambridge University Press

ISBN: 9780521106979

Category: Computers

Page: 516

View: 1853

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages.
Posted in Computers

Advanced Programming Language Design

Author: Raphael A. Finkel

Publisher: Addison Wesley

ISBN: 9780805311914

Category: Computers

Page: 480

View: 6850

This accessible new volume examines and evaluates the principles of programming languages from both their common and language-specific elements. Each chapter is devoted to a particular programming language issue. These issues are illustrated with an example from one of the many programming languages used today.
Posted in Computers

An Introduction to Functional Programming

Author: Richard J. Bird,Philip Wadler

Publisher: N.A

ISBN: N.A

Category: Computers

Page: 293

View: 9385

This is a thorough introduction to the fundamental concepts of functional programming.The book clearly expounds the construction of functional programming as a process of mathematical calculation, but restricts itself to the mathematics relevant to actual program construction. It covers simple and abstract datatypes, numbers, lists, examples, trees, and efficiency. It includes a simple, yet coherent treatment of the Haskell class; a calculus of time complexity; and new coverage of monadic input-output.
Posted in Computers

Introduction to Optimization Theory

Author: BYRON S AUTOR GOTTFRIED,JOEL AUTOR WEISMAN

Publisher: Prentice Hall

ISBN: N.A

Category: Mathematics

Page: 571

View: 4769

Posted in Mathematics

Computational Category Theory

Author: D. David E. Rydeheard,Rod M. Burstall

Publisher: N.A

ISBN: N.A

Category: Mathematics

Page: 257

View: 8736

Posted in Mathematics

Communicating sequential processes

Author: Charles Antony Richard Hoare

Publisher: Prentice Hall

ISBN: N.A

Category: Language Arts & Disciplines

Page: 256

View: 4928

Posted in Language Arts & Disciplines

Computer Science with MATHEMATICA ®

Theory and Practice for Science, Mathematics, and Engineering

Author: Roman E. Maeder

Publisher: Cambridge University Press

ISBN: 9780521663953

Category: Computers

Page: 389

View: 9327

This introductory course shows scientists and engineers how Mathematica can be used to do scientific computations.
Posted in Computers

A Discipline of Programming

Author: Edsger Wybe Dijkstra

Publisher: Prentice Hall

ISBN: N.A

Category: Computers

Page: 217

View: 3789

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.
Posted in Computers

Compiler Construction

Author: Niklaus Wirth

Publisher: Addison Wesley Publishing Company

ISBN: 9780201403534

Category: Computers

Page: 176

View: 9257

A refreshing antidote to heavy theoretical tomes, this book is a concise, practical guide to modern compiler design and construction by an acknowledged master. Readers are taken step-by-step through each stage of compiler design, using the simple yet powerful method of recursive descent to create a compiler for Oberon-0, a subset of the author's Oberon language. A disk provided with the book gives full listings of the Oberon-0 compiler and associated tools. The hands-on, pragmatic approach makes the book equally attractive for project-oriented courses in compiler design and for software engineers wishing to develop their skills in system software.
Posted in Computers

Structured Programming

Theory and Practice

Author: Richard C. Linger

Publisher: Addison Wesley Publishing Company

ISBN: N.A

Category: Computers

Page: 402

View: 446

Precision programming. Elements of logical expression. Elements of program expression. Structured programs. Reading structured programs. The correctness of structured programs. Writing structured programs.
Posted in Computers

Principles of Concurrent and Distributed Programming

Author: M. Ben-Ari,Môtî Ben-Arî

Publisher: Pearson Education

ISBN: 9780321312839

Category: Computers

Page: 361

View: 816

Award for Outstanding Contribution to Computer Science Education. Software today is inherently concurrent or distributed - from event-based GUI designs to operating and real-time systems to Internet applications. The new edition of this classic introduction to concurrency has been completely revised in view of the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking that are widely used in industry.
Posted in Computers

Prolog Programming in Depth

Author: Michael A. Covington,Donald Nute,André Vellino

Publisher: N.A

ISBN: 9780131386457

Category: Computers

Page: 516

View: 4002

This text covers natural language processing in Prolog and presumes knowledge of Prolog, but not of linguistics. It includes simple but practical database query systems; covers syntax, formal semantics, and morphology; emphasizes working computer programs that implement subsystems of a natural language processor; features programs that are clearly designed and compatible with any Edinburgh-compatible prolog implementation (Quintas, ESL, Arity, ALS etc.); and contains nearly 100 hands-on Prolog programming exercises and problem sets.
Posted in Computers

Syntax of Programming Languages

Theory and Practice

Author: Roland C. Backhouse

Publisher: Prentice Hall

ISBN: 9780138799991

Category: Langages de programmation - Syntaxe

Page: 301

View: 9573

Posted in Langages de programmation - Syntaxe