Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Mills, Bruce (19..-.... ; informaticien)
Mills, Bruce (19..-.... ; informaticien)
Titre(s) : Theoretical introduction to programming [Texte électronique] / Bruce Mills
Publication : London : Springer, cop. 2006
Description matérielle : 1 online resource (xi, 358 pages)
Note(s) : Includes bibliographical references (pages 351-352) and index. - Print version record.
Is there nothing more to programming? How can you develop your skill if all you do
is hunt for the prescribed routine in a menu of 1001 others? Are you frustrated by
the plethora of languages that ultimately do the same thing? Would you like your skills
to give you lasting and intrinsic worth as an expert programmer, instead of going
stale like last week's bread? Would you like to know more about the nature and limits
of programming? Can code be written so that it is intrinsically robust? Written rapidly
without sacrificing reliability? Written generically without iterative loops, without
recursion, or even variables? This book shows you how. Densely packed with explicit
techniques on each page, this book takes you from a rudimentary understanding of programming
into the world of deep technical software development. It is demonstrated that most
of the important features of modern languages are derived from deeper concepts that
change much more slowly than computer languages. A small representative collection
of languages (such as C, Java, Scheme, Prolog and Haskell) is used to show that paradigms
are largely language independent. The effort of programming can occur separately,
and then be molded in detail to fit the language at hand. Bruce Mills has been teaching
and practicing programming in industry and academia for two decades. His experience
covers the spectrum in languages and applications. He brings to this book his love
of programming and a desire to encourage robust and yet creative engagement with computer
languages
Sujet(s) : Programmation (informatique)
Informatique
Indice(s) Dewey :
005.1 (23e éd.) = Développement de logiciels
Identifiants, prix et caractéristiques : ISBN 9781846282638
Identifiant de la notice : ark:/12148/cb446702095
Notice n° :
FRBNF44670209
(notice reprise d'un réservoir extérieur)
Table des matières : The Abstract Rational Outlook ; A Grab Bag of Computational Models ; Some Formal
Technology ; Limitations on Exact Knowledge ; Some Orthodox Languages ; Arithmetic
Computation ; Repetitive Computation ; Temporal Interaction ; Container Datatypes.
