Pattern Eliminating Transformations (English)
- New search for: Cirstea, Horatiu
- New search for: Lermusiaux, Pierre
- New search for: Moreau, Pierre-Etienne
- New search for: Cirstea, Horatiu
- New search for: Lermusiaux, Pierre
- New search for: Moreau, Pierre-Etienne
In:
Logic-based program synthesis and transformation
; 74-94
;
2021
-
ISBN:
- Conference paper / Print
-
Title:Pattern Eliminating Transformations
-
Contributors:
-
Conference:LOPSTR ; 30. ; 2020 ; Online
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.10 Theoretische Informatik -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Symbolic Computation in Maude: Some TapasMeseguer, José et al. | 2021
- 37
-
Runtime Complexity Analysis of Logically Constrained RewritingWinkler, Sarah / Moser, Georg et al. | 2021
- 56
-
Confluence and Commutation for Nominal Rewriting Systems with Atom-VariablesKikuchi, Kentaro / Aoto, Takahito et al. | 2021
- 74
-
Pattern Eliminating TransformationsCirstea, Horatiu / Lermusiaux, Pierre / Moreau, Pierre-Etienne et al. | 2021
- 95
-
Nominal Unification with Letrec and Environment-Variables . .Schmidt-Schauß, Manfred / Kutz, Yunus et al. | 2021
- 113
-
Terminating Non-disjoint Combined UnificationErbatur, Serdar / Marshall, Andrew M. / Ringeissen, Christophe et al. | 2021
- 133
-
slepice: Towards a Verified Implementation of Type Theory in Type TheoryFarka, Frantisek et al. | 2021
- 151
-
Resourceful Program Synthesis from Graded Linear TypesHughes, Jack / Orchard, Dominic et al. | 2021
- 173
-
Reasoning in the Theory of Heap: Satisfiability and InterpolationEsen, Zafer / Rümmer, Philipp et al. | 2021
- 192
-
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary StudyAmadini, Roberto / Gange, Graeme / Schachte, Peter / Sendergaard, Harald / Stuckey, Peter J. et al. | 2021
- 210
-
Translation of Interactive Datalog Programs for Microcontrollers to Finite State MachinesWenzel, Mario / Brass, Stefan et al. | 2021
- 231
-
Generating Functions for Probabilistic ProgramsKlinkenberg, Lutz / Batz, Kevin / Kaminski, Benjamin Lucien / Katoen, Joost-Pieter / Moerman, Joshua / Winkler, Tobias et al. | 2021
- 249
-
Verification of Multiplayer Stochastic Games via Abstract Dependency GraphsEnevoldsen, Soren / Jensen, Mathias Claus / Larsen, Kim Guldstrand / Mariegaard, Anders / Srba, Jiri et al. | 2021
- 271
-
Testing Your (Static Analysis) TruthsCasso, Ignacio / Morales, José F. / López-García, P. / Hermenegildo, Manuel V. et al. | 2021
- 293
-
Slicing Unconditional Jumps with Unnecessary Control DependenciesGalindo, Carlos / Pérez, Sergio / Silva, Josep et al. | 2021
- 311
-
A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear LogicMatsuoka, Satoshi et al. | 2021
- 329
-
Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistüc LogicTarau, Paul et al. | 2021