Searching for authors named "Ole Rasmussen" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
