Filter by
Speaking Code: Coding as Aesthetic and Political Expression
Speaking Code begins by invoking the "Hello World" convention used by programmers when learning a new language, helping to establish the interplay of text and code that runs through the book. Interweaving the voice of critical writing from the humanities with the tradition of computing and software development, in Speaking Code Geoff Cox formulates an argument that aims to undermine the distinc…
- Edição
- -
- ISBN/ISSN
- 9780262305228
- Paginação
- 1 online resource (xv, 149 pages) :illustrations.
- Título da série
- -
- Número de chamada
- -
Generating language-based environments
"An MIT Press classic."Facsim. of ed. originally published: ?1984.This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar fra…
- Edição
- -
- ISBN/ISSN
- 0262256851
- Paginação
- 1 online resource (138 pages)
- Título da série
- -
- Número de chamada
- 005 REP g
The Formal Semantics of Programming Languages: An Introduction
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
- Edição
- -
- ISBN/ISSN
- 9780262291453
- Paginação
- 1 online resource (xviii, 361 pages) :illustrations.
- Título da série
- -
- Número de chamada
- -
Software studies : A Lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.
- Edição
- -
- ISBN/ISSN
- -
- Paginação
- 1 online resource (xii, 334 pages) : illustrations.
- Título da série
- -
- Número de chamada
- -
Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural a…
Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
- Edição
- -
- ISBN/ISSN
- 9780262283519
- Paginação
- 1 online resource (xi, 183 pages) :illustrations
- Título da série
- -
- Número de chamada
- -
Advanced topics in types and programming languages
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 touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
- Edição
- -
- ISBN/ISSN
- 9780262281591
- Paginação
- 1 online resource (xiii, 574 pages) :illustrations
- Título da série
- -
- Número de chamada
- -
Regulating Code: Good Governance and Better Regulation in the Information Age
The case for a smarter “prosumer law” approach to Internet regulation that would better protect online innovation, public safety, and fundamental democratic rights. Internet use has become ubiquitous in the past two decades, but governments, legislators, and their regulatory agencies have struggled to keep up with the rapidly changing Internet technologies and uses. In this groundbreakin…
- Edição
- -
- ISBN/ISSN
- 9780262312943
- Paginação
- -
- Título da série
- -
- Número de chamada
- -
Coding literacy how computer programming is changing writing
The message from educators, the tech community, and even politicians is clear: everyone should learn to code. To emphasize the universality and importance of computer programming, promoters of coding for everyone often invoke the concept of "literacy," drawing parallels between reading and writing code and reading and writing text. In this book, Annette Vee examines the coding-as-literacy analo…
- Edição
- -
- ISBN/ISSN
- 9780262340236
- Paginação
- 1 online resource (xi, 361 pages) :illustrations, maps.
- Título da série
- -
- Número de chamada
- -
Critical code studies :initial methods
"Critical Code Studies (CCS) names a set of methodologies for the exploration of computer source code using the hermeneutics of the humanities. Like 10 PRINT CHR$ (205.5 + RND (1)); : GOTO 10, Mark Marino's Critical Code Studies treats code not as merely functional but as a text, one that can be read, and misinterpreted, by non-programmers. As the author notes, code's "meaning is not determined…
- Edição
- -
- ISBN/ISSN
- 9780262357425
- Paginação
- 1 online resource.
- Título da série
- -
- Número de chamada
- -
Software studies :a lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.OCLC-licensed vendor bibliographic record.
- Edição
- -
- ISBN/ISSN
- 9780262273343
- Paginação
- 1 online resource (xii, 334 pages) :illustrations.
- Título da série
- -
- Número de chamada
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Idioma 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography