Library of American University of Madaba
Your cart is empty.
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Authors: Chitil, Olaf.%editor. | SpringerLink (Online service) Series: Lecture Notes in Computer Science, 0302-9743 ; . 5836 Physical details: X, 291p. online resource. ISBN: 3642244521 Subject(s): Computer science. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Logics and Meanings of Programs. | Software Engineering. | Mathematical Logic and Formal Languages. | Programming Languages, Compilers, Interpreters. | Artificial Intelligence (incl. Robotics). | Programming Techniques.Online Resources:
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Date Due |
|---|---|---|---|---|
 E-Book |
AUM Main Library | 005.1015113 (Browse Shelf) | Not for loan |
Browsing AUM Main Library Shelves Close Shelf Browser
 |
 |
||||||
| 005.1015113Concurrency, Compositionality, and Correctness | 005.1015113Perspectives of Systems Informatics | 005.1015113Certified Programs and Proofs | 005.1015113Implementation and Application of Functional Languages | 005.1015113Algebraic Foundations in Computer Science | 005.1015113Certified Programs and Proofs |
This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools.
There are no comments for this item.