Back to Results
First PageMeta Content
Compiler construction / Subroutines / Alloy / Z notation / Ruby / Monad / Map / Closure / Static single assignment form / Software engineering / Computing / Computer programming


αRby—An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, idoe, dnj}@csail.mit.edu
Add to Reading List

Document Date: 2014-06-06 14:09:52

Open Document

File Size: 276,87 KB

Share Result on Facebook

Company

Ruby / GitHub / Alloy / /

Currency

USD / /

/

Event

M&A / /

Facility

Artificial Intelligence Laboratory Massachusetts Institute of Technology / /

IndustryTerm

assignment operator / binary operator / cross product / tool developer / closure operators / search space / search algorithm / partial solution / prefix unary operator / elegant solutions / /

Organization

Massachusetts Institute of Technology / /

Person

Daniel Jackson / /

/

Position

standard interpreter / interpreter / /

ProgrammingLanguage

Java / /

Technology

object-oriented programming / Hamiltonian Path algorithm / search algorithm / Java / API / /

SocialTag