Sciweavers

2004 search results - page 39 / 401
» Interaction nets: programming language design and implementa...
Sort
View
OOPSLA
2009
Springer
14 years 3 months ago
TROPIC: a framework for model transformations on petri nets in color
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
POPL
2006
ACM
14 years 9 months ago
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
Reuben Olinsky, Christian Lindig, Norman Ramsey
ML
2008
ACM
109views Machine Learning» more  ML 2008»
13 years 8 months ago
O'browser: objective caml on browsers
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
ECOOP
1987
Springer
14 years 7 days ago
Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltalk-80 Language
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...
Alan Borning, Tim O'Shea
C++
1992
83views more  C++ 1992»
13 years 10 months ago
Adding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
Peter A. Buhr, G. Ditchfeld