Larry Hughes
Larry Hughes
Generic abstract interpretation algorithms for Prolog: Two optimization techniques and their experimental evaluation [0.03%]
Vincent Englebert; Baudouin Le Charlier; Didier Roland; Pascal Van Hentenryck
Vincent Englebert; Baudouin Le Charlier; Didier Roland; Pascal Van Hentenryck
Dominic A. Varley
Dominic A. Varley
Don Libes
Don Libes
Tamiya Onodera
Tamiya Onodera
Aloke Gupta; Wen-Mei W. Hwu
Aloke Gupta; Wen-Mei W. Hwu
D. D. Cowan; C. M. Durance; E. Giguère; G. M. Pianosi
D. D. Cowan; C. M. Durance; E. Giguère; G. M. Pianosi
Multi-way versus one-way constraints in user interfaces: Experience with the deltablue algorithm [0.03%]
Michael Sannella; John Maloney; Bjorn Freeman-Benson; Alan Borning
Michael Sannella; John Maloney; Bjorn Freeman-Benson; Alan Borning