| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A generic, formal language-based methodology for hierarchical floorplanning-placement
|
Bourbakis, Nikolaos G.
|
|
2008
|
|
1 |
p. 25-42
18 p.
|
artikel
|
| 2 |
A language to bridge the gap between component-based design and implementation
|
Fabresse, Luc
|
|
2012
|
|
1 |
p. 29-43
15 p.
|
artikel
|
| 3 |
A minimalist approach to objects
|
Lusth, John C.
|
|
2006
|
|
1 |
p. 42-55
14 p.
|
artikel
|
| 4 |
A study of best-fit memory allocators
|
Hasan, Yusuf
|
|
2005
|
|
1 |
p. 35-48
14 p.
|
artikel
|
| 5 |
A transactional model for automatic exception handling
|
Cabral, Bruno
|
|
2011
|
|
1 |
p. 43-61
19 p.
|
artikel
|
| 6 |
Author Index
|
|
|
2005
|
|
1 |
p. V-
1 p.
|
artikel
|
| 7 |
Behavioural typing for safe ambients
|
Bugliesi, Michele
|
|
2002
|
|
1 |
p. 61-99
39 p.
|
artikel
|
| 8 |
Call for Papers: Embedded Systems: Compiler-Architecture Interaction
|
|
|
2007
|
|
1 |
p. 32-
1 p.
|
artikel
|
| 9 |
Call for Papers: Programming Language and Compiler Support for Secure and Reliable Computing
|
|
|
2007
|
|
1 |
p. 33-34
2 p.
|
artikel
|
| 10 |
Component-based LR parsing
|
Wu, Xiaoqing
|
|
2010
|
|
1 |
p. 16-33
18 p.
|
artikel
|
| 11 |
Computer languages and security
|
Cortesi, Agostino
|
|
2002
|
|
1 |
p. 1-2
2 p.
|
artikel
|
| 12 |
Cost-driven autonomous mobility
|
Deng, Xiao Yan
|
|
2010
|
|
1 |
p. 34-59
26 p.
|
artikel
|
| 13 |
Cyclic reference counting by typed reference fields
|
Morris Chang, J.
|
|
2012
|
|
1 |
p. 98-107
10 p.
|
artikel
|
| 14 |
Declarative secure distributed information systems
|
Zhou, Wenchao
|
|
2013
|
|
1 |
p. 1-24
24 p.
|
artikel
|
| 15 |
Distributed call-tracking for security
|
Kırlı, Dilsun
|
|
2002
|
|
1 |
p. 129-154
26 p.
|
artikel
|
| 16 |
Elimination of parallel copies using code motion on data dependence graphs
|
Brandner, Florian
|
|
2013
|
|
1 |
p. 25-47
23 p.
|
artikel
|
| 17 |
Extending movilog for supporting Web services
|
Mateos, Cristian
|
|
2007
|
|
1 |
p. 11-31
21 p.
|
artikel
|
| 18 |
Feedback-directed specialization of code
|
Khan, Minhaj Ahmad
|
|
2010
|
|
1 |
p. 2-15
14 p.
|
artikel
|
| 19 |
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts
|
Herzeel, Charlotte
|
|
2009
|
|
1 |
p. 31-47
17 p.
|
artikel
|
| 20 |
Guest Editor Introduction
|
Demeyer, Serge
|
|
2009
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 21 |
Incremental programming language development
|
Mernik, Marjan
|
|
2005
|
|
1 |
p. 1-16
16 p.
|
artikel
|
| 22 |
Information flow for Algol-like languages
|
Clark, David
|
|
2002
|
|
1 |
p. 3-28
26 p.
|
artikel
|
| 23 |
Inside Front Cover - Editorial Board
|
|
|
2005
|
|
1 |
p. IFC-
1 p.
|
artikel
|
| 24 |
@Java: Bringing a richer annotation model to Java
|
Cazzola, Walter
|
|
2014
|
|
1 |
p. 2-18
17 p.
|
artikel
|
| 25 |
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
|
Amandi, Analı́a
|
|
2005
|
|
1 |
p. 17-33
17 p.
|
artikel
|
| 26 |
Java supervenience
|
Reza, Juan Rolando
|
|
2012
|
|
1 |
p. 73-97
25 p.
|
artikel
|
| 27 |
Keyword Index
|
|
|
2005
|
|
1 |
p. VI-
1 p.
|
artikel
|
| 28 |
Linguistic style checking with program checking tools
|
Perin, Fabrizio
|
|
2012
|
|
1 |
p. 61-72
12 p.
|
artikel
|
| 29 |
Linguistic symbiosis between event loop actors and threads
|
Van Cutsem, Tom
|
|
2009
|
|
1 |
p. 80-98
19 p.
|
artikel
|
| 30 |
List of reviewers 2009
|
|
|
2010
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 31 |
List of reviewers 2010
|
|
|
2011
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 32 |
Mechanisms for improved covariant type-checking
|
Cleereman, Kevin
|
|
2008
|
|
1 |
p. 1-17
17 p.
|
artikel
|
| 33 |
Object swapping challenges: An evaluation of imageSegment
|
Martinez Peck, Mariano
|
|
2012
|
|
1 |
p. 1-15
15 p.
|
artikel
|
| 34 |
Orderly communication in the Ambient Calculus
|
Amtoft, Torben
|
|
2002
|
|
1 |
p. 29-60
32 p.
|
artikel
|
| 35 |
Orthogonal parallel processing in vector Pascal
|
Cockshott, Paul
|
|
2006
|
|
1 |
p. 2-41
40 p.
|
artikel
|
| 36 |
Parallel resource co-allocation for the computational grid
|
Li, Hui-Xian
|
|
2007
|
|
1 |
p. 1-10
10 p.
|
artikel
|
| 37 |
PPL: A whole-image processing language
|
Wang, Shuangbao
|
|
2008
|
|
1 |
p. 18-24
7 p.
|
artikel
|
| 38 |
Practical, pluggable types for a dynamic language
|
Haldiman, Niklaus
|
|
2009
|
|
1 |
p. 48-62
15 p.
|
artikel
|
| 39 |
Publishers note
|
|
|
2006
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 40 |
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
|
Pastrana, J.L.
|
|
2011
|
|
1 |
p. 2-23
22 p.
|
artikel
|
| 41 |
Reliable scalable symbolic computation: The design of SymGridPar2
|
Maier, P.
|
|
2014
|
|
1 |
p. 19-35
17 p.
|
artikel
|
| 42 |
Reviewers 2012
|
|
|
2013
|
|
1 |
p. 48-
1 p.
|
artikel
|
| 43 |
Reviewers 2011
|
|
|
2012
|
|
1 |
p. 122-
1 p.
|
artikel
|
| 44 |
Ring: A unifying meta-model and infrastructure for Smalltalk source code analysis tools
|
Uquillas Gómez, Verónica
|
|
2012
|
|
1 |
p. 44-60
17 p.
|
artikel
|
| 45 |
Security boundaries in mobile ambients
|
Braghin, Chiara
|
|
2002
|
|
1 |
p. 101-127
27 p.
|
artikel
|
| 46 |
Special issue on the Programming Languages track at the 28th ACM Symposium on Applied Computing
|
Mernik, Marjan
|
|
2014
|
|
1 |
p. 1-
1 p.
|
artikel
|
| 47 |
Spy: A flexible code profiling framework
|
Bergel, Alexandre
|
|
2012
|
|
1 |
p. 16-28
13 p.
|
artikel
|
| 48 |
Tailorable language for behavioral composition and configuration of software components
|
Zdun, Uwe
|
|
2006
|
|
1 |
p. 56-82
27 p.
|
artikel
|
| 49 |
Taking an object-centric view on dynamic information with object flow analysis
|
Lienhard, Adrian
|
|
2009
|
|
1 |
p. 63-79
17 p.
|
artikel
|
| 50 |
TaKo: Providing transparent collaboration on single-user applications
|
Mondéjar, Rubén
|
|
2012
|
|
1 |
p. 108-121
14 p.
|
artikel
|
| 51 |
The dependence condition graph: Precise conditions for dependence between program points
|
Sukumaran, Srihari
|
|
2010
|
|
1 |
p. 96-121
26 p.
|
artikel
|
| 52 |
Towards proving type safety of C #
|
Fruja, Nicu G.
|
|
2010
|
|
1 |
p. 60-95
36 p.
|
artikel
|
| 53 |
Traits at work: The design of a new trait-based stream library
|
Cassou, Damien
|
|
2009
|
|
1 |
p. 2-20
19 p.
|
artikel
|
| 54 |
Transactional memory in a dynamic language
|
Renggli, Lukas
|
|
2009
|
|
1 |
p. 21-30
10 p.
|
artikel
|
| 55 |
Volume Contents
|
|
|
2005
|
|
1 |
p. I-IV
nvt p.
|
artikel
|
| 56 |
Widening and narrowing operators for abstract interpretation
|
Cortesi, Agostino
|
|
2011
|
|
1 |
p. 24-42
19 p.
|
artikel
|
Tijdschrift beschrijving