the proceedings contain 17 papers. the topics discussed include: a domain-specific language for exploratory data visualization;a practical unification of multi-stage programming and macros;rash: from reckless interact...
ISBN:
(纸本)9781450360456
the proceedings contain 17 papers. the topics discussed include: a domain-specific language for exploratory data visualization;a practical unification of multi-stage programming and macros;rash: from reckless interactions to reliable programs;exploring feature interactions without specifications: a controlled experiment;inferring ownership domains from refinements;implementing a semi-causal domain-specific language for context detection over binary sensors;meta-programming for cross-domain tensor optimizations;and model-based security analysis of feature-oriented software product lines.
the proceedings contain 33 papers. the topics discussed include: verified heap theorem prover by paramodulation;formal verification of monad transformers;elaborating intersection and union types;an error-tolerant type...
ISBN:
(纸本)9781450310543
the proceedings contain 33 papers. the topics discussed include: verified heap theorem prover by paramodulation;formal verification of monad transformers;elaborating intersection and union types;an error-tolerant type system for variational lambda calculus;shake before building: replacing make with Haskell;practical typed lazy contracts;functionalprogramming with structured graphs;transporting functions across ornaments;proof-producing synthesis of ML from higher-order logic;operational semantics using the partiality monad;high performance embedded domain specific languages;pure type systems with corecursion on streams: from finite to infinitary normalization;on the complexity of equivalence of specifications of infinite objects;experience report: a do-it-yourself high-assurance compiler;equality proofs and deferred type errors: a compiler pearl;and addressing covert termination and timing channels in concurrent information flow systems.
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient co...
ISBN:
(纸本)9781605582672
the proceedings contain 17 papers. the topics discussed include: emerging challenges for large scale systems integration;code generation to support static and dynamic composition of software product lines;efficient compilation techniques for large scale feature models;on the modularity of feature interactions;using modern mathematics as an FOSD modeling language;generating incremental implementations of object-set queries;integrating semantics and compilation;generating customized verifiers for automatically generated code;property models: from incidental algorithms to reusable components;fundamentalist functionalprogramming;feature featherweight Java: a calculus for feature-oriented programming and stepwise refinement;typing communicating component assemblages;and program refactoring using functional aspects.
the proceedings contain 26 papers. the topics discussed include: Acute: high-level programming language design for distributed computation;an expressive language of signatures;dynamic optimization for functional react...
ISBN:
(纸本)1595930647
the proceedings contain 26 papers. the topics discussed include: Acute: high-level programming language design for distributed computation;an expressive language of signatures;dynamic optimization for functional reactive programming using generalized algebraic data types;combining programming withtheorem proving;AtomCaml: first-class atomicity via rollback;a principled approach to operating system construction in Haskell;simple, partial type-inference for system F based on type-containment;type inference, principal typings, and let-polymorphism for first-class mixin modules;backtracking, interleaving, and terminating monad transformers (functional Pearl);scrap your boilerplate with class: extensible generic functions;continuations from generalized stack inspection;fast narrowing-driven partial evaluation for inductively sequential programs;mechanizaing the meta-theory of programming languages;and modular verification of concurrent assembly code with dynamic thread creation and termination.
the proceedings contain 35 papers. the topics discussed include: functional pearl: a SQL to C compiler in 500 lines of code;an optimizing compiler for a purely functional web-application language;bounded refinement ty...
ISBN:
(纸本)9781450336697
the proceedings contain 35 papers. the topics discussed include: functional pearl: a SQL to C compiler in 500 lines of code;an optimizing compiler for a purely functional web-application language;bounded refinement types;applicative bidirectional programming with lenses;hygienic resugaring of compositional desugaring;XQuery and static typing: tackling the problem of backward axes;noninterference for free;algebras and coalgebras in the light affine lambda calculus;structures for structural recursion;denotational cost semantics for functional languages with inductive types;analyzing the complexity of functional programs: higher-order meets first-order;functionalprogramming and hardware design: still interesting after all these years;and pilsner: a compositionally verified compiler for a higher-order imperative language.
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a ...
ISBN:
(纸本)9781450323260
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a monad for typed tactic programming in Coq;fun with semirings: a functional pearl on the abuse of linear algebra;programming and reasoning with algebraic effects and dependent types;well-founded recursion with copatterns: a unified approach to termination and productivity;productive coprogramming with guarded recursion;higher-order functional reactive programming without spacetime leaks;simple and compositional reification of monadic embedded languages;structural recursion for querying ordered graphs;a nanopass framework for commercial compiler development;the bedrock structured programming system: combining generative metaprogramming and Hoare logic in an extensible program verifier;and a practical theory of language-integrated query.
the proceedings contain 34 papers. the topics discussed include: ReCaml: execution state as the cornerstone of reconfigurations;polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect op...
ISBN:
(纸本)9781605587943
the proceedings contain 34 papers. the topics discussed include: ReCaml: execution state as the cornerstone of reconfigurations;polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators;using functionalprogramming within an industrial product group: perspectives and perceptions;lazy tree splitting;semantic subtyping with an SMT solver;logical types for untyped languages;higher-order representation of substructural logics;the impact of higher-order state and control effects on local relational reasoning;distance makes the types grow stronger: a calculus for differential privacy;security-typed programming within dependently typed programming;combining syntactic and semantic bidirectionalization;matching lenses: alignment and view update;bidirectionalizing graph transformations;a fresh look at programming with names and binders;experience report: growing programming languages for beginning students;and fortifying macros.
the proceedings contain 12 papers. the topics discussed include: using many-core coprocessor to boost up Erlang VM;on the scalability of the Erlang term storage;Riak PG: distributed process groups on dynamo-style dist...
ISBN:
(纸本)9781450323857
the proceedings contain 12 papers. the topics discussed include: using many-core coprocessor to boost up Erlang VM;on the scalability of the Erlang term storage;Riak PG: distributed process groups on dynamo-style distributed storage;multicore profiling for Erlang programs using Percept2;software agents mobility using process migration mechanism in distributed Erlang;actor scheduling for multicore hierarchical memory platforms;extending Erlang by utilising RefactorErl;scalable persistent storage for Erlang: theory and practice;towards an abstraction for remote evaluation in Erlang;towards property-based testing of RESTful web services;turning web services descriptions into QuickCheck models for automatic testing;and testing blocking operations with QuickCheck's component library.
the proceedings contain 38 papers. the topics discussed include: on the bright side of type classes: instance arguments in Agda;functional modelling of musical harmony;how to make ad hoc proof automation less ad hoc;t...
ISBN:
(纸本)9781450308656
the proceedings contain 38 papers. the topics discussed include: on the bright side of type classes: instance arguments in Agda;functional modelling of musical harmony;how to make ad hoc proof automation less ad hoc;temporal higher-order contracts;parsing with derivatives: a functional pearl;an efficient non-moving garbage collector for functional languages;deriving an efficient FPGA implementation of a low density parity check forward error corrector;geometry of synthesis IV: compiling affine recursion into static hardware;a hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences;typed self-interpretation by pattern matching;and using Camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web.
暂无评论