Sciweavers

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