|
Showing 1 - 4 of
4 matches in All Departments
|
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings (Paperback, 2014)
Matthew Flatt, Hai-Feng Guo
|
R2,281
Discovery Miles 22 810
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 16th
International Symposium on Practical Aspects of Declarative
Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014,
co-located with POPL 2014, the 41st Symposium on Principles of
Programming Languages. The 15 revised papers presented were
carefully reviewed and selected from 27 submissions. They cover a
wide range of topics related to logic and functional programing,
including language support for parallelism and GPUs, constructs and
techniques for modularity and extensibility, and applications of
declarative programming to document processing and DNA simulation.
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.
A completely revised edition, offering new design recipes for
interactive programs and support for images as plain values,
testing, event-driven programming, and even distributed
programming. This introduction to programming places computer
science at the core of a liberal arts education. Unlike other
introductory books, it focuses on the program design process,
presenting program design guidelines that show the reader how to
analyze a problem statement, how to formulate concise goals, how to
make up examples, how to develop an outline of the solution, how to
finish the program, and how to test it. Because learning to design
programs is about the study of principles and the acquisition of
transferable skills, the text does not use an off-the-shelf
industrial language but presents a tailor-made teaching language.
For the same reason, it offers DrRacket, a programming environment
for novices that supports playful, feedback-oriented learning. The
environment grows with readers as they master the material in the
book until it supports a full-fledged language for the whole
spectrum of programming tasks. This second edition has been
completely revised. While the book continues to teach a systematic
approach to program design, the second edition introduces different
design recipes for interactive programs with graphical interfaces
and batch programs. It also enriches its design recipes for
functions with numerous new hints. Finally, the teaching languages
and their IDE now come with support for images as plain values,
testing, event-driven programming, and even distributed
programming.
Programming languages should be designed not by piling feature on
top of feature, but by removing the weaknesses and restrictions
that make additional features appear necessary. Scheme demonstrates
that a very small number of rules for forming expressions, with no
restrictions on how they are composed, are enough to form a
practical and efficient programming language that is flexible
enough to support most of the major programming paradigms in use
today. This book contains the three parts comprising 'R6RS', the
sixth revision of a series of reports describing the programming
language Scheme. The book is divided into parts: a description of
the language itself, a description of the standard libraries and
non-normative appendices. Early chapters introduce Scheme and later
chapters act as a reference manual. This is an important report for
programmers that work with or want to learn about the Scheme
language.
|
|