Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers / / edited by Thomas Arts, Markus Mohnen

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
• Edizione: 1st ed. 2002.
• Descrizione fisica: 1 online resource (VIII, 196 p.)
• Disciplina: 005.13
• Soggetto topico: Programming languages (Electronic computers); Computer programming; Computer logic; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs
• Persona (resp. second.): ArtsThomas; MohnenMarkus
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Implementation of Functional Languages
• ISBN: 3-540-46028-4
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910143910303321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2312