Searching for authors named "Ole Rasmussen" – sorted by Relevance.
-
Formalising Ruby in Isabelle ZF
- Formalising Ruby in Isabelle ZF Ole Rasmussen Dept. of Computer Science Technical University
- Cited by 4 (0 self) – Add To MetaCart
-
A Ruby Proof System
- A Ruby Proof System Ole Rasmussen January 11, Contents 1 Introduction 1 2 The Ruby Language 4 3
- Cited by 4 (2 self) – Add To MetaCart
-
An Embedding of Ruby in Isabelle
- An Embedding of Ruby in Isabelle Ole Rasmussen Dept. of Information Technology, Technical
- Cited by 3 (1 self) – Add To MetaCart
-
The Church-Rosser Theorem in Isabelle: A Proof Porting Experiment
- The Church-Rosser Theorem in Isabelle: A Proof Porting Experiment Ole Rasmussen Computer
- Cited by 9 (0 self) – Add To MetaCart
-
Rewriting with Constraints in T-Ruby
- Rewriting with Constraints in T-Ruby Robin Sharp and Ole Rasmussen Dept. of Computer Science
- Cited by 2 (1 self) – Add To MetaCart
-
An Introduction to Ruby
- s g ID ID--U: 1995-80 DTU ISSN 0902--283x Robin Sharp Ole Rasmussen An Introduction to Ruby 2nd
- Cited by 1 (0 self) – Add To MetaCart
-
The T-Ruby Design System
- The T-Ruby Design System Robin Sharp and Ole Rasmussen Technical University of Denmark, DK-2800
- Cited by 19 (2 self) – Add To MetaCart
-
c ○ 1997 Kluwer Academic Publishers. Manufactured in The Netherlands. The T-Ruby Design System
- . Manufactured in The Netherlands. The T-Ruby Design System ROBIN SHARP robin@(email omitted); OLE RASMUSSEN osr
- Add To MetaCart
-
Transformational Rewriting with Ruby
- Transformational Rewriting with Ruby Robin Sharp and Ole Rasmussen Technical University of Denmark
- Cited by 13 (8 self) – Add To MetaCart
-
Using a Language of Functions and Relations for VLSI Specification
- Using a Language of Functions and Relations for VLSI Specification Robin Sharp and Ole Rasmussen
- Cited by 6 (4 self) – Add To MetaCart

