Abstracting Away the Machine

Abstracting Away the Machine

Author: Mark Jones Lorenzo

Publisher: Independently Published

Published: 2019-08-22

Total Pages: 326

ISBN-13: 9781082395949

DOWNLOAD EBOOK

At the dawn of the computer age, an elite development team at IBM built the most influential computer programming language in history: FORTRAN. Abstracting Away the Machine tells the epic story of how they did it--and what happened next. Over the past six decades, programming languages like ALGOL, BASIC, C/C++, COBOL, Java, LISP, LOGO, Pascal, PL/I, Python, Visual Basic, and many others opened up the field of computer science, and of computer programming in general, to the masses. But all of these high-level languages (HLLs)--computer languages that automate, hide, or otherwise abstract away the underlying operations of the machine--owe a huge debt of gratitude to FORTRAN (FORmula TRANslation), the first HLL to achieve widespread adoption. Many programming practices that we take for granted now came about as a result of FORTRAN. Created over a three-year period at IBM by a development team led by a brilliant but wayward mathematician named John W. Backus, FORTRAN was implemented initially on the IBM 704 mainframe computer in the mid-1950s, with dialects of the language quickly spreading thereafter to other platforms. FORTRAN's powerful compiler, which translated human-readable code into code a computer could understand, produced incredibly clean and optimized standalone executable programs, all of which could be run independently of the compiler, setting the standard for decades to come--and overcoming the doubts of many skeptics along the way, who thought the FORTRAN project would never succeed. In the 1960s the language was standardized, with machine-dependent commands excised, and many platform-independent implementations followed. With the language now portable, able to run on any computer (at least in theory), FORTRAN, almost by accident, secured a stranglehold in the fields of science and engineering. The language also came to dominate in the supercomputing industry. But FORTRAN, a blue-collar workhorse more concerned with results than with style, was a victim of its own success--the language sowed the seeds of its own demise. New high-level languages sprouted up, stealing the good bits from FORTRAN while simultaneously defining themselves in opposition to it. FORTRAN had become the foil. As these new languages pierced the cutting edge of the programming landscape, they redefined computing paradigms (e.g., with structured programming, object-oriented programming, and the like), and FORTRAN--though eventually (and repeatedly) modernized and formally renamed Fortran--struggled to keep up through multiple standardization efforts, finally ceding significant ground to its successors as it slowly withdrew from the spotlight. To add insult to injury, even John Backus eventually turned against his creation. This is not a book on how to program in FORTRAN, nor is it a technical manual. Rather, the focus in Abstracting Away the Machine, which chronicles the complete history and development of the FORTRAN programming language, is set squarely on telling three interlocking stories: (1) How an elite group of computing trailblazers built FORTRAN, (2) Why the conditions at the time were ripe for them to succeed, and (3) What happened after they did. Tracing the long arc of FORTRAN's development and maturation is integral to understanding not only the history of programming but also the state of computer science today. The birth of FORTRAN planted a seed that led to the full flowering of high-level languages, since FORTRAN overcame initial skepticism by demonstrating to the world that a well-made HLL really could abstract away the machine.


Book Synopsis Abstracting Away the Machine by : Mark Jones Lorenzo

