2290 search results - page 151 / 458 » Extensible Protected Types |
179
click to vote
APPML
2011
15 years 1 months ago
2011
For analytic functions in the open unit disk, J. Becker (Math. Ann. 202(1973)) has given some univalent conditions. In the present paper, some extensions of Becker’s type are co...
146
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
154
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
165
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
170
click to vote
GPCE
2007
Springer
16 years 16 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...