Strong and NV-sequentiality of constructor systems
type: Item
instance of: scholarly article
title: Strong and NV-sequentiality of constructor systems
zbMATH Open document ID: 1176.68097
author: Salvador Lucas
published in: Information Processing Letters
publication date: 2009-07-09T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5576941
zbMATH Keywords: programming languages
zbMATH Keywords: sequentiality
zbMATH Keywords: strategies
zbMATH Keywords: term rewriting
describes a project that uses: Maude
MaRDI profile type: Publication
full work available at URL: j.ipl.2003.11.006
OpenAlex ID: W1964852933
cites work: Maude: specification and programming in rewriting logic
cites work: Sequentiality, monadic second-order logic and tree automata.
cites work: Decidable call by need computations in term rewriting (extended abstract)
cites work: Bounded, strongly sequential and forward-branching term rewriting systems
cites work: Q4297316
cites work: Strongly sequential and inductively sequential term rewriting systems
cites work: Decidable approximations of term rewriting systems
cites work: Sequentiality in orthogonal term rewriting systems
cites work: Q4799892
cites work: Root-neededness and approximations of neededness
cites work: Context-sensitive rewriting strategies
cites work: Q4938609
cites work: Q4705608
cites work: NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
cites work: Q4023829
cites work: Classes of equational programs that compile into efficient machine code
DOI: 10.1016/J.IPL.2003.11.006
description: scientific article; zbMATH DE number 5576941