Examples of the Maude strategy language

Blackboard 1.47 Kb
Seen in Towards a Strategy Language for Maude · Deduction, Strategies, and Rewriting · The Maude strategy language

Tags: Games
Map (functorial application of strategies) 1.93 Kb
Seen in Towards a Strategy Language for Maude

Tags: Parameterized
CCS operational semantics 5.33 Kb
Seen in Towards a Strategy Language for Maude

Tags: Semantics

Children: Model checking for CCS
Model checking for CCS (zip) 4.69 Kb
Tags: Model checking · Semantics
Backtracking scheme 542 B
Seen in Towards a Strategy Language for Maude · Deduction, Strategies, and Rewriting · Parameterized Strategies Specification in Maude

Tags: Parameterized

Children: Labyrinth · Graph m-coloring and Hamiltonian cycle search · 8-Queens · 15-puzzle by backtracking
Labyrinth (zip) 1.4 Kb
Seen in Towards a Strategy Language for Maude

Tags: Parameterized
Telecommunication networks 8.98 Kb
Seen in Towards a Strategy Language for Maude

Tags: Object-oriented · Protocols
Insertion sort 1.52 Kb
Seen in Towards a Strategy Language for Maude · Deduction, Strategies, and Rewriting · Maude manual v3.4
Abstract congruence closure 5.49 Kb
Seen in Deduction, Strategies, and Rewriting

Tags: Deductive procedures

Children: Lazy list with generic traversals
Rewriting semantics of the strategy language (zip) 41.09 Kb, 2 files
Seen in A Rewriting Semantics for Maude Strategies

Tags: Semantics
Graph m-coloring and Hamiltonian cycle search (zip) 3.74 Kb
Seen in Parameterized Strategies Specification in Maude

Tags: Parameterized
The Simplex algorithm (zip) 33.14 Kb, 4 files
Seen in Parameterized Strategies Specification in Maude

Tags: Model checking · Parameterized
The λ-calculus 4.11 Kb
Seen in Parameterized Strategies Specification in Maude · An Overview of the Maude Strategy Language and its Applications

Tags: Parameterized · Semantics
The REC language 7.65 Kb
Tags: Parameterized · Semantics

Children: Model checking of REC programs
Model checking of REC programs (zip) 2.13 Kb
Tags: Model checking · Semantics
Dining philosophers 5.06 Kb
Seen in Model Checking Strategy-Controlled Rewriting Systems

Tags: Model checking
Hanoi tower 1.97 Kb
Seen in Programming and symbolic computation in Maude · Maude manual v3.4

Tags: Games
Logic programming with negation and cuts as in Prolog 16.32 Kb
Seen in Programming and symbolic computation in Maude · Maude manual v3.4

Tags: Semantics
8-Queens (zip) 1.05 Kb
Seen in Maude manual v3.4 · The Maude strategy language

Tags: Parameterized
Context-sensitive rewriting 6.05 Kb
Seen in Metalevel transformation of strategies
Strategy-language extension skeleton (zip) 74.95 Kb, 7 files
Seen in Metalevel transformation of strategies

Tags: Model checking

Children: Congruence operators and generic traversals (language extension)
Congruence operators and generic traversals (language extension) (zip) 11.54 Kb
Seen in Metalevel transformation of strategies
Lazy list with generic traversals (zip) 1.14 Kb
Multistrategies (zip) 57.59 Kb, 5 files
Seen in Metalevel transformation of strategies

Tags: Metaenvironments · Model checking

Children: Tic-Tac-Toe
Tic-Tac-Toe (zip) 8.8 Kb
Tags: Games · Model checking
Membrane system simulator and model checker (zip) 108.15 Kb, 20 files
Seen in Simulating and model checking membrane systems using strategies in Maude

Tags: Biologically-inspired · Metaenvironments · Model checking
Equational completion procedure (zip) 51.14 Kb, 20 files
Seen in The Maude strategy language

Tags: Deductive procedures
Equational completion procedure (old version) (zip) 10.04 Kb, 4 files
Seen in Basic completion strategies as another application of the Maude strategy language · An Overview of the Maude Strategy Language and its Applications

Tags: Deductive procedures
Eden (zip) 58.42 Kb, 4 files
Seen in Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

Tags: Semantics
15-puzzle 7.41 Kb
Seen in The Maude strategy language

Tags: Games
Bridge and torch 5.14 Kb
Tags: Games · Model checking
Sudoku solver 14.14 Kb
Seen in Solving Sudoku Puzzles with Rewriting Rules

Tags: Games
Operational semantics of the strategy language (zip) 26.73 Kb, 2 files
Tags: Model checking · Semantics

Children: Kleene-star iteration · Synchronized and until strategies · Synchronized strategy combinator (simpler implementation) · Instance of the operational semantics with the rivercrossing puzzle · Instance of the operational semantics with the cups and balls game · Instance of the operational semantics with the rivercrossing puzzle
Kleene-star iteration (zip) 4.68 Kb
Tags: Model checking

Children: Cups and balls
Synchronized and until strategies (zip) 4.71 Kb
Tags: Model checking
Synchronized strategy combinator (simpler implementation) (zip) 1.82 Kb
Tags: Model checking
Instance of the operational semantics with the rivercrossing puzzle (zip) 989 B
Tags: Model checking
Instance of the operational semantics with the cups and balls game (zip) 1.07 Kb
Tags: Model checking
Instance of the operational semantics with the rivercrossing puzzle (zip) 1.22 Kb
Tags: Model checking
Cups and balls 1.66 Kb
Tags: Games · Kleene-star iteration · Model checking
Strategist kit 8.29 Kb
Neural networks (zip) 41.72 Kb, 3 files
Seen in Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude

Tags: Biologically-inspired
RIP protocol 22.45 Kb
Seen in The Maude strategy language

