Introduction to Programming using SML (International Computer Science Series)

3 valoración promedio
( 11 valoraciones por Goodreads )
 
9780201398205: Introduction to Programming using SML (International Computer Science Series)

Introduction to Programming using SML provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to put the theory of programming into practice. The examples and exercises teach the student how to apply basic theoretical concepts to produce succinct and elegant programs and program designs.Coverage includes an introduction to fundamental data structures and their applications. The notions of binding, environment, store, closure and evaluation are introduced in order to explain the meaning of programs in an informal but precise way. Thus, the authors provide the reader with a set of durable programming concepts which will exist well into the next generation of programming languages.

"Sinopsis" puede pertenecer a otra edición de este libro.

From the Inside Flap:

The topics of this book are programming and program design. The contents are used in the introductory programming course in the Informatics Programme at the Technical University of Denmark. This is the first course on programming that many of the students attend. The contents are furthermore used in a programming course for electrical engineers in a later semester. The emphasis is on programming and program design with a systematic use of lists, trees, sets and tables to build models and programs. The book does not cover efficient implementations using specialized representations of these data structures, as this topic is covered in other textbooks on 'algorithms and data structures'.

It is a goal of the book to bring theory to practical use. The examples and exercises in the book teach the student how to use basic, theoretically well-understood, concepts from computer science in problem solving in order to achieve succinct and elegant programs and program designs which can be communicated to other people. The book does, however, avoid formalistic explanations of the theory. Fundamental concepts such as bindings of identifiers and environments are explained in an informal but precise way such that the students get the right intuitive understanding. The presented concepts are programming language independent, and the book is therefore a general book on programming.

Throughout the book we use Standard ML (abbreviated SML) as the programming language. The reasons for this choice are:

The language is very powerful in expressing structured data as well as computations on such data. This enables students to solve interesting problems from the very beginning of the course.

The different SML systems have a simple interactive interface to the user. This allows us to downplay the role of I/O while solving difficult problems in a brief and elegant way.

The language is close to common mathematical notation. This means that it is not very hard for students to learn the syntax of programs.

There is an extensive standard library, and there are several SML systems running on a number of platforms.

The language has a complete, formal semantics. Based on this formal semantics, we give a clear (informal) semantics of the programming language constructs, so that students can appreciate a language with a well-defined semantics.

We use the Moscow ML system in our course, which has turned out to be a fast and very reliable system with moderate resource demands. The SML-mode of the Emacs editor gives a pleasant environment where the user can easily switch between program editing, compilation and program runs. The students can get the system on their own PC so that they can use the system in their home work. The distribution of the system is easy as a complete ML system for a PC can be housed on a single floppy disk.

The chapters of the book are: Getting started Basic values and operators Tuples and records Problem solving I Lists Problem solving II Tagged values and partial functions Finite trees Higher-order functions Finite sets Modules Tables Problem solving III Input/output in SML Interactive programs Problem solving IV Iteration Imperative programming

The main organization of the first 12 chapters follows the data types: simple types, tuples, lists, trees, sets and tables -with the associated operators. Applications of these types, with associated operators, are illustrated through a large collection of interesting programming problems.

The chapters on 'problem solving' define a standard way of writing down the solution to a programming problem. This standard emphasizes specification of interfaces by means of signatures as described in Chapter 11 on the module system of SML.

The chapter on interactive programming introduces the concepts of I/O actions and dialogue automata for designing such programs, and this is supplemented by the notion of abstract syntax for commands in the following chapter: 'Problem solving IV'.

The chapter on iteration gives a few basic techniques, which iii some cases can give more efficient implementations. The last chapter introduces various aspects of imperative programming and imperative-data structures, together with the imperative operators. The book has the following appendices: SML systems Overview of Standard ML Overview of the SML module system Selected parts of the SML basis library Modules of sets and tables The ASCII alphabet Further reading

Appendix A gives pointers to where to find information about existing SML systems. Appendices B and C give an overview of the SML language. The description is based on the mathematical semantics of SML, but it is presented in an informal way. Appendix D is a reference to selected parts of the Standard ML Basis Library. Appendix E contains modules for sets and tables which are used in main text. Appendix F gives a table of the ASCII alphabet. Appendix G contains some references for further reading. The following WWW pages describe how we use the book in our course: it.dtu.dk/introSML Acknowledgments

We have received numerous comments and suggestions from many colleagues and students. Special thanks go to Jens Thyge Kristensen for his enthusiastic support in reading through all versions of the manuscript and providing many recommendations about the overall structure of the book as well as details of each chapter. Also, Ken Larsen, Jakob Lichtenberg, Anders P. Ravn, Peter Sestoft, Simon Mørk and Torben Hoffmann have given many important suggestions. Furthermore, the final version of the book has been strongly influenced by the corrections and suggestions from the anonymous referees.

