2881 search results - page 207 / 577 » Model Checking for Programming Languages using Verisoft |
161
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
160
Voted
SE
2010
15 years 7 months ago
2010
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...
145
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
255
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
312
click to vote
IWOMP
2011
Springer
14 years 9 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...