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.
the proceedings contain 29 papers. the topics discussed include: building embedded systems with embedded DSLs;SeLINQ: tracking information across application-database boundaries;type-based parametric analysis of progr...
ISBN:
(纸本)9781450328739
the proceedings contain 29 papers. the topics discussed include: building embedded systems with embedded DSLs;SeLINQ: tracking information across application-database boundaries;type-based parametric analysis of program families;Romeo: a system for more flexible binding-safe programming;maximal sharing in the lambda calculus with letrec;practical and effective higher-order optimizations;compositional semantics for composable continuations: from abortive to delimited control;coeffects: a calculus of context-dependent computation;SML# in industry: a practical ERP system development;Lem: reusable engineering of real-world semantics;settable and non-interfering signal functions for fill?: how a first-order switch is more than enough;functionalprogramming for dynamic and large data with self-adjusting computation;refinement types for Haskell;a theory of gradual effect systems;and there is no fork: an abstraction for efficient, concurrent, and concise data access.
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 10 papers. the topics discussed include: cleaning up Erlang code is a dirty job but somebodys gotta do it;automated module interface upgrade;automatic assessment of failure recovery in Erlang a...
ISBN:
(纸本)9781605585079
the proceedings contain 10 papers. the topics discussed include: cleaning up Erlang code is a dirty job but somebodys gotta do it;automated module interface upgrade;automatic assessment of failure recovery in Erlang applications;teaching Erlang using robotics and player/stage;development of a distributed system applied to teaching and learning;ECT: an object-oriented extension to Erlang;implementing an LTL-to-Büchi translator in Erlang;model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck;automatic testing of TCP/IP implementations using Quickcheck;and recent improvements to the McErlang model checker.
the proceedings contain 38 papers. the topics discussed include: lazy and speculative execution in computer systems;Flux: functional updates for XML;AURA: a programming language for authorization and audit;the power o...
the proceedings contain 38 papers. the topics discussed include: lazy and speculative execution in computer systems;Flux: functional updates for XML;AURA: a programming language for authorization and audit;the power of Pi;parametric higher-order abstract syntax for mechanized semantics;typed closure conversion preserves observational equivalence;functional Pearl: streams and unique fixed points;data-flow testing of declarative programs;functional translation of a calculus of capabilities;Ynot: dependent types for imperative programs;pattern minimization problems over recursive data types;HMF: simple type inference for first-class polymorphism;FPH: first-class polymorphism for Haskell;compiling self-adjusting programs with continuations;Flask: staged functionalprogramming for sensor networks;NixOS: a purely functional Linux distribution;and experience report: visualizing data through functional pipelines.
the proceedings contain 23 papers. the topics discussed include: user-definable rule priorities for CHR;detecting defects in Erlang programs using static analysis;practical use of polynomials over the reals in proofs ...
详细信息
ISBN:
(纸本)1595937692
the proceedings contain 23 papers. the topics discussed include: user-definable rule priorities for CHR;detecting defects in Erlang programs using static analysis;practical use of polynomials over the reals in proofs of termination;type safe dynamic linking for JVM access control;systematic generation of glass-box test cases for functional logic programs;mechanized metatheory model-checking;relational semantics for effect-based program transformations with dynamic allocation;higher-order semantic labelling for inductive datatype systems;observing intermediate structures in a parallel lazy functional language;computing with subspaces;real-time rewriting semantics of orc;a larger decidable semiunification problem;local reasoning about storable locks;induction for positive almost sure termination;unfolding in CHR;and nonmonotonic inductive logic programming by instance patterns.
the proceedings contain 14 papers. the topics discussed include: supporting on-stack replacement in unstructured languages by loop reconstruction and extraction;GraalSqueak: toward a smalltalk-based tooling platform f...
ISBN:
(纸本)9781450369770
the proceedings contain 14 papers. the topics discussed include: supporting on-stack replacement in unstructured languages by loop reconstruction and extraction;GraalSqueak: toward a smalltalk-based tooling platform for polyglot programming;GraalSqueak: toward a smalltalk-based tooling platform for polyglot programming;WARDuino: a dynamic WebAssembly virtual machine for programming microcontrollers;dynamic one-to-one mapping of ownership records for STM using versioned weak references;a type system for data independence of loop iterations in a directive-based PGAS language;static TypeScript: an implementation of a static compiler for the TypeScript language;and an analysis of call-site patching without strong hardware support for self-modifying-code.
the conference materials contain 33 papers. the topics covered include experience withfunctionalprogramming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative ext...
详细信息
ISBN:
(纸本)089791595X
the conference materials contain 33 papers. the topics covered include experience withfunctionalprogramming applications, theory and implementation of types, storage reclamation, semantics analysis of imperative extensions, compiling and performance evaluation, language design, compiler optimization, static analysis, functional algorithms and partial evaluation.
the proceedings contain 20 papers. the topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstr...
ISBN:
(纸本)9781450344463
the proceedings contain 20 papers. the topics discussed include: Recaf: Java dialects as libraries;classless Java;extensible modeling with managed data in Java;actor profiling in virtual execution environments;bootstrapping domain-specific meta-languages in language workbenches;dependence-driven delimited CPS transformation for JavaScript;synthesizing regular expressions from examples for introductory automata assignments;programmable semantic fragments: the design and implementation of typy;delaying decisions in variable concern hierarchies;automatic code generation in practice: experiences with embedded robot controllers;a change-centric approach to compile configurable systems with #ifdefs;a feature-based personalized recommender system for product-line configuration;IncLing: efficient product-line testing using incremental pairwise sampling;towards a software product line of trie-based collections;tool demo: testing configurable systems with FeatureIDE;automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery;a vision for online verification-validation;and automatic non-functional testing of code generators families.
the proceedings contain 31 papers. the topics discussed include: frontiers and open sets in abstract interpretation;separating binding times in language specifications;separating binding times in language specificatio...
ISBN:
(纸本)0897913280
the proceedings contain 31 papers. the topics discussed include: frontiers and open sets in abstract interpretation;separating binding times in language specifications;separating binding times in language specifications;replacing function parameters by global variables;compile-time garbage collection by sharing analysis;compilation as partitioning: a new approach to compiling non-strict functional languages;untagged data in tagged environments: choosing optimal representations at compile time;improving the three instruction machine;stacklessness: compiling recursion for a distributed architecture;transformations on higher-order functions;a composition approach to time analysis of first order lazy functional programs;retrieving reusable software components by polymorphic type;using types as search keys in function libraries;parallel graph reduction withthe (v , G)-machine;An abstract machine for parallel graph reduction;P-TAC: a parallel intermediate language;architectural improvements for data-driven VLSI processing arrays;strictness analysis: a new perspective based on type inference;f-bounded polymorphism for object-oriented programming;a simple semantics for ML polymorphism;on the complexity of type inference with coercion;extended projection-new method to extract efficient programs from constructive proofs;and set abstraction in functional and logic programming.
暂无评论