Results 31 to 40 of about 324,410 (283)
Reversible Computation in Term Rewriting [PDF]
, 2017 Essentially, in a reversible programming language, for each forward computation from state $S$ to state $S'$, there exists a constructive method to go backwards from state $S'$ to state $S$.
76074 +5 more
core +3 more sources
Rewriting in Free Hypergraph Categories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius structures ...
Fabio Zanasi
doaj +1 more source
Generic Encodings of Constructor Rewriting Systems [PDF]
, 2019 Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order over the rules and, in the context of rewrite based languages, with the ...
Avanzini Martin +10 more
core +5 more sources
NJES: Nordic Journal of English studies, 2022 Nearly 1 in 50 in the US will be diagnosed with Autism Spectrum Disorder (ASD) (Dietz et al. 2020), while in Sweden, statistics oscillate around 1.5% (Linnsand et al. 2021).
Anna Justine Sochacka
doaj +1 more source
Transforming Outermost into Context-Sensitive Rewriting [PDF]
Logical Methods in Computer Science, 2010 We define two transformations from term rewriting systems (TRSs) to context-sensitive TRSs in such a way that termination of the target system implies outermost termination of the original system.
Joerg Endrullis, Dimitri Hendriks
doaj +1 more source
A Rewriting View of Simple Typing [PDF]
Logical Methods in Computer Science, 2013 This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective.
Aaron Stump +3 more
doaj +1 more source
Controlling Rewriting by Rewriting
Electronic Notes in Theoretical Computer Science, 1996 AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop a strategy language whose operational semantics is also based on rewriting. This language is described in ELAN, a language based on computational systems that are simply rewriting theories controlled by strategies.
Borovanský, Peter +2 more
openaire +1 more source
Remakes and Remakers from the Perspective of Translatıon Studies
İstanbul Üniversitesi Çeviribilim Dergisi, 2023 Since the early days of Turkish television, which profoundly affects societal engagement in Turkish culture, television (TV) series garner a sizeable audience and a significant share of total airtime is TV series (“dizi” in Turkish).
Mehmet Erguvan
doaj +1 more source
Criticón, 2023 With the aim of shedding some light on the poetic production of the Count of Villamediana in traditional meters (essentially, redondillas), the article proposes to analyze the procedures, of transcoding and (auto)rewriting, through which the poet reworks
Flavia Gherardi
doaj +1 more source
Journal of Symbolic Computation, 1996 In this article we propose an extension of term rewriting techniques to automate the deduction in monotone pre-order theories. To prove an inclusionabfrom a given setIof them, we generate fromI, using a completion procedure, abi-rewrite system, that is, a pair of rewrite relations and , and seek a common termcsuch thatacandbc.
Levy, Jordi, Agustí, Jaume
openaire +3 more sources