Re: [madPL] Synthesis / SemGuS Reading Group: Grammar Flow Analysis

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

If anyone wants to attend in person, we'll be in Room 5331

On Tue, Jul 27, 2021 at 1:03 PM Keith Jens Carl Johnson <pl-seminar-bounces@xxxxxxxxxxx> wrote:

Hello everyone,

Â

The Synthesis / SemGuS Reading Group returns this week, Thursday (7/29) at 1pm on Zoom:

https://uwmadison.zoom.us/j/96450343227?pwd=emtGcHROSVZoOWsyWEFhN2wyazA2Zz09

Â

This week, Iâll be presenting on Grammar Flow Analysis (MÃncke, Wilhelm 1991), followed by a discussion about its applicability to solving synthesis problems.

Â

Abstract:

â

This paper specifies the theoretical basis for the implementation of different generators of the OPTRAN system. Grammar Flow Analysis uses the techniques of data flow analysis at the meta level of compiler construction. The analogue of the states in data flow analysis are the syntax trees together with some information that is associated with trees by propagation functions. One example is the association of characteristic graphs, another example is the association of sets of matching tree patterns.

â

Â

âHomeworkâ question:

Generally speaking, grammar flow analysis allows proving properties about non-terminals in a grammar. Traditional examples of this include the first and follow sets in parsing. What properties about non-terminals might be useful to know during program synthesis?

Â

Â

-Keith

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

--

-Loris