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 37 papers. the topics discussed include: PocketWeb: instant web browsing for mobile devices;Reflex: using low-power processors in smartphones without knowing them;clearing the clouds: a study o...
ISBN:
(纸本)9781450307598
the proceedings contain 37 papers. the topics discussed include: PocketWeb: instant web browsing for mobile devices;Reflex: using low-power processors in smartphones without knowing them;clearing the clouds: a study of emerging scale-out workloads on modern hardware;Tarazu: optimizing MapReduce on heterogeneous clusters;leveraging stored energy for handling power emergencies in aggressively provisioned datacenters;Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults;comprehensive kernel instrumentation via dynamic binary translation;continuous object access profiling and optimizations to overcome the memory wall and bloat;data races vs. data race bugs: telling the difference with portend;optimal task assignment in multithreaded processors: a statistical approach;HICAMP: architectural support for efficient concurrency-safe shared structured data access;and DreamWeaver: architectural support for deep sleep.
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.
Introductory programming courses often enroll large numbers of students, making individualized feedback challenging. Automated grading tools are widely used, yet they typically focus on functional correctness rather t...
详细信息
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.
the proceedings contain 8 papers. the topics discussed include: from causality to stability: understanding and reducing meta-data in CRDTs;multi-language dynamic taint analysis in a polyglot virtual machine;efficient,...
ISBN:
(纸本)9781450388535
the proceedings contain 8 papers. the topics discussed include: from causality to stability: understanding and reducing meta-data in CRDTs;multi-language dynamic taint analysis in a polyglot virtual machine;efficient, near complete, and often sound hybrid dynamic data race prediction;efficient dispatch of multi-object polymorphic call sites in contextual role-oriented programming languages;SymJEx: symbolic execution on the GraalVM;transparent acceleration of java-based deep learning engines;you can’t hide you can’t run: a performance assessment of managed applications on a NUMA machine;and trcview: interactive architecture agnostic execution trace analysis.
暂无评论