ELAN
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A rewriting logic approach to operational semantics
- HasCasl
- Typed generic traversal with term rewriting strategies
- Stratego
- Tiburon
- CLAIRE
- BABEL
- ANTLR
- ATERM
- TAMPR
- OMRS
- The use of a strategy language for solving search problems
- ELAN from a rewriting logic point of view
- Maude: specification and programming in rewriting logic
- Reflection in conditional rewriting logic
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Specification of real-time and hybrid systems in rewriting logic
- Rewriting logic: Roadmap and bibliography
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- OBJ3
- CafeOBJ
- Maude
- Timbuk
- Context-sensitive rewriting strategies
- External rewriting for skeptical proof assistants
- GC\(^{2}\): a generational conservative garbage collector for the ATERM library
- Manipulating algebraic specifications with term-based and graph-based representations
- PORGY
- PMaude
- Kima
- TeaBag
- Kernel-LEAF
- Polyp
- Tom
- FSA
- CARIBOO
- VMTL
- JITty
- Programming and symbolic computation in Maude
- ASF+SDF
- TXL
- Strategies for combining decision procedures
- visone
- Labelled graph strategic rewriting for social networks
- A survey of strategies in rule-based program transformation systems
- Verifying an infinite systolic algorithm using third-order equational methods
- Conditional Confluence
- SmallEiffel
- LOTOSphere
- Termination and normalisation under strategy proofs in ELAN
- Rewriting logic as a framework for generic verification tools
- ASF+SDF parsing tools applied to ELAN
- Handling relations over finite domains in the rule-based system ELAN
- Maude versus Haskell: An experimental comparison in security protocol analysis
- The rewriting calculus. II
- scientific article; zbMATH DE number 1617293 (Why is no real title available?)
- scientific article; zbMATH DE number 1614701 (Why is no real title available?)
- A formal approach to object-oriented software engineering
- scientific article; zbMATH DE number 1615226 (Why is no real title available?)
- scientific article; zbMATH DE number 1615244 (Why is no real title available?)
- KIDS
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- scientific article; zbMATH DE number 1688813 (Why is no real title available?)
- scientific article; zbMATH DE number 1722700 (Why is no real title available?)
- Combining higher-order and first-order computation using -calculus: Towards a semantics of ELAN
- Labelled graph rewriting meets social networks
- Generic type-preserving traversal strategies
- A survey of rewriting strategies in program transformation systems
- Induction for termination with local strategies
- Certifying term rewriting proofs in ELAN
- Applying ELAN strategies in simulating processors over simple architectures
- Term rewriting with type-safe traversal functions
- Outermost ground termination
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- Term collections in {\(\lambda\)} and {\(\rho\)}-calculi
- Sharing in the graph rewriting calculus
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
- Rewriting strategies and strategic rewrite programs
- Reachability analysis of term rewriting systems with Timbuk
- scientific article; zbMATH DE number 2089377 (Why is no real title available?)
- Handbook of constraint programming.
- A rule-based approach to the implementation of evaluation strategies
- Dependency pairs for proving termination properties of conditional term rewriting systems
- Computationally Equivalent Elimination of Conditions
- bc
- scientific article; zbMATH DE number 1189279 (Why is no real title available?)
- scientific article; zbMATH DE number 1231536 (Why is no real title available?)
- scientific article; zbMATH DE number 1231541 (Why is no real title available?)
- scientific article; zbMATH DE number 1231542 (Why is no real title available?)
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- scientific article; zbMATH DE number 1231657 (Why is no real title available?)
- scientific article; zbMATH DE number 1231660 (Why is no real title available?)
- scientific article; zbMATH DE number 1231663 (Why is no real title available?)
- scientific article; zbMATH DE number 1231665 (Why is no real title available?)
- scientific article; zbMATH DE number 1231666 (Why is no real title available?)
- scientific article; zbMATH DE number 1231672 (Why is no real title available?)
- scientific article; zbMATH DE number 1231673 (Why is no real title available?)
- scientific article; zbMATH DE number 1231676 (Why is no real title available?)
- scientific article; zbMATH DE number 1323194 (Why is no real title available?)
- scientific article; zbMATH DE number 1342254 (Why is no real title available?)
This page was built for software: ELAN
