1623 search results - page 147 / 325 » Programming language concepts for software developers |
143
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
126
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
157
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
122
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
133
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...