Artículos relacionados a Prospects for Functional Programming in Software Engineering...
Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit) - Tapa blanda
Sinopsis
The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and from a practical point of view. The software development process is studied and a brief introduction to functional programming and languages is provided. Functional programming tends to promote locality which makes it possible to reason about a component of a program, independent of the rest of the program. The significance of the functional approach for formal program manipulation is illustrated by two important techniques, abstract interpretation and program transformation. Abstract interpretation is applied to the compilation of memory management and program transformation is illustrated with many applications such as program correctness proofs, program analysis and compilation. A correct compiler is described entirely in terms of program transformations. Regarding program construction, it is shown that input/output and state-oriented problems can be described in a purely functional framework.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and from a practical point of view. The software development process is studied and a brief introduction to functional programming and languages is provided. Functional programming tends to promote locality which makes it possible to reason about a component of a program, independent of the rest of the program. The significance of the functional approach for formal program manipulation is illustrated by two important techniques, abstract interpretation and program transformation. Abstract interpretation is applied to the compilation of memory management and program transformation is illustrated with many applications such as program correctness proofs, program analysis and compilation. A correct compiler is described entirely in terms of program transformations. Regarding program construction, it is shown that input/output and state-oriented problems can be described in a purely functional framework.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 58,18
EUR 5,16 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Prospects for Functional Programming in Software Engineering...
Imagen de archivo
Prospects for Functional Programming in Software Engineering
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-554-890
Cantidad disponible: 1 disponibles
Imagen de archivo
Prospects for Functional Programming in Software Engineering
Publicado por
Springer Berlin Heidelberg, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 110508/202
Cantidad disponible: 1 disponibles
Imagen de archivo
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540538523_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Prospects for Functional Programming in Software Engineering
Publicado por
Springer Berlin Heidelberg, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems. Nº de ref. del artículo: 9783540538523
Cantidad disponible: 1 disponibles
Imagen del vendedor
Prospects for Functional Programming in Software Engineering
Publicado por
Springer Berlin Heidelberg, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextThe aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and progra. Nº de ref. del artículo: 4892955
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Prospects for Functional Programming in Software Engineering
Publicado por
Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems. 224 pp. Englisch. Nº de ref. del artículo: 9783540538523
Cantidad disponible: 2 disponibles
Imagen de archivo
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540538523
Cantidad disponible: 2 disponibles
Imagen de archivo
Prospects for Functional Programming in Software Engineering
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540538523
Cantidad disponible: 10 disponibles
Imagen del vendedor
Prospects for Functional Programming in Software Engineering
Publicado por
Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540538526
ISBN 13: 9783540538523
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. Nº de ref. del artículo: 9783540538523
Cantidad disponible: 1 disponibles
Imagen de archivo
Prospects for Functional Programming in Software Engineering (Research Reports Esprit, 1)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020169796
Cantidad disponible: Más de 20 disponibles