Please enable JavaScript.
Coggle requires JavaScript to display documents.
select_cl, relRef (|), ref (|), constraints, relRef (2), select_cl, select…
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
assign a; variable v1, v2; Select s such that Parent( _, a) pattern a(v1, _ )
assign a1, a2, while w; variable v; procedure p; Select <a1, w> such that Modifies(v, _) and Modifies(p, _) pattern a1(v, _) pattern w(v, _)
Check possible conversions in
(1) Modifies_s to Modifies_p (2) Uses_s to Uses_p (3) syn_assign to syn_while
-
-
procedure p; Select p such that Follows(p, p)
procedure p; Select p such that Modifies(p, p)
assign a; Select a pattern a("var", _)
-
-
-
-
-
-
such that Parent(s1, s2) and Follows(s1, 2) Pattern a (v, _) with n = n
-
-
-
-
-
pattern a(v, ) and a(v, ) such that Parent(s1, s2) such that Parent(s1, s2) with n = n
while w; variable v;
Select w such that Modifies(w,v)
-
-
-
-
-