3311 search results - page 366 / 663 » Deductive Object Programming |
135
Voted
ECOOP
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
134
Voted
ANSS
2004
IEEE
15 years 7 months ago
2004
IEEE
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...
137
Voted
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
115
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
148
click to vote
ECOOP
2010
Springer
15 years 5 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...