DistAlgo: A Language for Distributed Algorithms

IncOQ: Demand-Driven Incremental Object Queries

LogicRules: Generating Efficient Implementations from Rules

InvTS: An Invariant-Driven Transformation System

OSQ, Patton: Object Set Queries and Tuple Pattern Based Retrieval