Sciweavers

2 search results - page 1 / 1
» A precise model for contextual roles: The programming langua...
Sort
View
AO
2007
77views more  AO 2007»
13 years 5 months ago
A precise model for contextual roles: The programming language ObjectTeams/Java
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
Stephan Herrmann
SEFM
2005
IEEE
13 years 10 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider