BOOM, Bloom Language, CALM

Concepts

  • Disorderly programming
  • The collected approach
  • CALM consistency, CALM principle
  • Concise, familiar code

Terms

  • BLOOM => a language of distributed logic
  • BOOM => Berkeley Orders Of Magnitude
  • CALM => Consistency as Logical Monotonicity
    • eventual consistency
    • points-of-order protected with coordination protocols
    • code support to achieve testability and feasibility of development&maintenance.
  • Datalog => (sic) Prolog for Data
  • Dedalus => Datalog in Time and Space
  • Overlog => a variant of Datalog
  • Policy vs Mechanism
    • Datalog vs Java

Cultures

  • Ruby

Outreach

Promotions

In the vein of “owned, earned, paid”

Informal

Formal

Trade

Comments are closed.