Back to Results
First PageMeta Content
Alloy / Z notation / Constraint programming / Ruby / Application programming interface / Software engineering / Computer programming / Computing


αRby : An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson {aleks,idoe,dnj}@csail.mit.edu 1
Add to Reading List

Document Date: 2014-10-26 13:00:50


Open Document

File Size: 812,56 KB

Share Result on Facebook

/

Person

Man / Daniel Jackson / Ido Efrati / /

Technology

API / DSL / /

SocialTag