Tags: Model checking · Object-oriented · Protocols
Ambient calculus (zip) 22.04 Kb, 4 files
Tags: Semantics
Dynamic programming scheme 6.24 Kb
Traditional card games 11.87 Kb
Tags: Games
Martelli-Montanari unification algorithm 6.69 Kb
Tags: Deductive procedures
Simple strategies operating on relations 1.79 Kb
Simple strategy manipulation at the metalevel 4.86 Kb
River crossing puzzle (second version) 3.98 Kb
Seen in Strategies, Model Checking and Branching-Time Properties in Maude · An Overview of the Maude Strategy Language and its Applications

Tags: Model checking
River crossing puzzle 2.35 Kb
Seen in Strategies, model checking and branching-time properties in Maude

Tags: Model checking
River crossing puzzle (original version) 1.07 Kb
Tags: Games
River crossing puzzle (played at random) (zip) 2.4 Kb
Tags: Model checking · Probabilistic examples
Semaphores and scheduling policies 11.16 Kb
Tags: Model checking
Mutual exclusion 1.55 Kb
Tags: Model checking
Vending machine 1.65 Kb
Seen in Strategies, Model Checking and Branching-Time Properties in Maude

Tags: Model checking
Roundabout 4.6 Kb
Tags: Model checking
Train crossing 6.31 Kb
Tags: Model checking · Object-oriented · Spin examples
Zune's lap year bug 2.51 Kb
Tags: Model checking · Object-oriented · Spin examples
Word wrap algorithm (zip) 13.05 Kb, 2 files
Tags: Parameterized
Fractals (zip) 10.39 Kb, 3 files
Tags: Parameterized
Generic branch and bound scheme (zip) 37.51 Kb, 9 files
Tags: Parameterized
Traveling salesperson B&B instance 2.99 Kb
Tags: Parameterized
15-puzzle B&B instance (zip) 5.42 Kb
Tags: Parameterized
Ninjas' consensus protocols 2.49 Kb
Tags: Model checking · Probabilistic examples · Protocols
Ninjas' consensus protocol (tuple encoding) 2.94 Kb
Tags: Model checking · Probabilistic examples · Protocols
Ninjas' consensus protocol (choice operator) (zip) 1.53 Kb
Tags: Model checking · Probabilistic examples · Protocols
Ninjas' consensus protocol (continuous-time semantics) 2.08 Kb
Tags: Probabilistic examples · Protocols
A comparison of DPLL and other SAT-solving strategies external
Tags: Deductive procedures
Developing secure bitcoin contracts with BitML external
Tags: Model checking · Protocols
Feature tests 5.36 Kb
Lamport's bakery algorithm (zip) 4.97 Kb
Tags: Model checking · Object-oriented · Spin examples
15-puzzle by backtracking (zip) 1.69 Kb
Tags: Parameterized
Posthouses in a road 2.56 Kb
Tags: Model checking · Probabilistic examples
Message relay 2.07 Kb
Tags: Model checking · Object-oriented · Probabilistic examples
Unrealistic ecosystem 9.61 Kb
Tags: Biologically-inspired
Turing machine recognizing strategies 5.62 Kb
Tossing a coin (zip) 2.0 Kb, 2 files
Seen in An Overview of the Maude Strategy Language and its Applications

Tags: Model checking · Probabilistic examples
PMaude's exponential clock (adapted) 1.23 Kb
Tags: Probabilistic examples
Implementation of the choice operator in the standard language 1.52 Kb
Tags: Probabilistic examples
Predator-prey model (chemical reaction network) (zip) 3.75 Kb, 2 files
Tags: Probabilistic examples
Lokta-Volterra CRN with three species (zip) 5.54 Kb, 2 files
Tags: Probabilistic examples
Clock module (chemical reaction network) 1.95 Kb
Tags: Probabilistic examples
Flock of birds (population protocol) 4.21 Kb
Tags: Probabilistic examples
Strategy generation for chemical reaction networks (zip) 25.34 Kb, 5 files
Tags: Probabilistic examples
Generator of Maude (or C/C++) CRN simulators from SeQuaiA files (zip) 47.83 Kb, 7 files
Tags: Probabilistic examples
Bounded Retransmission Protocol (zip) 18.12 Kb, 3 files
Tags: Model checking · Object-oriented · Probabilistic examples · Protocols
PMaude's client-server (adapted) (zip) 3.75 Kb, 3 files
Tags: Object-oriented · Probabilistic examples
PMaude's symmetric polling (adapted) (zip) 5.04 Kb, 3 files
Tags: Object-oriented · Probabilistic examples
The statistical programming language Prob (zip) 16.86 Kb, 3 files
Seen in QMaude: Quantitative Specification and Verification in Rewriting Logic

Tags: Probabilistic examples · Semantics
Knuth-Yao sampler (zip) 3.42 Kb, 2 files
Seen in QMaude: Quantitative Specification and Verification in Rewriting Logic

Tags: Model checking · Probabilistic examples
Dining cryptographers 4.11 Kb
Tags: Model checking · Probabilistic examples
PMaude's coin example (adapted) external
Tags: Probabilistic examples
Simple stochastic Petri net (zip) 6.41 Kb, 2 files
Tags: Model checking · Probabilistic examples
Simple stochastic Petri net (with transitions as terms) (zip) 7.95 Kb, 2 files
Tags: Model checking · Probabilistic examples
Bogosort (zip) 2.59 Kb, 2 files
Tags: Model checking · Probabilistic examples
Simple experiment on transmission delays in HTTP versions 2 and 3 (zip) 16.33 Kb, 4 files
Seen in QMaude: Quantitative Specification and Verification in Rewriting Logic

Tags: Model checking · Probabilistic examples