Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Aligning an Expression with a Subexpression
Summarised Output
person
corresponds to
person
person
corresponds to
person
person.name
corresponds to
person.name
person.age
corresponds to
person.age
0
corresponds to
0
age >= 0
corresponds to
age >= 0
domain_rule#3
doesn't correspond to anything in the second model
domain_rule#4
doesn't correspond to anything in the first model
HLC-correspondences:
bound#8
corresponds to
bound#9
Email me