Results by title
3 books match the query 'Programming languages (Electronic computers)'
A Paradigm for Program Semantics
Chris Brink and Ingrid Rewitsky
CSLI, 2001
This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.
[more]
The Tbilisi Symposium on Logic, Language and Computation
Selected PapersEdited by Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévy,
CSLI, 1998
This volume brings together papers from linguists, logicians, and computer scientists from thirteen countries (Armenia, Denmark, France, Georgia, Germany, Israel, Italy, Japan, Poland, Spain, Sweden, UK, and USA). This collection aims to serve as a catalyst for new interdisciplinary developments in language, logic and computation and to introduce new ideas from the expanded European academic community. Spanning a wide range of disciplines, the papers cover such topics as formal semantics of natural language, dynamic semantics, channel theory, formal syntax of natural language, formal language theory, corpus-based methods in computational linguistics, computational semantics, syntactic and semantic aspects of l-calculus, non-classical logics, and a fundamental problem in predicate logic.
[more]
Éléments pour une histoire de l'informatique
Donald E. Knuth
CSLI, 2011
This translation focuses on publications by Donald E. Knuth, one of the world’s leading computer programmers, that were addressed primarily to a general audience rather than to specialists. These fifteen papers discuss the history of computer science from ancient Babylon to modern times and survey the field of computer science and the nature of algorithms.
[more]