Back to Results
First PageMeta Content
Logic in computer science / Software engineering / Maude system / Functional languages / Formal languages / Rewriting / OBJ / Debugging / Equational logic / Theoretical computer science / Programming language theory / Mathematical logic


Declarative Debugging of Maude Modules∗ Adri´an Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Mart´ı-Oliet Technical Report SIC-6-08 Departamento de Sistemas Inform´ aticos y Computaci´ on,
Add to Reading List

Document Date: 2009-01-14 12:08:17

Open Document

File Size: 462,76 KB

Share Result on Facebook

City

Madrid / /

Company

KNIGHT / /

IndustryTerm

concurrent and distributed systems / concurrent systems / search trees / metalanguage applications / concurrent object-oriented systems / pretty-printing terms / /

Organization

Universidad Complutense de Madrid / /

Person

Nat / Alberto Verdejo / Narciso Mart / Ai / Maude As / Maude Modules∗ Adri / Rafael Caballero / /

Product

HTC HD2 Smartphone / /

ProgrammingLanguage

Maude system / /

URL

http /

SocialTag