Meaning(pr) ==
let dv,hdr,S,P,f,g = pr in
let T,A,pr = Meaning(dv) in
<
es.A 
f
baseclass(hdr;S;v.P[v])@g
, mk-init-sys(prop-rule-realizer(eclass-program-flows(pr);S;f;g;hdr))
>
Definitions :
spreadn: spread6,
spreadn: spread3,
cdv-meaning: Meaning(dv),
pair: <a, b>,
lambda: x.A[x],
es-propagation-rule: A f B@g,
set: {x:A| B[x]} ,
assert: 
b,
baseclass: baseclass(h;T;v.P[v]),
so_apply: x[s],
mk-init-sys: mk-init-sys(Cs),
prop-rule-realizer: prop-rule-realizer(pr;T;f;g;hdr),
eclass-program-flows: eclass-program-flows(p)
FDL editor aliases :
prop-rule-meaning
Meaning(pr) ==
let dv,hdr,S,P,f,g = pr in
let T,A,pr = Meaning(dv) in
<\mlambda{}es.A {}f\mRightarrow{} baseclass(hdr;S;v.P[v])@g
, mk-init-sys(prop-rule-realizer(eclass-program-flows(pr);S;f;g;hdr))
>
Date html generated:
2010_08_27-PM-08_15_17
Last ObjectModification:
2010_06_23-PM-04_04_56
Home
Index