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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A -->
END+ (1,5)A
Start -->
END
(1,16) + 1 = (1,16)
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
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)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start -->
END
Start -->
END
main menu - control flow analysis - (# server)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B -->
END+ (6,3)C
C --> (2,12)B
Start -->
END
(1,16) + 1 = (1,16)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# server)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start -->
END
Start -->
END
main menu - control flow analysis - (# port)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start -->
END
Start -->
END
main menu - control flow analysis - (# port)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start -->
END
(1,16) + 1 = (1,16)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# port)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start -->
END
(1,16) + 1 = (1,16)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# port)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start -->
END
Start -->
END
main menu - control flow analysis - (# port)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B -->
END+ (6,3)C
C --> (2,12)B
Start --> (1,16)A
A -->
END+ (1,5)A
(1,5) = (1,5)
(1,16) = (1,16)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# address)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A -->
END+ (1,5)A
Start --> (1,16)A
A -->
END+ (1,5)A
(1,16) = (1,16)
(1,5) = (1,5)
main menu - control flow analysis - (# address)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A -->
END+ (1,5)A
Start --> (1,16)A
A -->
END+ (1,5)A
(1,16) = (1,16)
(1,5) = (1,5)
main menu - control flow analysis - (# address)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start --> (1,16)A
A -->
END+ (1,5)A
(1,16) = (1,16)
(1,5) = (1,5)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# address)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start --> (1,16)A
A -->
END+ (1,5)A
(1,16) = (1,16)
(1,5) = (1,5)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# address)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B -->
END+ (6,3)C
C --> (2,12)B
Start --> (1,16)A
A -->
END+ (1,5)A
(1,5) = (1,5)
(1,16) = (1,16)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# request)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start --> (1,16)A
A -->
END+ (1,5)A
(1,16) = (1,16)
(1,5) = (1,5)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# request)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start --> (1,16)A
A -->
END+ (1,5)A
(1,5) = (1,5)
(1,16) = (1,16)
(2,4) + 1 = (2,4)
main menu - control flow analysis - (# request)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
(1,5) = (1,5)
(1,16) = (1,16)
(2,4) = (2,4)
(2,12) = (2,12)
(6,3) = (6,3)
main menu - control flow analysis - (# deal)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,data]
(port?7[](# deal)(
deal!8[data]
|
deal?9[rep]
(email!10[rep] | port!11[])
)
+
email!12[]
))
| port!13[]
| port!14[]
| port!15[]
| make!16[]))
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
Start --> (1,16)A
A --> (1,5)A+ (2,4)B
B --> (6,3)C
C -->
END+ (2,12)B
(1,5) = (1,5)
(1,16) = (1,16)
(2,4) = (2,4)
(2,12) = (2,12)
(6,3) = (6,3)
main menu - control flow analysis - (# deal)
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.
((# make)(# server)(# port)
(
(*make?1:1[](# address)(# request)
(
(*address?2:[|0;+oo|[[]server!3:[|0;+oo|[[address,request])
|
address!4:[|0;+oo|[[]
|
make!5:[|0;1|][]
))
|
(*server?6:1[email,data]
(port?7:[|0;+oo|[[](# deal)(
deal!8:[|0;3|][data]
|
deal?9:[|0;3|][rep]
(email!10:[|0;+oo|[[rep] | port!11:[|0;3|][])
)
+
email!12:[|0;+oo|[[]
))
| port!13:[|0;1|][]
| port!14:[|0;1|][]
| port!15:[|0;1|][]
| make!16:[|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.55s
displaying: 0.04s
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.