678 search results - page 121 / 136 » A simple typed intermediate language for object-oriented lan... |
TIC
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
PDPTA
2007
13 years 10 months ago
2007
Abstract Super Flexible Messaging (SFM) provides a powerful and elegant message passing abstraction for transferring arbitrary data between remote processes. SFM achieves the simpl...
ISTA
2004
13 years 10 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
JKM
2007
13 years 8 months ago
2007
Purpose – The purpose of this article is to explore the potential of visualization for corporate knowledge management. Design/methodology/approach – The employed methodology c...