Maude - PDFSEARCH.IO - Document Search Engine

Maude
Results: 229

#	Item
201	Specifying, programming, and verifying in Maude Some applications to Model-Driven Engineering and Graph Rewriting (material based on a course by Narciso Mart´ı-Oliet, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-10-24 10:43:00 Universal algebra Mathematical logic Model theory Functional languages Formal languages ALGOL 68 Structure Rewriting Q Programming language theory Mathematics Logic
202	Maude 2.0 Primer Version 1.0 Theodore McCombs August 2003 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2003-09-03 13:05:37 Procedural programming languages C++ C++ classes Function Constructor ALGOL 68 Polish notation Addition Module Software engineering Mathematics Computer programming
203	The Maude 2.0 System M. Clavel F. Dur´an N. Mart´ı-Oliet Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2003-06-22 06:25:26 ALGOL 68 List Maude system Software engineering Programming language theory Computing
204	Associative-Commutative Rewriting on Large Terms Steven Eker, SRI Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2003-06-22 06:25:40 Multiset Associative containers Mathematics Function Binary tree
205	Twenty Years of Rewriting Logic Jos´e Meseguer Computer Science Department University of Illinois at Urbana-Champaign, IL 61801, USA Abstract Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:45 Formal languages Logic programming Automated theorem proving Propositional calculus Rewriting Unification Substitution Abstract rewriting system Entailment Logic Theoretical computer science Logic in computer science
206	Unification in Maude Steven Eker 1 Unification Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-04-09 21:15:33 Logic programming Automated theorem proving Constraint programming Admissible rule Unification Satisfiability Local consistency Mathematical logic Logic Model theory
207	On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories1 Francisco Dur´an Universidad de M´ alaga, Spain Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:46 Mathematical structures Model theory Formal languages Algebraic structures Metalogic Structure Rewriting Maude system Unification Mathematical logic Mathematics Logic
208	RULE[removed]Order-sorted Equational Unification Revisited Joe Hendrix and José Meseguer1 Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:47 Unification Admissible rule Sorting algorithms Entailment Symbol Logic Automated theorem proving Logic programming
209	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
210	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 Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:17 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

UPDATE