Ole Rasmussen

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Robin Sharp, Ole Rasmussen
The T-Ruby Design System. Formal Methods Syst. Des. 11 (3) (1997)
Ole Rasmussen
An Embedding of Ruby in Isabelle. CADE (1996)
Robin Sharp, Ole Rasmussen
Using a Language of Functions and Relations for VLSI Specification. FPCA (1995)
Robin Sharp, Ole Rasmussen
Rewriting with Constraints in T-Ruby. CHARME (1993)
Robin Sharp, Ole Rasmussen
Transformational Rewriting with Ruby. CHDL (1993)