Software Languages

Download Software Languages full books in PDF, epub, and Kindle. Read online free Software Languages ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Software Languages

Software Languages
Author :
Publisher : Springer
Total Pages : 448
Release :
ISBN-10 : 9783319908007
ISBN-13 : 3319908006
Rating : 4/5 (006 Downloads)

Book Synopsis Software Languages by : Ralf Lämmel

Download or read book Software Languages written by Ralf Lämmel and published by Springer. This book was released on 2018-05-17 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It presents software languages primarily from a software engineering perspective, i.e., it addresses how to parse, analyze, transform, generate, format, and otherwise process software artifacts in different software languages, as they appear in software development. To this end, it covers a wide range of software languages – most notably programming languages, domain-specific languages, modeling languages, exchange formats, and specifically also language definition languages. Further, different languages are leveraged to illustrate software language engineering concepts and techniques. The functional programming language Haskell dominates the book, while the mainstream programming languages Python and Java are additionally used for illustration. By doing this, the book collects and organizes scattered knowledge from software language engineering, focusing on application areas such as software analysis (software reverse engineering), software transformation (software re-engineering), software composition (modularity), and domain-specific languages. It is designed as a textbook for independent study as well as for bachelor’s (advanced level) or master’s university courses in Computer Science. An additional website provides complementary material, for example, lecture slides and videos. This book is a valuable resource for anyone wanting to understand the fundamental concepts and important engineering principles underlying software languages, allowing them to acquire much of the operational intelligence needed for dealing with software languages in software development practice. This is an important skill set for software engineers, as languages are increasingly permeating software development.


Software Languages Related Books

Software Languages
Language: en
Pages: 448
Authors: Ralf Lämmel
Categories: Computers
Type: BOOK - Published: 2018-05-17 - Publisher: Springer

DOWNLOAD EBOOK

This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software dev
Programming Languages ABC++
Language: en
Pages:
Authors: Michael Dowden
Categories:
Type: BOOK - Published: 2015-09-01 - Publisher:

DOWNLOAD EBOOK

Types and Programming Languages
Language: en
Pages: 646
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
Advanced Topics in Types and Programming Languages
Language: en
Pages: 589
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2024-07-02 - Publisher: MIT Press

DOWNLOAD EBOOK

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now
Practical Foundations for Programming Languages
Language: en
Pages: 513
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.