Cargando…

Theoretical Introduction to Programming

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mills, Bruce Ian (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-1-84628-263-8
003 DE-He213
005 20220119105249.0
007 cr nn 008mamaa
008 100301s2006 xxk| s |||| 0|eng d
020 |a 9781846282638  |9 978-1-84628-263-8 
024 7 |a 10.1007/1-84628-263-2  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
100 1 |a Mills, Bruce Ian.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Theoretical Introduction to Programming  |h [electronic resource] /  |c by Bruce Ian Mills. 
250 |a 1st ed. 2006. 
264 1 |a London :  |b Springer London :  |b Imprint: Springer,  |c 2006. 
300 |a XI, 358 p. 29 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a 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. 
520 |a 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. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 0 |a Computer science. 
650 0 |a Machine theory. 
650 1 4 |a Software Engineering. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Compilers and Interpreters. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Theory of Computation. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9781848004078 
776 0 8 |i Printed edition:  |z 9781846280214 
856 4 0 |u https://doi.uam.elogim.com/10.1007/1-84628-263-2  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)