researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2007
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
completeness
computational reflection
data-flow
debugging
feature-oriented programming
grammar
graph-rewriting
logic
logic programming
meta programming
meta-model
meta-objects
mobile
model checking
object-oriented programming
parsing
program verification
programming
reflection
Filter by Author
OR
AND
NOT
1
Adrián Riesco
Alberto Verdejo
Azadeh Farzan
Carolyn L. Talcott
Christiano Braga
Francisco Durán
Joe Hendrix
José Meseguer
Manuel Clavel
Mark-Oliver Stehr
Miguel Palomino
Narciso Martí-Oliet
Patrick Lincoln
Peter Csaba Ölveczky
Ralf Sasse
Steven Eker
Filter by Top terms
[+]
OR
AND
NOT
1
application
applications
areas
basic
checking
commands
complete
computation
core
data
debugging
extending
framework
full
functional
grammar
maude
model
modules
object
All About Maude (maude)
Editions
Publications
Viewing Publication 1 - 25 from 25
2007
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
, editors,
Volume 4350 of
Lecture Notes in Computer Science
, Springer,
2007.
Some Tools
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
,
Christiano Braga
,
Azadeh Farzan
,
Joe Hendrix
,
Peter Csaba Ölveczky
,
Miguel Palomino
,
Ralf Sasse
,
Mark-Oliver Stehr
,
Alberto Verdejo
.
maude 2007
:
667-693
[doi]
Syntax and Basic Parsing
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
39-59
[doi]
Complete List of Maude Commands
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
737-749
[doi]
LTL Model Checking
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
385-418
[doi]
Reflection, Metalevel Computation, and Strategies
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
419-458
[doi]
Debugging and Troubleshooting
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
697-736
[doi]
Metaprogramming Applications
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
459-483
[doi]
Using Maude
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
31-37
[doi]
Module Operations
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
185-230
[doi]
Mobile Maude
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
,
Adrián Riesco
,
Alberto Verdejo
.
maude 2007
:
485-522
[doi]
Model Checking Invariants Through Search
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
373-384
[doi]
Specifying Parameterized Data Structures in Maude
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
,
Miguel Palomino
,
Alberto Verdejo
.
maude 2007
:
307-338
[doi]
A Sampler of Application Areas
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
645-665
[doi]
Functional Modules
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
61-118
[doi]
Predefined Data Modules
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
231-305
[doi]
Playing with Maude
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
,
Miguel Palomino
,
Alberto Verdejo
.
maude 2007
:
159-184
[doi]
User Interfaces and Metalanguage Applications
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
523-555
[doi]
Full Maude: Extending Core Maude
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
559-597
[doi]
Object-Oriented Modules
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
599-642
[doi]
A Hierarchy of Data Types: From Trees to Sets
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
119-129
[doi]
System Modules
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
131-157
[doi]
Introduction
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
1-28
[doi]
Object-Based Programming
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
339-372
[doi]
Core Maude Grammar
Manuel Clavel
,
Francisco Durán
,
Steven Eker
,
Patrick Lincoln
,
Narciso Martí-Oliet
,
José Meseguer
,
Carolyn L. Talcott
.
maude 2007
:
751-756
[doi]
Sign in
or
sign up
to see more results.