Sciweavers

47 search results - page 1 / 10
» toplas 2008
Sort
View
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...
72
Voted
TOPLAS
1998
56views more  TOPLAS 1998»
15 years 2 months ago
Dynamic Currency Determination in Optimized Programs
Dhananjay M. Dhamdhere, K. V. Sankaranarayanan
84
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
96
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