479 search results - page 18 / 96 » On Static Properties of Specialized Programs |
125
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
125
click to vote
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
94
Voted
ASIAN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
79
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
104
Voted
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...