Refining a source model
Refining a source model
Extracted source model is approximate
Iteratively refine the specification to improve accuracy [
]
@ if functionName == ( “if” | “for” ) then fail @ \( [ {
}+ ] \) [ {
; }+ ] \{
Previous slide
Next slide
Back to the first slide
View Graphic Version