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.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
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.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
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.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
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.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
Start --> (1,4)A
A -->
END+ (1,3)A
Start -->
END
(1,4) + 1 = (1,4)
main menu - control flow analysis - (# a)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
Start -->
END
Start -->
END
main menu - control flow analysis - (# a)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
Start -->
END
Start -->
END
main menu - control flow analysis - (# a)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# a)(*a?1[]((# b)(b!2[b] | a!3[])) | a!4[])
Start --> (1,4)A
A -->
END+ (1,3)A
Start --> (1,4)A
A -->
END+ (1,3)A
(1,4) = (1,4)
(1,3) = (1,3)
main menu - control flow analysis - (# b)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
(# a)(*a?1:1[]((# b)(b!2:[|0;+oo|[[b] | a!3:[|0;1|][])) | a!4:[|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.
parsing : 0.s
analysis : 0.01s
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.