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 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 20 papers. the topics discussed include: declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes;open pattern matching for C++;template construct...
ISBN:
(纸本)9781450323734
the proceedings contain 20 papers. the topics discussed include: declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes;open pattern matching for C++;template constructors for reusable object initialization;efficient high-level abstractions for web programming;reified type parameters using Java annotations;does the discipline of preprocessor annotations matter? a controlled experiment;investigating preprocessor-based syntax errors;using document-oriented GUIs in dynamic software product lines;family-based performance measurement;a comparison of product-based, feature-based, and family-based type checking;spiral in Scala: towards the systematic construction of generators for performance libraries;forge: generating a high performance DSL implementation from a declarative specification;and model-driven generative framework for automated OMG DDS performance testing in the cloud.
the proceedings contain 12 papers. the topics discussed include: shared memory protection in a multi-tenant JVM;higher-order concurrency for microcontrollers;virtual ADTs for portable metaprogramming;specializing gene...
ISBN:
(纸本)9781450386753
the proceedings contain 12 papers. the topics discussed include: shared memory protection in a multi-tenant JVM;higher-order concurrency for microcontrollers;virtual ADTs for portable metaprogramming;specializing generic Java data structures;architecture-agnostic dynamic type recovery;profiling code cache behavior via events;low-overhead multi-language dynamic taint analysis on managed runtimes through speculative optimization;tracing and its observer effect on concurrency;generation of typescript declaration files from JavaScript Code;LLJava live at the loop: a case for heteroiconic staged meta-programming;and using machine learning to predict the code size impact of duplication heuristics in a dynamic compiler.
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 6 papers. the topics discussed include: declarative layer composition in framework-based environments;scoping changes in self-supporting development environments with context- oriented programm...
ISBN:
(纸本)9781450312769
the proceedings contain 6 papers. the topics discussed include: declarative layer composition in framework-based environments;scoping changes in self-supporting development environments with context- oriented programming;uniting global and local context behavior with context petri nets;bridging real-world contexts and units of behavioral variations by composite layers;and DynamicSchema: a lightweight persistency framework for context-oriented data management.
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.
暂无评论