Ole Rasmussen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Robin Sharp, Ole Rasmussen: The T-Ruby Design System. Formal Methods in System Design 11(3): 239-264 (1997)

3 Robin Sharp, Ole Rasmussen: Using a Language of Functions and Relations for VLSI Specification. FPCA 1995: 45-54

2 Robin Sharp, Ole Rasmussen: Rewriting with Constraints in T-Ruby. CHARME 1993: 226-241

1 Robin Sharp, Ole Rasmussen: Transformational Rewriting with Ruby. CHDL 1993: 243-260

Selection of 4 from 5 records - Ole Rasmussen has 1 coauthors

5		Robin Sharp, Ole Rasmussen: The T-Ruby Design System. Formal Methods in System Design 11(3): 239-264 (1997)
3		Robin Sharp, Ole Rasmussen: Using a Language of Functions and Relations for VLSI Specification. FPCA 1995: 45-54
2		Robin Sharp, Ole Rasmussen: Rewriting with Constraints in T-Ruby. CHARME 1993: 226-241
1		Robin Sharp, Ole Rasmussen: Transformational Rewriting with Ruby. CHDL 1993: 243-260