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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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]))
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: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]))
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.
parsing : 0.s
analysis : 0.1s
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.