2740 search results - page 8 / 548 » Typing the Specialization Interface |
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
71
Voted
FUIN
2006
14 years 9 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
EOR
2010
14 years 9 months ago
2010
Semidefinite Programming (SDP) may be seen as a generalization of Linear Programming (LP). In particular, one may extend interior point algorithms for LP to SDP, but it has proven...
DEBU
2000
14 years 9 months ago
2000
The current state of web search is most successful at directing users to appropriate web sites. Once at the site, the user has a choice of following hyperlinks or using site searc...