University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 3
Dept. of Computer Science 3

Collection

Research and Tech Reports - Computer Science 3

Author(s)

Meseguer, José 3
Duran, Francisco 2
Katelman, Michael 1
Meredith, Patrick 1
Rosu, Grigore 1

Keyword(s)

Church-Rosser property 1
Language Semantics 1
Maude 1
Maude, order-sorted conditional specifications, rewriting modulo, formal veri... 1
Programming Languages 1
Rewriting Logic 1
Verilog 1
coherence 1
formal veriﬁcation 1
order-sorted conditional speciﬁcations 1

Type of Resource

text 3

↑ ↓

Showing 1–3 of 3 items

Thumbnail for A Formal Executable Semantics of Verilog

A Formal Executable Semantics of Verilog

Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories

On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories

Duran, Francisco; Meseguer, José

Thumbnail for On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories

On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories

Duran, Francisco; Meseguer, José

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 3?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)