Sciweavers

47 search results - page 1 / 10
» toplas 2008
Sort
View
88
Voted
TOPLAS
2008
58views more  TOPLAS 2008»
15 years 2 months ago
Perfect hashing as an almost perfect subtype test
Roland Ducournau
101
Voted
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 2 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
73
Voted
TOPLAS
1998
56views more  TOPLAS 1998»
15 years 2 months ago
Dynamic Currency Determination in Optimized Programs
Dhananjay M. Dhamdhere, K. V. Sankaranarayanan
85
Voted
TOPLAS
1998
43views more  TOPLAS 1998»
15 years 2 months ago
Fast Algorithms for Compressed Multimethod Dispatch Table Generation
Eric Dujardin, Eric Amiel, Eric Simon
97
Voted
TOPLAS
1998
45views more  TOPLAS 1998»
15 years 2 months ago
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications
Daniel Jackson, Somesh Jha, Craig Damon