3311 search results - page 326 / 663 » Deductive Object Programming |
137
Voted
GPCE
2009
Springer
15 years 29 days 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...
144
click to vote
SP
2008
IEEE
15 years 9 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
139
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
115
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
118
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...