Marco Berardini's Books

Programming Language Explorations

By: Ray Toal,Sage Strieker,Marco Berardini

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Language Explorations

By: Ray Toal,Sage Strieker,Marco Berardini

Programming Language Explorations helps its readers gain proficiency in programming language practice and theory by presenting both example-focused, chapter-length explorations of fourteen important programming languages and detailed discussions of the major concepts transcending multiple languages. A language-by-language approach is sandwiched between an introductory chapter that motivates and lays out the major concepts of the field and a final chapter that brings together all that was learned in the middle chapters into a coherent and organized view of the field. Each of the featured languages in the middle chapters is introduced with a common trio of example programs and followed by a tour of its basic language features and coverage of interesting aspects from its type system, functional forms, scoping rules, concurrency patterns, and metaprogramming facilities. These chapters are followed by a brief tour of over 40 additional languages designed to enhance the reader’s appreciation of the breadth of the programming language landscape and to motivate further study. Targeted to both professionals and advanced college undergraduates looking to expand the range of languages and programming patterns they can apply in their work and studies, the book pays attention to modern programming practices, keeps a focus on cutting-edge programming patterns, and provides many runnable examples, all of which are available in the book’s companion GitHub repository. The combination of conceptual overviews with exploratory example-focused coverage of individual programming languages provides its readers with the foundation for more effectively authoring programs, prompting AI programming assistants, and, perhaps most importantly, learning—and creating—new languages.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

408

Publisher

CRC Press

Published Date

ISBN 10

1040089356

ISBN 13

9781040089354

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini,Marco Bernardo,Flavio Corradini

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Process Algebraic Approach to Software Architecture Design

By: Alessandro Aldini,Marco Bernardo,Flavio Corradini

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

316

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1848002238

ISBN 13

9781848002234

Programming Language Explorations

By: Ray Toal,Sage Strieker,Marco Berardini

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Language Explorations

By: Ray Toal,Sage Strieker,Marco Berardini

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

408

Publisher

CRC Press

Published Date

ISBN 10

1040089356

ISBN 13

9781040089354

Book's by Marco Berardini

Programming Language Explorations

Programming Language Explorations

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Programming Language Explorations

Programming Language Explorations

Username

Password

Username

Password

Password again

Birthday

Email