Back to Results
First PageMeta Content
Subroutines / Parallel computing / Alloy / Z notation / MIX / Main function / Ruby / D / Folder / Computing / Software engineering / Computer programming


αRby—An Embedding of Alloy in Ruby September 20, 2013 Aleksandar Milicevic Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks}@csail.mit.edu
Add to Reading List

Document Date: 2013-09-20 18:07:45

Open Document

File Size: 178,74 KB

Share Result on Facebook

/

Facility

Artificial Intelligence Laboratory Massachusetts Institute of Technology / /

IndustryTerm

polynomial-time algorithm / post-processing / straightforward iterative search / model systems / /

Organization

Massachusetts Institute of Technology / /

Person

Root / Folder / Checking As / Aleksandar Milicevic / /

Position

programmer / /

ProgrammingLanguage

Ruby / /

Technology

DSL / polynomial-time algorithm / /

SocialTag