Ole Rasmussen

According to our database, Ole Rasmussen authored at least 5 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

The T-Ruby Design System.

Robin Sharp, Ole Rasmussen

Formal Methods Syst. Des., 1997

1996

An Embedding of Ruby in Isabelle.

Ole Rasmussen

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Using a Language of Functions and Relations for VLSI Specification.

Robin Sharp, Ole Rasmussen

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1993

Transformational Rewriting with Ruby.

Robin Sharp, Ole Rasmussen

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

Rewriting with Constraints in T-Ruby.

Robin Sharp, Ole Rasmussen

Proceedings of the Correct Hardware Design and Verification Methods, 1993