Ruby - MaRDI portal

Cited in

(64)

dRuby and Rinda: Implementation and application of distributed Ruby and its parallel coordination mechanism
HasCasl
StaDyn
HyperTensioN
Jinja2
DINDE
WebDSL
XVCL
Visual C#
PORGY
Union and intersection types to support both dynamic and static typing
Jwig
Flow Caml
Dhrystone
Commonloops
YAFOOL
BSGP
Lua
Reconciling method overloading and dynamically typed scripting languages
Tapkee
A graph-based framework for the analysis of access control policies
See5
ScalaQL
evtree
dRuby
SeLINQ: tracking information across application-database boundaries
BayesBD
Hom4PS-3: a parallel numerical solver for systems of polynomial equations based on polyhedral homotopy continuation methods
Tapkee: an efficient dimension reduction library
Pycket
PyPy
JCuda
png
Rubydust
scientific article; zbMATH DE number 5671764 (Why is no real title available?)
Supporting Agile Development of Authorization Rules for SME Applications
Programming languages: An active learning approach
landsat
FeatureC++
CaesarJ
CART
medInria
Groovy
Dylan
PHP
Binder
NEST
Semantic types and approximation for Featherweight Java
SeLINQ
Milepost GCC
scientific article; zbMATH DE number 2024820 (Why is no real title available?)
scientific article; zbMATH DE number 1790653 (Why is no real title available?)
Sather
Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17--19, 2014, Proceedings
COVERT TIMING CHANNELS OVER HTTP CACHE-CONTROL HEADERS
GraalVM
A framework for the analysis of access control policies with emergency management
Metamodeling semantics of multiple inheritance
Dynamic inference of static types for Ruby
Concepts of programming languages.
RPython
Static consistency checking of web applications with WebDSL
Efficient virtual machine support of runtime structural reflection
A generic complete dynamic logic for reasoning about purity and effects

This page was built for software: Ruby