default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 63
Volume 63, Number 1, November 2006
- Riccardo Focardi
, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. 1-2 - Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey. 3-15 - Alessandro Aldini:
Classification of security properties in a Linda-like process algebra. 16-38 - Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Component adaptation through flexible subservicing. 39-56 - Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications. 57-87 - Andrea Omicini, Alessandro Ricci, Mirko Viroli:
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies. 88-107
Volume 63, Number 2, December 2006
- Tim Harris, Doug Lea:
Special issue on synchronization and concurrency in object-oriented languages. 109-110 - Brian D. Carlstrom, JaeWoong Chung, Hassan Chafi, Austen McDonald, Chi Cao Minh, Lance Hammond, Christoforos E. Kozyrakis, Kunle Olukotun:
Executing Java programs with transactional memory. 111-129 - Patrick Th. Eugster, Sebastien Vaucouleur:
Composing atomic features. 130-146 - John S. Danaher, I-Ting Angelina Lee, Charles E. Leiserson:
Programming with exceptions in JCilk. 147-171 - João P. Cachopo, António Rito Silva:
Versioned boxes as the basis for memory transactions. 172-185 - J. Eliot B. Moss, Antony L. Hosking:
Nested transactional memory: Model and architecture sketches. 186-201
Volume 63, Number 3, December 2006
- Pascal Fradet, Ralf Lämmel:
Special issue on foundations of aspect-oriented programming. 203-206 - Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi:
Semantics and scoping of aspects in higher-order languages. 207-239 - Jay Ligatti, David Walker, Steve Zdancewic:
A type-theoretic interpretation of pointcuts and advice. 240-266 - Radha Jagadeesan, Alan Jeffrey, James Riely:
Typed parametric polymorphism for aspects. 267-296 - Karine Altisen, Florence Maraninchi, David Stauch:
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. 297-320 - Curtis Clifton, Gary T. Leavens:
MiniMAO: An imperative core language for studying aspect-oriented reasoning. 321-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
