Towards Bidirectional Live Programming for Incomplete Programs | 0 | 0.34 | 2022 |
Model-driven engineering city spaces via bidirectional model transformations | 0 | 0.34 | 2021 |
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. | 0 | 0.34 | 2020 |
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts | 0 | 0.34 | 2020 |
A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. | 0 | 0.34 | 2020 |
BIRDS: Programming view update strategies in Datalog. | 0 | 0.34 | 2020 |
Question selection for interactive program synthesis | 1 | 0.35 | 2020 |
Data Integration Models and Architectures for Service Alliances. | 0 | 0.34 | 2020 |
Scalable multiple-view analysis of reactive systems via bidirectional model transformations | 1 | 0.35 | 2020 |
Programmable view update strategies on relations | 0 | 0.34 | 2020 |
Programmable View Update Strategies on Relations. | 0 | 0.34 | 2020 |
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. | 0 | 0.34 | 2020 |
iPregel: Vertex-Centric Programmability vs Memory Efficiency and Performance, Why Choose? | 2 | 0.46 | 2019 |
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. | 0 | 0.34 | 2019 |
POET: Privacy on the Edge with Bidirectional Data Transformations | 1 | 0.36 | 2019 |
Controlling and Sharing Distributed Data for Implementing Service Alliance. | 1 | 0.35 | 2019 |
An axiomatic basis for bidirectional programming | 2 | 0.36 | 2018 |
A lightweight data sharing system based on bidirectional transformations. | 0 | 0.34 | 2018 |
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels | 0 | 0.34 | 2018 |
On early statistical requirements validation of cyber-physical space systems. | 4 | 0.47 | 2018 |
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. | 0 | 0.34 | 2018 |
Towards Variability Management in Bidirectional Model Transformation | 3 | 0.37 | 2017 |
Towards Systematic Parallelization of Graph Transformations Over Pregel. | 2 | 0.38 | 2017 |
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming | 0 | 0.34 | 2016 |
Supporting Selective Undo for Refactoring | 1 | 0.35 | 2016 |
Derivation of parallel-efficient structural recursive functions from declarative graph queries. | 0 | 0.34 | 2016 |
Feature-based classification of bidirectional transformation approaches | 21 | 0.62 | 2016 |
Rule-directed code clone synchronization | 1 | 0.35 | 2016 |
The essence of bidirectional programming. | 9 | 0.48 | 2015 |
Towards Attribute-Based Authorisation for Bidirectional Programming | 2 | 0.38 | 2015 |
A Clear Picture of Lens Laws - Functional Pearl. | 0 | 0.34 | 2015 |
Guest editorial to the special section on model transformation | 0 | 0.34 | 2015 |
SWIN: Towards Type-Safe Java Program Adaptation between APIs | 5 | 0.40 | 2015 |
Formal derivation and extraction of a parallel program for the all nearest smaller values problem | 2 | 0.37 | 2014 |
Writing bidirectional model transformations as intentional updates | 6 | 0.44 | 2014 |
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. | 4 | 0.42 | 2014 |
Validity Checking of Putback Transformations in Bidirectional Programming. | 8 | 0.50 | 2014 |
Optimization for iterative queries on MapReduce. | 0 | 0.34 | 2014 |
Minimizing data transfers for regular reachability queries on distributed graphs | 2 | 0.37 | 2013 |
A parameterized graph transformation calculus for finite graphs with monadic branches | 5 | 0.43 | 2013 |
Practical aspects of bidirectional graph transformations | 0 | 0.34 | 2013 |
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). | 0 | 0.34 | 2013 |
Synchronizing concurrent model updates based on bidirectional transformation | 17 | 0.82 | 2013 |
Issues in representing domain-specific concerns in model-driven engineering | 2 | 0.42 | 2013 |
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. | 8 | 0.54 | 2013 |
Supporting feature model refinement with updatable view | 1 | 0.35 | 2013 |
Optimization for iterative queries on MapReduce | 7 | 0.45 | 2013 |
Delta Lenses over Inductive Types. | 7 | 0.48 | 2012 |
Manipulating accumulative functions by swapping call-time and return-time computations* | 0 | 0.34 | 2012 |
Filter-embedding semiring fusion for programming with MapReduce | 5 | 0.43 | 2012 |