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 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 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 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: 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 conference materials contain 33 papers. The topics covered include experience with functionalprogramming 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 with functionalprogramming 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 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 with the (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.
The proceedings contain 23 papers. The special focus in this conference is on Domain-Specific Languages, Staged programming, Modeling to Code and Aspect-Orientation. The topics include: A DSL approach to specifying st...
ISBN:
(纸本)3540201025
The proceedings contain 23 papers. The special focus in this conference is on Domain-Specific Languages, Staged programming, Modeling to Code and Aspect-Orientation. The topics include: A DSL approach to specifying streaming applications;a hardware description language for retargetable postpass optimizations and analyses;a domain-specific language for real-time embedded systems;implementing multi-stage languages using ASTs, gensym, and reflection;on stage ordering in staged computation;a journey from interpreters to compilers and virtual machines;an architecture description language for dynamic component and aspect-based development;automatic interface enabler for model integrated computing;an approach for supporting aspect-oriented domain modeling;the convergence of AOP and active databases;a selective, just-in-time aspect weaver;an extension to the subtype relationship in C++ implemented with template metaprogramming;component-based DSL development;a generative approach to framework instantiation;making patterns explicit with metaprogramming;generating spreadsheet-like tools from strong attribute grammars;a Petri net based coordination language for distributed objects and a case for test-code generation in model-driven systems.
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. The description of the small-step operational semantics ...
详细信息
ISBN:
(纸本)9781450323260
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given. The description of the small-step operational semantics is precise and explicit, and employs an early abort of conflicting transactions. A proof of correctness of the implementation is given for a contextual semantics with may- and should-convergence. This implies that our implementation is a correct evaluator for an abstract specification equipped with a bigstep semantics.
暂无评论