Download or read book Abstracting Away the Machine written by Mark Jones Lorenzo and published by Independently Published. This book was released on 2019-08-22 with total page 326 pages. Available in PDF, EPUB and Kindle. Book excerpt: At the dawn of the computer age, an elite development team at IBM built the most influential computer programming language in history: FORTRAN. Abstracting Away the Machine tells the epic story of how they did it--and what happened next. Over the past six decades, programming languages like ALGOL, BASIC, C/C++, COBOL, Java, LISP, LOGO, Pascal, PL/I, Python, Visual Basic, and many others opened up the field of computer science, and of computer programming in general, to the masses. But all of these high-level languages (HLLs)--computer languages that automate, hide, or otherwise abstract away the underlying operations of the machine--owe a huge debt of gratitude to FORTRAN (FORmula TRANslation), the first HLL to achieve widespread adoption. Many programming practices that we take for granted now came about as a result of FORTRAN. Created over a three-year period at IBM by a development team led by a brilliant but wayward mathematician named John W. Backus, FORTRAN was implemented initially on the IBM 704 mainframe computer in the mid-1950s, with dialects of the language quickly spreading thereafter to other platforms. FORTRAN's powerful compiler, which translated human-readable code into code a computer could understand, produced incredibly clean and optimized standalone executable programs, all of which could be run independently of the compiler, setting the standard for decades to come--and overcoming the doubts of many skeptics along the way, who thought the FORTRAN project would never succeed. In the 1960s the language was standardized, with machine-dependent commands excised, and many platform-independent implementations followed. With the language now portable, able to run on any computer (at least in theory), FORTRAN, almost by accident, secured a stranglehold in the fields of science and engineering. The language also came to dominate in the supercomputing industry. But FORTRAN, a blue-collar workhorse more concerned with results than with style, was a victim of its own success--the language sowed the seeds of its own demise. New high-level languages sprouted up, stealing the good bits from FORTRAN while simultaneously defining themselves in opposition to it. FORTRAN had become the foil. As these new languages pierced the cutting edge of the programming landscape, they redefined computing paradigms (e.g., with structured programming, object-oriented programming, and the like), and FORTRAN--though eventually (and repeatedly) modernized and formally renamed Fortran--struggled to keep up through multiple standardization efforts, finally ceding significant ground to its successors as it slowly withdrew from the spotlight. To add insult to injury, even John Backus eventually turned against his creation. This is not a book on how to program in FORTRAN, nor is it a technical manual. Rather, the focus in Abstracting Away the Machine, which chronicles the complete history and development of the FORTRAN programming language, is set squarely on telling three interlocking stories: (1) How an elite group of computing trailblazers built FORTRAN, (2) Why the conditions at the time were ripe for them to succeed, and (3) What happened after they did. Tracing the long arc of FORTRAN's development and maturation is integral to understanding not only the history of programming but also the state of computer science today. The birth of FORTRAN planted a seed that led to the full flowering of high-level languages, since FORTRAN overcame initial skepticism by demonstrating to the world that a well-made HLL really could abstract away the machine.

IBM's 360 and Early 370 Systems

IBM's 360 and Early 370 Systems

Author: Emerson W. Pugh

Publisher: MIT Press

Published: 1991

Total Pages: 860

ISBN-13: 9780262161237

DOWNLOAD EBOOK

No product offering has had greater impact on the computer industry than the IBM System/360. This book describes the creation of this remarkable system and the developments it spawned, including its successor, System/370.


Book Synopsis IBM's 360 and Early 370 Systems by : Emerson W. Pugh

Download or read book IBM's 360 and Early 370 Systems written by Emerson W. Pugh and published by MIT Press. This book was released on 1991 with total page 860 pages. Available in PDF, EPUB and Kindle. Book excerpt: No product offering has had greater impact on the computer industry than the IBM System/360. This book describes the creation of this remarkable system and the developments it spawned, including its successor, System/370.

Out of Their Minds

Out of Their Minds

Author: Clifford D. Simak

Publisher: Open Road Media

Published: 2015-07-21

Total Pages: 162

ISBN-13: 1504013263

DOWNLOAD EBOOK

A writer finds himself trapped in an isolated village where anything imagined becomes reality in this wildly inventive contemporary fantasy Hoping to write his book in quiet and seclusion, Horton Smith has returned home to Pilot Knob. Here, in the tiny village where he passed so many carefree childhood years, he is untroubled by the pressures of the big city and can freely answer the call of his muse. Of course, back in the city Horton didn’t have to run from dinosaurs. There were no cartoon hillbillies offering him moonshine, Don Quixote was content to confine himself to the pages of a book, and the Devil himself was not on Horton’s tail. Something very, very unusual is going on in Pilot Knob, and Horton Smith is determined to get to the bottom of it—if his own imagination doesn’t kill him first! In Out of Their Minds, science fiction Grand Master Clifford D. Simak changes gears, treating his readers to a delightfully satiric flight of fancy and fantasy. An award-winning author renowned for his remarkable visions of the future, Simak brings creatures and characters from humankind’s collective imagination to breathtaking life in this fast-moving and unforgettable tale.


Book Synopsis Out of Their Minds by : Clifford D. Simak

