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 13 papers. the topics discussed include: a language feature to unbundle data at will;parallel nondeterministic programming as a language extension to C;agile construction of data science DSLs;a...
ISBN:
(纸本)9781450369800
the proceedings contain 13 papers. the topics discussed include: a language feature to unbundle data at will;parallel nondeterministic programming as a language extension to C;agile construction of data science DSLs;a stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions;reflection in attribute grammars;automated metamodel augmentation for seamless model evolution tracking and planning;floorplan: spatial layout in memory management systems;and compiler generation for performance-oriented embedded DSLs.
the proceedings contain 16 papers. the topics discussed include: the life cycle of features in highly-configurable software systems evolving in space and time;towards supporting SPL engineering in low-code platforms u...
ISBN:
(纸本)9781450391122
the proceedings contain 16 papers. the topics discussed include: the life cycle of features in highly-configurable software systems evolving in space and time;towards supporting SPL engineering in low-code platforms using a DSL approach;a variational database management system;metaprogramming with combinator;artifact and reference models for generative machine learning frameworks and build systems;delta-based verification of software product families;extracting the power of dependent types;lifted termination analysis by abstract interpretation and its applications;multi-stage programming withgenerative and analytical macros;compiling pattern matching to in-place modifications;on-stack replacement for program generators and source-to-source compilers;and leveraging relational concept analysis for automated feature location in software product lines.
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 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction ...
ISBN:
(纸本)9781450381741
the proceedings contain 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction for feature-oriented software product lines;multi-stage programming in the large with staged classes;reorganizing queries with grouping;manipulating GUI structures declaratively;PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report;VarSem: declarative expression and automated inference of variable usage semantics;fluid quotes: metaprogramming across abstraction boundaries with dependent types;a domain-specific language for filtering in application-level gateways;and eFLINT: a domain-specific language for executable norm specifications.
the proceedings contain 16 papers. the topics discussed include: extensible language implementation with object algebras;projectional editing of variational software;efficient testing of software product lines via cen...
ISBN:
(纸本)9781450331616
the proceedings contain 16 papers. the topics discussed include: extensible language implementation with object algebras;projectional editing of variational software;efficient testing of software product lines via centralization;automatic feature selection in large-scale system-software product lines;emergent gummy modules modular representation of emergent behavior;code specialization for memory efficient hash tries;specializing planners for hierarchical multi-way dataflow constraint systems;automatic locality-friendly interface extension of numerical functions;a transformational approach to data visualization;yin-yang: concealing the deep embedding of DSLs;optimization by runtime specialization for sparse matrix-vector multiplication;specialization through dynamic Staging;LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming;and a domain-specific language for building self-optimizing AST interpreters.
the proceedings contain 21 papers. the topics discussed include: refining semantics for multi-stage programming;staging for generic programming in space and time;a classification of variation control systems;analyzing...
ISBN:
(纸本)9781450355247
the proceedings contain 21 papers. the topics discussed include: refining semantics for multi-stage programming;staging for generic programming in space and time;a classification of variation control systems;analyzing the impact of natural language processing over feature location in models;how preprocessor annotations (do not) affect maintainability: a case study on change-proneness;type qualifiers as composable language extensions;accurate reification of complete supertype information for dynamic analysis on the JVM;rewriting for sound and complete union, intersection and negation types;quoted staged rewriting: a practical approach to library-defined optimizations;reducing calling convention overhead in object-oriented programming on embedded ARM thumb-2 platforms;RaTrace: simple and efficient abstractions for BVH ray traversal algorithms;towards compositional and generative tensor optimizations;avoiding useless mutants;Silverchain: a fluent API generator;parser generation by example for legacy pattern languages;a Haskell compiler for signal transforms;automatic generation of virtual learning spaces driven by CaVaDSL: an experience report;and rewriting a shallow DSL using a GHC compiler extension.
the proceedings contain 22 papers. the topics discussed include: the next-generation in-stadium experience;almost first-class language embedding: taming staged embedded DSLs;generating safe boundary APIs between typed...
ISBN:
(纸本)9781450336871
the proceedings contain 22 papers. the topics discussed include: the next-generation in-stadium experience;almost first-class language embedding: taming staged embedded DSLs;generating safe boundary APIs between typed EDSLs and their environments;an empirical study on configuration-related issues: investigating undeclared and unused identifiers;analyzing the Kconfig semantics and its analysis tools;migrating large object-oriented applications into component-based ones: instantiation and inheritance transformation;towards tool support for spreadsheet-based domain-specific languages;native-2-native: automated cross-platform code synthesis from web-based programming resources;CLOP: a multi-stage compiler to seamlessly embed heterogeneous code;and composing code generators for CC ADLs with application-specific behavior languages.
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.
暂无评论