|
Search the dblp DataBase
Ole Rasmussen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ole Rasmussen
An Embedding of Ruby in Isabelle. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:186-200 [Conf]
- Robin Sharp, Ole Rasmussen
Rewriting with Constraints in T-Ruby. [Citation Graph (0, 0)][DBLP] CHARME, 1993, pp:226-241 [Conf]
- Robin Sharp, Ole Rasmussen
Transformational Rewriting with Ruby. [Citation Graph (0, 0)][DBLP] CHDL, 1993, pp:243-260 [Conf]
- Robin Sharp, Ole Rasmussen
Using a Language of Functions and Relations for VLSI Specification. [Citation Graph (0, 0)][DBLP] FPCA, 1995, pp:45-54 [Conf]
- Robin Sharp, Ole Rasmussen
The T-Ruby Design System. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:11, n:3, pp:239-264 [Journal]
Search in 0.001secs, Finished in 0.001secs
|