Download or read book Out of Their Minds written by Clifford D. Simak and published by Open Road Media. This book was released on 2015-07-21 with total page 162 pages. Available in PDF, EPUB and Kindle. Book excerpt: A writer finds himself trapped in an isolated village where anything imagined becomes reality in this wildly inventive contemporary fantasy Hoping to write his book in quiet and seclusion, Horton Smith has returned home to Pilot Knob. Here, in the tiny village where he passed so many carefree childhood years, he is untroubled by the pressures of the big city and can freely answer the call of his muse. Of course, back in the city Horton didn’t have to run from dinosaurs. There were no cartoon hillbillies offering him moonshine, Don Quixote was content to confine himself to the pages of a book, and the Devil himself was not on Horton’s tail. Something very, very unusual is going on in Pilot Knob, and Horton Smith is determined to get to the bottom of it—if his own imagination doesn’t kill him first! In Out of Their Minds, science fiction Grand Master Clifford D. Simak changes gears, treating his readers to a delightfully satiric flight of fancy and fantasy. An award-winning author renowned for his remarkable visions of the future, Simak brings creatures and characters from humankind’s collective imagination to breathtaking life in this fast-moving and unforgettable tale.

Endless Loop

Endless Loop

Author: Mark Jones Lorenzo

Publisher:

Published: 2017-08-22

Total Pages: 190

ISBN-13: 9781974277070

DOWNLOAD EBOOK

"Endless Loop" chronicles the complete history of the BASIC programming language--from its humble beginnings at Dartmouth College, to its widespread adoption and dominance in education, to its decline and subsequent modern rebirth.In the early morning hours of May 1, 1964, Dartmouth College birthed fraternal twins: BASIC, the Beginner's All-purpose Symbolic Instruction Code programming language, and, simultaneously, the Dartmouth Time-Sharing System (DTSS). It hadn't been an easy birth, and the gestation period was likewise difficult. BASIC was primarily the idea of one man, mathematics professor John Kemeny, a brilliant Hungarian mathematician who had once been an assistant to Albert Einstein, while the DTSS satisfied the vision of another, mathematics and statistics professor Thomas Kurtz, who had brought a democratizing spirit to Dartmouth's campus in the form of free computing for all.BASIC and DTSS caught on at Dartmouth quickly, with a vast majority of undergraduates (and faculty) making use of the computer system via teletypewriters only several years after its inception. But by the early 1970s, with the personal computer revolution fast approaching, Kemeny and Kurtz began to lose control over BASIC as it achieved widespread popularity outside of Dartmouth. The language was being adapted to run on a wide variety of computers, some much too short of memory to contain the full set of Dartmouth BASIC features. Most notably, Microsoft built its business on the back of ROM-based BASIC interpreters for a variety of microcomputers. Although the language was ubiquitous in schools by the early 1980s, it came under attack by such notables as computer scientist Edsger W. Dijkstra for its lack of structure as well as by Kemeny and Kurtz themselves, who viewed non-Dartmouth "Street BASIC" as blasphemous and saw it as their mission to right the ship through language standardization and the release of True BASIC. But by then it was too late: the era of BASIC's global dominance was over.In "Endless Loop," author Mark Jones Lorenzo documents the history and development of Dartmouth BASIC, True BASIC, Tiny BASIC, Microsoft BASIC--including Altair BASIC, Applesoft BASIC, Color BASIC, Commodore BASIC, TRS-80 Level II BASIC, TI BASIC, IBM BASICA/GW-BASIC, QuickBASIC/QBASIC, Visual Basic, and Small Basic--as well as 9845 BASIC, Atari BASIC, BBC BASIC, CBASIC, Locomotive BASIC, MacBASIC, QB64, Simons' BASIC, Sinclair BASIC, SuperBASIC, and Turbo Basic/PowerBASIC, among a number of other implementations.The ascendance of BASIC paralleled the emergence of the personal computer, so the story of BASIC is first and foremost a story--actually, many interlocking stories--about computers. But it is also a tale of talented people who built a language out of a set of primal ingredients: sweat, creativity, rivalry, jealousy, cooperation, and plain hard work, and then set the language loose in a world filled with unintended consequences. How those unintended consequences played out, leading to the demise of the most popular computer language the world has ever known, is the focus of "Endless Loop."


Book Synopsis Endless Loop by : Mark Jones Lorenzo

