|  |
| |
| Artikel-Nr.:
5667A-9783540435372 Herst.-Nr.:
9783540435372 EAN/GTIN:
9783540435372 |
| |
|
| | |
| Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Optimizations on Array Skeletons in a Shared Memory Environment.- Theorem Proving for Functional Programmers.- Proving Correctness of Programs with IO --A Paradigm Comparison.- Proving the Correctness of the STG Machine.- Dynamic Cheap Eagerness.- A Polynomial-Cost Non-determinism Analysis.- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.- Runtime Behavior of Conversion Interpretation of Subtyping.- A Generic Programming Extension for Clean. Weitere Informationen: | | Author: | Thomas Arts; Markus Mohnen | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Programmieren (EDV) / Funktional, Clean, Compiler, Erlang Programming, Functional Languages, Functional Programming, Functional Theorem Proving, Paralell Programming, Programming Language Implementation, Programming Languages, Scheme |
| | |
| |