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