Download or read book Endless Loop written by Mark Jones Lorenzo and published by . This book was released on 2017-08-22 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Endless Loop" chronicles the complete history of the BASIC programming language--from its humble beginnings at Dartmouth College, to its widespread adoption and dominance in education, to its decline and subsequent modern rebirth.In the early morning hours of May 1, 1964, Dartmouth College birthed fraternal twins: BASIC, the Beginner's All-purpose Symbolic Instruction Code programming language, and, simultaneously, the Dartmouth Time-Sharing System (DTSS). It hadn't been an easy birth, and the gestation period was likewise difficult. BASIC was primarily the idea of one man, mathematics professor John Kemeny, a brilliant Hungarian mathematician who had once been an assistant to Albert Einstein, while the DTSS satisfied the vision of another, mathematics and statistics professor Thomas Kurtz, who had brought a democratizing spirit to Dartmouth's campus in the form of free computing for all.BASIC and DTSS caught on at Dartmouth quickly, with a vast majority of undergraduates (and faculty) making use of the computer system via teletypewriters only several years after its inception. But by the early 1970s, with the personal computer revolution fast approaching, Kemeny and Kurtz began to lose control over BASIC as it achieved widespread popularity outside of Dartmouth. The language was being adapted to run on a wide variety of computers, some much too short of memory to contain the full set of Dartmouth BASIC features. Most notably, Microsoft built its business on the back of ROM-based BASIC interpreters for a variety of microcomputers. Although the language was ubiquitous in schools by the early 1980s, it came under attack by such notables as computer scientist Edsger W. Dijkstra for its lack of structure as well as by Kemeny and Kurtz themselves, who viewed non-Dartmouth "Street BASIC" as blasphemous and saw it as their mission to right the ship through language standardization and the release of True BASIC. But by then it was too late: the era of BASIC's global dominance was over.In "Endless Loop," author Mark Jones Lorenzo documents the history and development of Dartmouth BASIC, True BASIC, Tiny BASIC, Microsoft BASIC--including Altair BASIC, Applesoft BASIC, Color BASIC, Commodore BASIC, TRS-80 Level II BASIC, TI BASIC, IBM BASICA/GW-BASIC, QuickBASIC/QBASIC, Visual Basic, and Small Basic--as well as 9845 BASIC, Atari BASIC, BBC BASIC, CBASIC, Locomotive BASIC, MacBASIC, QB64, Simons' BASIC, Sinclair BASIC, SuperBASIC, and Turbo Basic/PowerBASIC, among a number of other implementations.The ascendance of BASIC paralleled the emergence of the personal computer, so the story of BASIC is first and foremost a story--actually, many interlocking stories--about computers. But it is also a tale of talented people who built a language out of a set of primal ingredients: sweat, creativity, rivalry, jealousy, cooperation, and plain hard work, and then set the language loose in a world filled with unintended consequences. How those unintended consequences played out, leading to the demise of the most popular computer language the world has ever known, is the focus of "Endless Loop."

IBM's Early Computers

IBM's Early Computers

Author: Charles J. Bashe

Publisher: Mit Press

Published: 1985-12-03

Total Pages: 735

ISBN-13: 9780262523936

DOWNLOAD EBOOK

The challenges faced by IBM's research and development laboratories, the technological paths they chose, and how these choices affected the company and the computer industry.


Book Synopsis IBM's Early Computers by : Charles J. Bashe

Download or read book IBM's Early Computers written by Charles J. Bashe and published by Mit Press. This book was released on 1985-12-03 with total page 735 pages. Available in PDF, EPUB and Kindle. Book excerpt: The challenges faced by IBM's research and development laboratories, the technological paths they chose, and how these choices affected the company and the computer industry.

Abstract Machine Models for Parallel and Distributed Computing

Abstract Machine Models for Parallel and Distributed Computing

Author: M. Kara

Publisher: IOS Press

Published: 1996

Total Pages: 236

ISBN-13: 9789051992670

DOWNLOAD EBOOK

Abstract Machine Models have played a profound though frequently unacknowledged role in the development of modern computing systems. They provide a precise definition of vital concepts, allow system complexity to be managed by providing appropriate views of the activity under consideration, enable reasoning about the correctness and quantitative performance of proposed problem solutions, and encourage communication through a common medium of expression. Abstract Models in Parallel and Distributed computing have a particularly important role in the development of contemporary systems, encapsulating and controlling an inherently high degree of complexity. The Parallel and Distributed computing communities have traditionally considered themselves to be separate. However, there is a significant contemporary interest in both of these communities in a common hardware model; a set of workstation-class machines connected by a high-performance network. The traditional Parallel/Distributed distinction therefore appears under threat.


