main menu



Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































control flow analysis

(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Please select a channel name or return to the main menu


Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*
make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


main menu - control flow analysis

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (
mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


main menu - control flow analysis

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[
left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
left0!12[]
)))


main menu - control flow analysis

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[
left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


main menu - control flow analysis

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( 
crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


main menu - control flow analysis

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.







































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> END

Start --> END


main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> END

Start --> END


main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> END

Start --> END


main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> END+ (1,3)A

Start --> END

(1,6) + 1 = (1,6)

main menu - control flow analysis - (# make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> END

Start --> END


main menu - control flow analysis - (# mon)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (4,6)B+ (1,6)A
A --> (4,3)B+ (1,3)A
B --> END

Start --> END


main menu - control flow analysis - (# mon)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> END+ (1,3)A

Start --> END

(1,6) + 1 = (1,6)

main menu - control flow analysis - (# mon)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
left0!12[]
)))


Start --> END

Start --> END


main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> END

Start --> END


main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (8,12)A
A --> END+ (8,11)A

Start --> END

(8,12) + 1 = (8,12)

main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (4,6)A
A --> END

Start --> END

(4,6) + 1 = (4,6)

main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A+ (4,6)B
A --> (7,2)C
B --> (7,5)C
C --> END

Start --> END


main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (4,6)B+ (1,6)A
A --> (4,3)B+ (1,3)A
B --> END

Start --> END


main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> END

Start --> END

(1,6) + 1 = (1,6)

main menu - control flow analysis - (# left0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> (4,3)B+ (1,3)A
B --> END

Start --> (1,6)A
A --> END+ (1,3)A

(1,6) = (1,6)
(1,3) = (1,3)
(4,3) + 1 = (4,3)

main menu - control flow analysis - (# right)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> END+ (1,3)A

Start --> (1,6)A
A --> END+ (1,3)A

(1,6) = (1,6)
(1,3) = (1,3)

main menu - control flow analysis - (# right)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> END+ (1,3)A

Start --> (1,6)A
A --> END+ (1,3)A

(1,6) = (1,6)
(1,3) = (1,3)

main menu - control flow analysis - (# right)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (8,12)A
A --> END+ (8,11)A

Start --> (1,6)A
A --> END+ (1,3)A

(8,12) + 1 = (8,12)

main menu - control flow analysis - (# right)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> (4,3)B+ (1,3)C
B --> (7,5)D
C --> (4,3)B+ (1,3)C+ (7,2)D
D --> END

Start --> (1,6)A
A --> END+ (1,3)A

(1,6) = (1,6)

main menu - control flow analysis - (# right)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (1,6)A
A --> (1,3)B
B --> END+ (1,3)B

Start --> (1,6)A
A --> END+ (1,3)A

(1,6) = (1,6)
(1,3) + 1 = (1,3)

main menu - control flow analysis - (# right)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.






































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (8,12)A
A --> END+ (8,11)A

Start --> (8,12)A
A --> END+ (8,11)A

(8,12) = (8,12)
(8,11) = (8,11)

main menu - control flow analysis - (# crit)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.





































































(((# make)(# mon)(# left0)
(
 (*make?1[left](# right)
        (mon!2[left,right] | make!3[right]))

 (*make?4[left](mon!5[left,left0]))

 make!6[left0]

 (*mon?7[prev,next]
        (*prev?8[](# crit)
                ( crit!9[] 
                | (crit?10[]next!11[]))
        ))
| left0!12[]
)))


Start --> (8,12)A
A --> END+ (8,11)A

Start --> (8,12)A
A --> END+ (8,11)A

(8,12) = (8,12)
(8,11) = (8,11)

main menu - control flow analysis - (# crit)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.







































































occurrence counting analysis

(((# make)(# mon)(# left0)
(
 (*make?1:1[left](# right)
        (mon!2:[|0;+oo|[[left,right] | make!3:[|0;1|][right]))

 (*make?4:1[left](mon!5:[|0;1|][left,left0]))

 make!6:[|0;1|][left0]

 (*mon?7:1[prev,next]
        (*prev?8:[|0;+oo|[[](# crit)
                ( crit!9:[|0;1|][] 
                | (crit?10:[|0;1|][]next!11:[|0;1|][]))
        ))
| left0!12:[|0;1|][]
)))


main menu

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.








































































log

parsing : 0.s
analysis : 0.26s
displaying: 0.01s

main menu
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.