738 search results - page 101 / 148 » Object Orientation and Formal Techniques |
128
click to vote
FORTEST
2008
15 years 17 days ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
132
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
119
click to vote
POPL
2011
ACM
14 years 1 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
SPLC
2010
14 years 9 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
188
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...