IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)

This artifact is based on IceDust2, a data modeling language with derived values. The provided package is designed to support the claims of the companion paper: in particular, it allows users to compile and run IceDust2 specifications. Instructions for building the IceDust2 compiler from source in Spoofax are also provided.

[1]  Mira Mezini,et al.  i3QL: language-integrated live data views , 2014, OOPSLA.

[2]  Barry Porter,et al.  REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems , 2016, OSDI.

[3]  Norman W. Paton,et al.  MOVIE: An incremental maintenance system for materialized object views , 2003, Data Knowl. Eng..

[4]  Friedrich Steimann,et al.  Content over container: object-oriented programming with multiplicities , 2013, Onward!.

[5]  Kathi Fisler,et al.  Alchemy: transmuting base alloy specifications into implementations , 2008, SIGSOFT '08/FSE-16.

[6]  Shan Shan Huang,et al.  Datalog and Recursive Query Processing , 2013, Found. Trends Databases.

[7]  Eelco Visser,et al.  WebDSL: A Case Study in Domain-Specific Language Engineering , 2007, GTTSE.

[8]  Stephanie Balzer,et al.  Rumer: A programming language and modular verification technique based on relationships , 2011 .

[9]  Martin Odersky,et al.  Higher-Order Reactive Programming with Incremental Lists , 2013, ECOOP.

[10]  Görel Hedin,et al.  Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking , 2012 .

[11]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[12]  Rita McCardell Doerr,et al.  Generation , 2015, Aristotle on Substance.

[13]  Eelco Visser,et al.  Product Line Engineering Using Domain-Specific Languages , 2011, 2011 15th International Software Product Line Conference.

[14]  Yanhong A. Liu,et al.  Demand-driven incremental object queries , 2015, PPDP.

[15]  Kenneth A. Ross,et al.  Efficient Incremental Evaluation of Queries with Aggregation , 1994, ILPS.

[16]  Todd J. Green.  LogiQL: A Declarative Language for Enterprise Applications , 2015, PODS.

[17]  Michael Hicks,et al.  Adapton: composable, demand-driven incremental computation , 2014, PLDI.

[18]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[19]  Eelco Visser,et al.  Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation , 2014, SLE.

[20]  Jim Davies,et al.  On the generation of object databases using booster , 2006 .

[21]  Eelco Visser,et al.  IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs , 2016, ECOOP.

[22]  Conal Elliott,et al.  Push-pull functional reactive programming , 2009, Haskell.

[23]  Torsten Grust,et al.  Incremental Updates for Materialized OQL Views , 1997, DOOD.

[24]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[25]  Kenneth A. Ross,et al.  Monotonic aggregation in deductive databases , 1992, J. Comput. Syst. Sci..

[26]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[27]  Mira Mezini,et al.  REScala: bridging between object-oriented and functional style in reactive applications , 2014, MODULARITY.

[28]  Surajit Chaudhuri,et al.  Maintenance of Materialized Views: Problems, Techniques, and Applications. , 1995 .

[29]  James Noble,et al.  Caching and incrementalisation in the java query language , 2008, OOPSLA.

[30]  Michael Hicks,et al.  Incremental computation with names , 2015, OOPSLA.

[31]  Erik Meijer.  Reactive extensions (Rx): curing your asynchronous programming blues , 2010, CUFP '10.