Sciweavers

6054 search results - page 156 / 1211
» Implementation of Andorra-based Languages
Sort
View
AOSD
2009
ACM
15 years 12 months ago
The art of the meta-aspect protocol
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
Tom Dinkelaker, Mira Mezini, Christoph Bockisch
IFIP
2009
Springer
15 years 9 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
ICFP
2010
ACM
15 years 6 months ago
Fortifying macros
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
Ryan Culpepper, Matthias Felleisen
DLS
2010
162views Languages» more  DLS 2010»
15 years 3 months ago
Proxies: design principles for robust object-oriented intercession APIs
Proxies are a powerful approach to implement meta-objects in object-oriented languages without having to resort to metacircular interpretation. We introduce such a meta-level API ...
Tom Van Cutsem, Mark S. Miller
COORDINATION
2007
Springer
15 years 11 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali