عجفت الغور

alloy (spec lang)

programming languages

Specificiation langauge, can be seen to model the single origin policy in web development