Maude: specification and programming in rewriting logic (Q1608917): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123905910, #quickstatements; #temporary_batch_1704785786528 |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Manuel Clavel / rank | |||
Property / author | |||
Property / author: Francisco Durán / rank | |||
Property / author | |||
Property / author: Q1342251 / rank | |||
Property / author | |||
Property / author: Narciso Martí-Oliet / rank | |||
Property / author | |||
Property / author: Manuel Clavel / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Francisco Durán / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Patrick D. Lincoln / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Narciso Martí-Oliet / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: OBJ3 / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: ELAN / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CafeOBJ / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3365224 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4472433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3896478 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222858 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4223001 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specification and proof in membership equational logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3906394 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222997 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2734833 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2703706 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reflection in conditional rewriting logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385532 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2715825 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222983 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2767191 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222990 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222854 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222981 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2703691 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparing logics for rewriting: Rewriting logic, action calculi and tile logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completion of a Set of Rules Modulo a Set of Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222980 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222859 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rewriting logic as a semantic framework for concurrency: a progress report / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3839051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4263840 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4762648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2723887 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4270072 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combining matching algorithms: The regular case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2703709 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Specification of real-time and hybrid systems in rewriting logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Level-confluence of conditional rewrite systems with extra variables in right-hand sides / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2767188 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Actor theories in rewriting logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two case studies of semantics execution in Maude: CCS and LOTOS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PARLE 94, Parallel architectures and languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994. Proceedings / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:33, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maude: specification and programming in rewriting logic |
scientific article |
Statements
Maude: specification and programming in rewriting logic (English)
0 references
13 August 2002
0 references
Maude
0 references
rewriting logic
0 references
functional modules
0 references
system modules
0 references
parameterization
0 references
reflection
0 references
internal strategies
0 references
0 references
0 references