Sciweavers

1917 search results - page 24 / 384
» The York Abstract Machine
Sort
View
JFP
1998
62views more  JFP 1998»
13 years 7 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
TOPLAS
1998
113views more  TOPLAS 1998»
13 years 7 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift
CMSB
2010
Springer
13 years 2 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
ICSE
2003
IEEE-ACM
14 years 7 months ago
Pattern-Oriented Distributed System Architectures
ion. riented language features, such as abstract classes, inheritance, dynamic binding, and parameterized types. Middleware, such as object-oriented frameworks for host infrastruct...
Douglas C. Schmidt
ICDE
2002
IEEE
217views Database» more  ICDE 2002»
14 years 9 months ago
Evaluating Top-k Queries over Web-Accessible Databases
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
Nicolas Bruno, Luis Gravano, Amélie Marian