Sciweavers

16 search results - page 1 / 4
» cl 2004
Sort
View
CL
2004
Springer
13 years 4 months ago
Verifying persistent security properties
Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sa...
CL
2004
Springer
13 years 4 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
CL
2004
Springer
13 years 4 months ago
A browser for incremental programming
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
Nathanael Schärli, Andrew P. Black