An Embedding of Ruby in Isabelle.

Published in: CADE (1996)

Keyphrases

programming language
theorem prover
vector space
database driven
natural deduction
case study
bayesian networks
semi supervised
neural network
information retrieval
high level
object oriented programming
nonlinear dimensionality reduction
graph embedding