Sciweavers

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