624 search results - page 9 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
TOOLS
1994
IEEE
13 years 11 months ago
1994
IEEE
ECOOP
1994
Springer
13 years 11 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
IWPC
2000
IEEE
13 years 12 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
GI
1997
Springer
13 years 11 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
FMOODS
2007
13 years 9 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...