Sciweavers

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