Ruby

---

www.ruby-lang.org
Ruby
Q161053
Ruby (Programmiersprache)
Ruby (programming language)
Ruby
Ruby

Tag #ruby

17 papers:

PLDI-2019-KazerounianGVFH #library

Type-level computations for Ruby libraries (MK, SNG, NV, JSF, DVH), pp. 966–979.

ICSME-2018-CleareI #named

GemChecker: Reporting on the Status of Gems in Ruby on Rails Projects (JC, CI), pp. 700–704.

VMCAI-2018-KazerounianVBFT #refinement

Refinement Types for Ruby (MK, NV, AB, JSF, ET), pp. 269–290.

SANER-2017-ConstantinouM #ecosystem #evolution #git

Socio-technical evolution of the Ruby ecosystem in GitHub (EC, TM), pp. 34–44.

MSR-2016-Squire #set

Data sets: the circle of life in ruby hosting, 2003-2015 (MS), pp. 452–459.

PPoPP-2014-OdairaCT #hardware #interpreter #memory management #transaction

Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.

MSR-2013-WagstromJS #dataset #graph #network

A network of rails: a graph dataset of ruby on rails and associated projects (PW, CJ, AS), pp. 229–232.

SAC-2013-RenTSF

The ruby type checker (BMR, JT, TSS, JSF), pp. 1565–1572.

POPL-2011-AnCFH #static typing

Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.

ISSTA-2011-NijjarB #bound #modelling #verification

Bounded verification of Ruby on Rails data models (JN, TB), pp. 67–77.

ASE-2009-AnCF #static typing #type system

Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.

SAC-2009-FurrAFH #static typing #type inference

Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.

ITiCSE-2007-Sheehan #education #operating system

Teaching operating systems with ruby (RJS), pp. 38–42.

ICEIS-SAIC-2007-Maximilien #approach #challenge #problem #semantics #using #web #web service

A Partial Solution to the Semantic Web Services Challenge Problem Using Swashup — The Ruby on Rails Services Mashup Approach (EMM), pp. 438–446.

HPDC-2004-Aycock #memory management

MPI Ruby with Remote Memory Access (CCA), pp. 280–281.

TOOLS-USA-2001-McBreen #concept #object-oriented

Introducing OO Concepts with Ruby (PM), p. 379.

CADE-1996-Rasmussen

An Embedding of Ruby in Isabelle (OR), pp. 186–200.