[e-lang] Taming of Pict
kosik at fiit.stuba.sk
Thu Jan 24 11:49:58 EST 2008
-----BEGIN PGP SIGNED MESSAGE-----
During the summer, I have posted a lightweight article about taming of Pict (turning Pict into a
proper object-capability language) and to a nearby conference (SOFSEM).
The talk is already over. It did not go to detail about the language (there was not much time) but
hopefully covered usefullness object-capabilities.
The open problem were not solved yet (related to possibilities of untrusted components to waste as
much memory and as much CPU without proper bounds). As soon as I complete boring commercial Erlang
project, I will try tackle that. I believe they are solvable. The question is only the price---how
much will TCB grow and how much flexible mechanisms for constraining "memory consumption" and "CPU
consumption" will be available.
Two people helped me:
- - Frank Piessens (as a shepherd helped me a lot with turning "conditionally accepted" paper to
- - Norman Hardy (helped me filter out some errors I was not able to recognize)
I am grateful to both of them.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the e-lang