Sciweavers

2776 search results - page 21 / 556
» System-Level Abstraction Semantics
Sort
View
JFP
1998
62views more  JFP 1998»
13 years 8 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
TCS
2002
13 years 8 months ago
Operational and abstract semantics of the query language G-Log
Agostino Cortesi, Agostino Dovier, Elisa Quintarel...