Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The T-Ruby Design System | 13 | 1.00 | 1997 |
| An Embedding of Ruby in Isabelle | 2 | 0.47 | 1996 |
| Using a language of functions and relations for VLSI specification | 3 | 0.51 | 1995 |
| Transformational Rewriting with Ruby | 8 | 2.14 | 1993 |
| Rewriting with Constraints in T-Ruby | 1 | 0.37 | 1993 |