Book Synopsis Abstract Machine Models for Parallel and Distributed Computing by : M. Kara

Download or read book Abstract Machine Models for Parallel and Distributed Computing written by M. Kara and published by IOS Press. This book was released on 1996 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract Machine Models have played a profound though frequently unacknowledged role in the development of modern computing systems. They provide a precise definition of vital concepts, allow system complexity to be managed by providing appropriate views of the activity under consideration, enable reasoning about the correctness and quantitative performance of proposed problem solutions, and encourage communication through a common medium of expression. Abstract Models in Parallel and Distributed computing have a particularly important role in the development of contemporary systems, encapsulating and controlling an inherently high degree of complexity. The Parallel and Distributed computing communities have traditionally considered themselves to be separate. However, there is a significant contemporary interest in both of these communities in a common hardware model; a set of workstation-class machines connected by a high-performance network. The traditional Parallel/Distributed distinction therefore appears under threat.

Everlasting Code

Everlasting Code

Author: Mark Jones Lorenzo

Publisher: Independently Published

Published: 2021-08-22

Total Pages: 512

ISBN-13:

DOWNLOAD EBOOK

Grace Hopper's remarkable innovations in computing led to COBOL, which for decades was the most widely used programming language in the world. Everlasting Code offers an in-depth look at Hopper's work, while also chronicling the entire history of COBOL. The development of COBOL (COmmon Business-Oriented Language) was the strangest, wildest, and most dramatic story in the early history of computing. Everlasting Code covers it all, from Grace Hopper's pioneering work with compilers to the many contentious committee meetings that repeatedly put the birth of the language in jeopardy; from the race to build the world's first COBOL compiler to the numerous standardization efforts; and from the Y2K bug to the COVID-19 pandemic, times when public scapegoating of COBOL shifted into high gear. Even though it was the work of a committee and she was only indirectly involved in its creation, COBOL has Grace Hopper's fingerprints all over it. Therefore, since Everlasting Code tells two interrelated stories (that of Hopper's breakthroughs as well as the history of COBOL), the book is split into two parts. In the first part, we meet one of the most prolific computer scientists of the twentieth century and examine how Hopper's varied life experiences--as a student, professor, military officer, and programmer--led to her revolutionary ideas, setting the stage for the birth of COBOL. Hopper developed some of the earliest working compilers--programs that translated human-readable source code into machine code, a language computers could make sense of--including MATH-MATIC, for algebraic problems, and FLOW-MATIC, for data processing. Source code for Hopper's compilers had to be written in a form of everyday English, which proved eminently readable to some people and endlessly frustrating for others. FLOW-MATIC was the key influence for COBOL, as we discover in the second part of Everlasting Code. By the late 1950s, with the FORTRAN programming language dominating the engineering, scientific, and mathematical landscape, the need for a corresponding business data-processing language emerged. With Grace Hopper's full support, in early 1959 a programmer named Mary Hawes publicly suggested developing an industrywide common business language (CBL) capable of running the same programs on different computers. Thanks to Hopper's many government and military connections, the U.S. Department of Defense sponsored the CBL effort, taking the unprecedented step of bringing together many competing manufacturers and computer users for a high-stakes meeting at the Pentagon. Before long, subcommittees of CODASYL (the Committee on Data Systems Languages, which was formed to write the CBL) were at war with each other. Meanwhile, the chairman of CODASYL received a mysterious crated package. Inside was a tombstone with a reclining lamb statuette at the top and a single word engraved on the front: COBOL. Was this intended as a threat? Did someone want the language dead? Or was the tombstone merely delivering a warning: That if CODASYL couldn't get its act together, COBOL was sure to die an early death? Author Mark Jones Lorenzo takes you behind the scenes and inside the meeting rooms where the fate of a programming language hung in the balance. Filled with intrigue, conflict, suspense, drama, technical details, and the biographies of many larger-than-life personalities, Everlasting Code traces the precedents, the development, and the history of the COBOL programming language, which came to rule the world.


Book Synopsis Everlasting Code by : Mark Jones Lorenzo

