Confluence

Known as: Atlassian Confluence 
Confluence is team collaboration software. Written in Java and mainly used in corporate environments, it is developed and marketed by Atlassian… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1964-2018
0204019642018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Conformity is a type of social influence involving a change in opinion or behavior in order to fit in with a group. Employing… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2011
2011
This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so… (More)
  • table 2
  • table 1
Is this relevant?
2007
2007
Constraint Handling Rules (CHRs) are a powerful rule based language for specifying constraint solvers. Critical for any rule… (More)
Is this relevant?
2005
2005
It is shown that it is undecidable in general whether a terminating graph rewriting system is confluent or not—in contrast to the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Constraint Simplification Rules (CSR) is a subset of the Constraint Handling Rules (CHR) language. CHR is a powerful special… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Constraint Handling Rules (CHR) allow one to specify and implement both propagation and simpliication for user-deened constraints… (More)
Is this relevant?
1996
1996
Innermost-confluence is important in giving call-by-value and denotational semantics and outermost-confluence is important in… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Static analysis methods are given for determining whether arbitrary sets of database production rules are (1) guaranteed to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Algebraic specifications of abstract data types can often be viewed as systems of rewrite rules. Here we consider rewrite rules… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?