Sciweavers

1892 search results - page 2 / 379
» Warren's Abstract Machine
Sort
View
ASC
2006
13 years 7 months ago
A WAM implementation for flexible query answering
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
Pascual Julián Iranzo, Clemente Rubio-Manza...
FPCA
1991
13 years 9 months ago
Making Abstract Machines Less Abstract
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
John Hannan
ICFP
2010
ACM
13 years 6 months ago
Abstracting abstract machines
David Van Horn, Matthew Might