Sciweavers

6794 search results - page 1027 / 1359
» Semantics of Visual Languages
Sort
View
125
Voted
ESOP
1999
Springer
15 years 9 months ago
An Idealized MetaML: Simpler, and More Expressive
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaiss...
ICCL
1998
IEEE
15 years 9 months ago
Location-Independent Communication for Mobile Agents: A Two-Level Architecture
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
Peter Sewell, Pawel T. Wojciechowski, Benjamin C. ...
PEPM
1993
ACM
15 years 9 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
FMLDO
1990
Springer
86views Database» more  FMLDO 1990»
15 years 9 months ago
Views in Object-Oriented Databases
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...
Marc H. Scholl, Christian Laasch, Markus Tresch
COOPIS
2004
IEEE
15 years 8 months ago
A Meta-service for Event Notification
The integration of event information from diverse event notification sources is, as with meta-searching over heterogeneous search engines, a challenging task. Due to the complexity...
Doris Jung, Annika Hinze
« Prev « First page 1027 / 1359 Last » Next »