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