ask others

Science of Computer Programming, Volume 63

> Home > Journals > Science of Computer Programming

Volume 63, Number 1, November 2006

Special issue on security issues in coordination models, languages, and systems

- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/scp/FocardiZ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/FocardiZ06
Riccardo Focardi, Gianluigi Zavattaro:
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. 1-2
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/scp/FocardiLZ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/FocardiLZ06
Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey. 3-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Aldini06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/Aldini06
Alessandro Aldini:
Classification of security properties in a Linda-like process algebra. 16-38
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/BrogiCP06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/BrogiCP06
Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Component adaptation through flexible subservicing. 39-56
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/scp/NicolaGP06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/NicolaGP06
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications. 57-87
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/scp/OmiciniRV06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/OmiciniRV06
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

Special issue on synchronization and concurrency in object-oriented languages

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/HarrisL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/HarrisL06
Tim Harris, Doug Lea:
Special issue on synchronization and concurrency in object-oriented languages. 109-110
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CarlstromCCMMHKO06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CarlstromCCMMHKO06
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/EugsterV06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/EugsterV06
Patrick Th. Eugster, Sebastien Vaucouleur:
Composing atomic features. 130-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/DanaherLL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/DanaherLL06
John S. Danaher, I-Ting Angelina Lee, Charles E. Leiserson:
Programming with exceptions in JCilk. 147-171
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CachopoS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CachopoS06
João P. Cachopo, António Rito Silva:
Versioned boxes as the basis for memory transactions. 172-185
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MossH06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/MossH06
J. Eliot B. Moss, Antony L. Hosking:
Nested transactional memory: Model and architecture sketches. 186-201

Volume 63, Number 3, December 2006

Special issue on foundations of aspect-oriented programming

- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/scp/FradetL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/FradetL06
Pascal Fradet, Ralf Lämmel:
Special issue on foundations of aspect-oriented programming. 203-206
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/DutchynTK06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/DutchynTK06
Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi:
Semantics and scoping of aspects in higher-order languages. 207-239
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/LigattiWZ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/LigattiWZ06
Jay Ligatti, David Walker, Steve Zdancewic:
A type-theoretic interpretation of pointcuts and advice. 240-266
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/JagadeesanJR06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/JagadeesanJR06
Radha Jagadeesan, Alan Jeffrey, James Riely:
Typed parametric polymorphism for aspects. 267-296
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/AltisenMS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/AltisenMS06
Karine Altisen, Florence Maraninchi, David Stauch:
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. 297-320
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/CliftonL06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/CliftonL06
Curtis Clifton, Gary T. Leavens:
MiniMAO: An imperative core language for studying aspect-oriented reasoning. 321-374