Sciweavers

31387 search results - page 224 / 6278
» Abstracts
Sort
View
143
Voted
LICS
1989
IEEE
15 years 11 months ago
A Fully Abstract Semantics for a Functional Language with Logic Variables
Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...
MICRO
1989
IEEE
59views Hardware» more  MICRO 1989»
15 years 11 months ago
Abstract computing machines
Giacomo R. Sechi
PLILP
1990
Springer
15 years 11 months ago
The Vienna Abstract Machine
Andreas Krall, Ulrich Neumerkel
124
Voted
STACS
1990
Springer
15 years 11 months ago
On the Construction of Abstract Voronoi Diagrams
Kurt Mehlhorn, Stefan Meiser, Colm Ó'D&uacu...