Sciweavers

2004 search results - page 132 / 401
» Interaction nets: programming language design and implementa...
Sort
View
ICFP
2002
ACM
16 years 6 months ago
Tagless staged interpreters for typed languages
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
Emir Pasalic, Walid Taha, Tim Sheard
PROCEDIA
2010
148views more  PROCEDIA 2010»
15 years 1 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
ESOP
2008
Springer
15 years 8 months ago
A Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
Cédric Fournet, Nataliya Guts, Francesco Za...
ECOOP
1994
Springer
15 years 10 months ago
Protection in the Guide Object-Oriented Distributed System
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
Daniel Hagimont
167
Voted
SAC
2006
ACM
16 years 6 days ago
Towards a model-driven join point model
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
Walter Cazzola, Antonio Cicchetti, Alfonso Pierant...