scholarly journals Some Notes on Basic Syntactic Mutation

10.29007/sdp1 ◽  
2018 ◽  
Author(s):  
Kimberly Gero ◽  
Chris Bouchard ◽  
Paliath Narendran
Keyword(s):  
Decision Problem ◽  
Term Rewriting ◽  
Research Area ◽  
Important Research ◽  
Term Rewriting Systems ◽  
Seminal Paper ◽  
Rewrite Systems ◽  
Rewriting Systems ◽  
Term Rewrite Systems ◽  
Important Research Area

Unification modulo convergent term rewrite systems is an important research area with many applications. In their seminal paper Lynch and Morawska gave three conditions on rewrite systems that guarantee that unifiability can be checked in polynomial time (P). We show that these conditions are tight, in the sense that relaxing any one of them will "upset the applecart," giving rise to unification problems that are not in P (unless P = NP). We also investigate a related decision problem: we show the undecidability of subterm-collapse for the restricted term rewriting systems that we are considering.

PATTERN MATCHING CODE MINIMIZATION IN REWRITING-BASED PROGRAMMING LANGUAGES

2002 ◽  
Vol 13 (06) ◽  
pp. 873-887
Author(s):  
NADIA NEDJAH ◽  
LUIZA DE MACEDO MOURELLE
Keyword(s):  
Programming Languages ◽  
Pattern Matching ◽  
Term Rewriting ◽  
Directed Acyclic Graphs ◽  
Tree Automaton ◽  
Minimal Tree ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Acyclic Graphs ◽  
Space Requirements

We compile pattern matching for overlapping patterns in term rewriting systems into a minimal, tree matching automata. The use of directed acyclic graphs that shares all the isomorphic subautomata allows us to reduce space requirements. These are duplicated in the tree automaton. We design an efficient method to identify such subautomata and avoid duplicating their construction while generating the dag automaton. We compute some bounds on the size of the automata, thereby improving on previously known equivalent bounds for the tree automaton.

Climate change and employment relations

2017 ◽  
Vol 59 (5) ◽  
pp. 670-679 ◽  
Author(s):  
Caleb Goods
Keyword(s):  
Climate Change ◽  
Research Area ◽  
Research Note ◽  
Employment Relations ◽  
Important Research ◽  
Workplace Relations ◽  
Important Research Area

A central, yet overlooked, aspect of contemporary employment relations is the growing impact climate change is having on workplace relations. This research note outlines how climate change and workplace relations are linked, the minimal academic focus this important research area has received and the limited response from employment relations actors to the climate change challenge. Some examples of ‘climate bargaining’ are given to demonstrate both the connection between employment relations and climate change and to provide possible models for meaningfully advancing climate change actions in the workplace.

Sign in / Sign up

Export Citation Format

Share Document