Ruby
From MaRDI portal
Software:28137
swMATH16267MaRDI QIDQ28137FDOQ28137
Author name not available (Why is that?)
Cited In (22)
- A framework for the analysis of access control policies with emergency management
- Metamodeling semantics of multiple inheritance
- A generic complete dynamic logic for reasoning about purity and effects
- Efficient virtual machine support of runtime structural reflection
- Title not available (Why is that?)
- SeLINQ: tracking information across application-database boundaries
- Title not available (Why is that?)
- A graph-based framework for the analysis of access control policies
- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods
- COVERT TIMING CHANNELS OVER HTTP CACHE-CONTROL HEADERS
- Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings
- Reconciling method overloading and dynamically typed scripting languages
- Title not available (Why is that?)
- Static consistency checking of web applications with WebDSL
- Dynamic inference of static types for ruby
- Title not available (Why is that?)
- Title not available (Why is that?)
- dRuby and Rinda: Implementation and application of distributed Ruby and its parallel coordination mechanism
- Supporting Agile Development of Authorization Rules for SME Applications
- Union and intersection types to support both dynamic and static typing
- Semantic types and approximation for Featherweight Java
- Title not available (Why is that?)
This page was built for software: Ruby
