The following pages link to Ruby (Q28137):
Displaying 22 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings (Q466146) (← links)
- A framework for the analysis of access control policies with emergency management (Q530851) (← links)
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- dRuby and Rinda: Implementation and application of distributed Ruby and its parallel coordination mechanism (Q1040765) (← links)
- Union and intersection types to support both dynamic and static typing (Q1944090) (← links)
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- A graph-based framework for the analysis of access control policies (Q2358699) (← links)
- SeLINQ (Q2819661) (← links)
- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods (Q2879119) (← links)
- (Q2933899) (← links)
- (Q3406468) (← links)
- Supporting Agile Development of Authorization Rules for SME Applications (Q3407339) (← links)
- (Q3499245) (← links)
- (Q4443399) (← links)
- (Q4549759) (← links)
- COVERT TIMING CHANNELS OVER HTTP CACHE-CONTROL HEADERS (Q5150691) (← links)
- Dynamic inference of static types for ruby (Q5408564) (← links)
- (Q5422346) (← links)
