main menu

control flow analysis
occurrence counting analysis
log
help
new analysis
home page

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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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?¹[left](# right)(mon!²[left,right]|make!³[right]))
|(*make?⁴[left](mon!⁵[left,left0]))
|make!⁶[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.

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]))

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.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.