Download or read book Everlasting Code written by Mark Jones Lorenzo and published by Independently Published. This book was released on 2021-08-22 with total page 512 pages. Available in PDF, EPUB and Kindle. Book excerpt: Grace Hopper's remarkable innovations in computing led to COBOL, which for decades was the most widely used programming language in the world. Everlasting Code offers an in-depth look at Hopper's work, while also chronicling the entire history of COBOL. The development of COBOL (COmmon Business-Oriented Language) was the strangest, wildest, and most dramatic story in the early history of computing. Everlasting Code covers it all, from Grace Hopper's pioneering work with compilers to the many contentious committee meetings that repeatedly put the birth of the language in jeopardy; from the race to build the world's first COBOL compiler to the numerous standardization efforts; and from the Y2K bug to the COVID-19 pandemic, times when public scapegoating of COBOL shifted into high gear. Even though it was the work of a committee and she was only indirectly involved in its creation, COBOL has Grace Hopper's fingerprints all over it. Therefore, since Everlasting Code tells two interrelated stories (that of Hopper's breakthroughs as well as the history of COBOL), the book is split into two parts. In the first part, we meet one of the most prolific computer scientists of the twentieth century and examine how Hopper's varied life experiences--as a student, professor, military officer, and programmer--led to her revolutionary ideas, setting the stage for the birth of COBOL. Hopper developed some of the earliest working compilers--programs that translated human-readable source code into machine code, a language computers could make sense of--including MATH-MATIC, for algebraic problems, and FLOW-MATIC, for data processing. Source code for Hopper's compilers had to be written in a form of everyday English, which proved eminently readable to some people and endlessly frustrating for others. FLOW-MATIC was the key influence for COBOL, as we discover in the second part of Everlasting Code. By the late 1950s, with the FORTRAN programming language dominating the engineering, scientific, and mathematical landscape, the need for a corresponding business data-processing language emerged. With Grace Hopper's full support, in early 1959 a programmer named Mary Hawes publicly suggested developing an industrywide common business language (CBL) capable of running the same programs on different computers. Thanks to Hopper's many government and military connections, the U.S. Department of Defense sponsored the CBL effort, taking the unprecedented step of bringing together many competing manufacturers and computer users for a high-stakes meeting at the Pentagon. Before long, subcommittees of CODASYL (the Committee on Data Systems Languages, which was formed to write the CBL) were at war with each other. Meanwhile, the chairman of CODASYL received a mysterious crated package. Inside was a tombstone with a reclining lamb statuette at the top and a single word engraved on the front: COBOL. Was this intended as a threat? Did someone want the language dead? Or was the tombstone merely delivering a warning: That if CODASYL couldn't get its act together, COBOL was sure to die an early death? Author Mark Jones Lorenzo takes you behind the scenes and inside the meeting rooms where the fate of a programming language hung in the balance. Filled with intrigue, conflict, suspense, drama, technical details, and the biographies of many larger-than-life personalities, Everlasting Code traces the precedents, the development, and the history of the COBOL programming language, which came to rule the world.

Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex

Author: Matthias Felleisen

Publisher: MIT Press

Published: 2009-07-10

Total Pages: 515

ISBN-13: 0262062755

DOWNLOAD EBOOK

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.


Book Synopsis Semantics Engineering with PLT Redex by : Matthias Felleisen

Download or read book Semantics Engineering with PLT Redex written by Matthias Felleisen and published by MIT Press. This book was released on 2009-07-10 with total page 515 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Abstracting Craft

Abstracting Craft

Author: Malcolm McCullough

Publisher: MIT Press

Published: 1998

Total Pages: 336

ISBN-13: 9780262631891

DOWNLOAD EBOOK

In this investigation of the possibility of craft in the digital realm, the author discusses the emergence of computation as a medium, rather than just a set of tools, suggesting a growing correspondence between digital work and traditional craft.


Book Synopsis Abstracting Craft by : Malcolm McCullough

Download or read book Abstracting Craft written by Malcolm McCullough and published by MIT Press. This book was released on 1998 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this investigation of the possibility of craft in the digital realm, the author discusses the emergence of computation as a medium, rather than just a set of tools, suggesting a growing correspondence between digital work and traditional craft.

How to Design Programs, second edition

How to Design Programs, second edition

Author: Matthias Felleisen

Publisher: MIT Press

Published: 2018-05-25

Total Pages: 793

ISBN-13: 0262344122

DOWNLOAD EBOOK

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.


Book Synopsis How to Design Programs, second edition by : Matthias Felleisen

Download or read book How to Design Programs, second edition written by Matthias Felleisen and published by MIT Press. This book was released on 2018-05-25 with total page 793 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.