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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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 - (# 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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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 - (# 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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)
(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)(# deal)
(
(*make?1[](# address)(# request)
(
(*address?2[]server!3[address,request])
|
address!4[]
|
make!5[]
))
|
(*server?6[email,request]
(port?7[](
port!8[]
|
deal!9[request]
|
deal?10[rep]email!11[rep]
)
+
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)(# deal)
(
(*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,request]
(port?7:[|0;+oo|[[](
port!8:[|0;3|][]
|
deal!9:[|0;+oo|[[request]
|
deal?10:[|0;+oo|[[rep]email!11:[|0;+oo|[[rep]
)
+
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.9s
displaying: 0.03s
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.