The book The Definition of Standard ML (Revised), by Milner, Tofte, Harper and MacQueen has been an invaluable reference for us during the writing of this book. Furthermore, we are indebted to Peter Sestoft for his great help and endless patience in explaining to us details of the SML language.

Our sincere thanks go to the late Disa la Cour for proof reading a draft version of this book and for trying to improve our English writing.

Finally, we are grateful to Dines Bjørner who in the first place taught us the use of mathematical concepts in software development. 0201398206P04062001

From the Back Cover:

Coverage includes an introduction to fundamental data structures and their applications. The notions of binding, environment, store, closure and evaluation are introduced in order to explain the meaning of programs in an informal but precise way. Thus, the authors provide the reader with a set of durable programming concepts which will exist well into the next generation of programming languages.

Features of the book include:

  • Attractive and reader-friendly presentation
  • Clear and careful explanations
  • A rich collection of programming problems and a wide variety of examples
  • Coverage of modelling and abstraction using data structures and the SML module system
  • Overview and statement of objectives at the start of each chapter
  • An introduction to producing technical documentation based on the SML module system
  • Extensive material in the appendices covering the SML language and module system and selected parts of the SML basis library
  • Accompanying Web Site supporting the book, containing all the program code, further teaching material and links to SML systems and other useful resources


0201398206B04062001

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Hansen, Michael, Rischel, Hans
Editorial: Addison Wesley (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Addison Wesley, 1999. Paperback. Estado de conservación: New. Never used!. Nº de ref. de la librería P110201398206

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 55,90
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Hansen, Michael, Rischel, Hans
Editorial: Addison Wesley (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Cantidad: 2
Librería
Save With Sam
(North Miami, FL, Estados Unidos de America)
Valoración
[?]

Descripción Addison Wesley, 1999. Paperback. Estado de conservación: New. Brand New!. Nº de ref. de la librería VIB0201398206

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 55,90
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,55
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Michael Hansen, Hans Rischel
Editorial: Pearson Education (US), United States (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Pearson Education (US), United States, 1999. Paperback. Estado de conservación: New. Language: English . Brand New Book. Introduction to Programming using SML provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to put the theory of programming into practice. The examples and exercises teach the student how to apply basic theoretical concepts to produce succinct and elegant programs and program designs.Coverage includes an introduction to fundamental data structures and their applications. The notions of binding, environment, store, closure and evaluation are introduced in order to explain the meaning of programs in an informal but precise way. Thus, the authors provide the reader with a set of durable programming concepts which will exist well into the next generation of programming languages. Nº de ref. de la librería AAK9780201398205

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 58,93
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Michael Hansen, Hans Rischel
Editorial: Pearson Education (US), United States (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Pearson Education (US), United States, 1999. Paperback. Estado de conservación: New. Language: English . Brand New Book. Introduction to Programming using SML provides a thorough introduction to the principles of programming and program design using the Standard ML programming language. The emphasis throughout is to put the theory of programming into practice. The examples and exercises teach the student how to apply basic theoretical concepts to produce succinct and elegant programs and program designs.Coverage includes an introduction to fundamental data structures and their applications. The notions of binding, environment, store, closure and evaluation are introduced in order to explain the meaning of programs in an informal but precise way. Thus, the authors provide the reader with a set of durable programming concepts which will exist well into the next generation of programming languages. Nº de ref. de la librería AAK9780201398205

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 59,32
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Michael Hansen
Editorial: Pearson Education (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Cantidad: 8
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Pearson Education, 1999. PAP. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería PB-9780201398205

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 53,33
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,21
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Michael Hansen; Hans Rischel
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Cantidad: 1
Librería
BennettBooksLtd
(San Diego, CA, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. New. Nº de ref. de la librería S-0201398206

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,72
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,21
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Michael Hansen; Hans Rischel
Editorial: Addison Wesley (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Primera edición Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Addison Wesley, 1999. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M0201398206

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 84,81
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Hansen, Michael R./ Rischel, Hans
Editorial: Addison-Wesley (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Addison-Wesley, 1999. Paperback. Estado de conservación: Brand New. 355 pages. 9.75x7.50x1.00 inches. In Stock. Nº de ref. de la librería zk0201398206

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 106,57
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,81
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Michael Hansen, Hans Rischel
Editorial: Addison Wesley (1999)
ISBN 10: 0201398206 ISBN 13: 9780201398205
Nuevos Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Addison Wesley, 1999. Paperback. Estado de conservación: New. Nº de ref. de la librería DADAX0201398206

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 116,40
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,25
A Estados Unidos de America
Destinos, gastos y plazos de envío