2881 search results - page 35 / 577 » Model Checking for Programming Languages using Verisoft |
128
Voted
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
135
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
124
Voted
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
126
Voted
GPCE
2009
Springer
14 years 12 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
121
click to vote
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...