Sciweavers

43 search results - page 1 / 9
» Lazy Behavioral Subtyping
Sort
View
FM
2008
Springer
87views Formal Methods» more  FM 2008»
13 years 6 months ago
Lazy Behavioral Subtyping
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
13 years 11 months ago
Incremental Reasoning for Multiple Inheritance
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
13 years 11 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
IJCNN
2008
IEEE
13 years 11 months ago
Lazy Self-Organizing Map and its behaviors
— The Self-Organizing Map (SOM) is a famous algorithm for the unsupervised learning and visualization introduced by Teuvo Kohonen. This study proposes the Lazy SelfOrganizing Map...
Taku Haraguchi, Haruna Matsushita, Yoshifumi Nishi...
IFL
2001
Springer
13 years 9 months ago
Runtime Behavior of Conversion Interpretation of Subtyping
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
Yasuhiko Minamide