| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Access Enhancement Objects for data management in Smalltalk
|
Demaid, A.
|
|
2006
|
|
4 |
p. 185-202
18 p.
|
artikel
|
| 2 |
A framework for attaching personal assistants to existing applications
|
Armentano, Marcelo G.
|
|
2009
|
|
4 |
p. 448-463
16 p.
|
artikel
|
| 3 |
A higher-order strategy for eliminating common subexpressions
|
Resler, R. Daniel
|
|
2009
|
|
4 |
p. 341-364
24 p.
|
artikel
|
| 4 |
A monotone framework for CCS
|
Nielson, Hanne Riis
|
|
2009
|
|
4 |
p. 365-394
30 p.
|
artikel
|
| 5 |
A new code generation algorithm for 2-offset producer order queue computation model
|
Canedo, Arquimedes
|
|
2008
|
|
4 |
p. 184-194
11 p.
|
artikel
|
| 6 |
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
|
Hsiung, Pao-Ann
|
|
2008
|
|
4 |
p. 153-169
17 p.
|
artikel
|
| 7 |
Binary trees as a computational framework
|
Haraburda, David
|
|
2013
|
|
4 |
p. 163-181
19 p.
|
artikel
|
| 8 |
CASL: A rapid-prototyping language for modern micro-architectures
|
Walters II, Edward K.
|
|
2008
|
|
4 |
p. 195-211
17 p.
|
artikel
|
| 9 |
Construct specific coupling measurement for C++ software
|
English, Michael
|
|
2012
|
|
4 |
p. 300-319
20 p.
|
artikel
|
| 10 |
Context-sensitive trace inlining for Java
|
Häubl, Christian
|
|
2013
|
|
4 |
p. 123-141
19 p.
|
artikel
|
| 11 |
Customizing a functional programming language for web development
|
Malkov, Saša N.
|
|
2010
|
|
4 |
p. 345-351
7 p.
|
artikel
|
| 12 |
Data-bound variables for WS-BPEL executable processes
|
Krizevnik, Marcel
|
|
2012
|
|
4 |
p. 279-299
21 p.
|
artikel
|
| 13 |
DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems
|
Maris, Justin T.
|
|
2003
|
|
4 |
p. 75-100
26 p.
|
artikel
|
| 14 |
Design and implementation of domain-specific language easytime
|
Fister Jr., Iztok
|
|
2011
|
|
4 |
p. 151-167
17 p.
|
artikel
|
| 15 |
Editorial Board / Publication information
|
|
|
2009
|
|
4 |
p. IFC-
1 p.
|
artikel
|
| 16 |
Editorial Board / Publication information
|
|
|
2010
|
|
4 |
p. IFC-
1 p.
|
artikel
|
| 17 |
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
|
Jung, Dong-Heon
|
|
2008
|
|
4 |
p. 170-183
14 p.
|
artikel
|
| 18 |
Fairness in shared invocation servicing
|
Olsson, Ronald A.
|
|
2002
|
|
4 |
p. 327-351
25 p.
|
artikel
|
| 19 |
Improving performance through deep value profiling and specialization with code transformation
|
Khan, Minhaj Ahmad
|
|
2011
|
|
4 |
p. 193-203
11 p.
|
artikel
|
| 20 |
Inside Front Cover - Editorial Board
|
|
|
2002
|
|
4 |
p. IFC-
1 p.
|
artikel
|
| 21 |
Inside Front Cover - Editorial Board
|
|
|
2003
|
|
4 |
p. IFC-
1 p.
|
artikel
|
| 22 |
Non-repudiation analysis using LySa with annotations
|
Brusò, Mayla
|
|
2010
|
|
4 |
p. 352-377
26 p.
|
artikel
|
| 23 |
Preface
|
Childers, Bruce
|
|
2008
|
|
4 |
p. 151-152
2 p.
|
artikel
|
| 24 |
Programming with partially specified aggregates in Java
|
Bergenti, F.
|
|
2011
|
|
4 |
p. 178-192
15 p.
|
artikel
|
| 25 |
Publisher's note
|
|
|
2011
|
|
4 |
p. 204-
1 p.
|
artikel
|
| 26 |
Query generation for retrieving data from distributed semistructured documents using a metadata interface
|
Choe, Guija
|
|
2009
|
|
4 |
p. 422-434
13 p.
|
artikel
|
| 27 |
Reducing memory space consumption through dataflow analysis
|
Ozturk, Ozcan
|
|
2011
|
|
4 |
p. 168-177
10 p.
|
artikel
|
| 28 |
Regular corecursion in Prolog
|
Ancona, Davide
|
|
2013
|
|
4 |
p. 142-162
21 p.
|
artikel
|
| 29 |
SIR: inter-program concurrency support for SR programs
|
Fodor, Eugene F
|
|
2002
|
|
4 |
p. 307-325
19 p.
|
artikel
|
| 30 |
Software composition with Linda
|
Roldan, Ana M.
|
|
2009
|
|
4 |
p. 395-405
11 p.
|
artikel
|
| 31 |
Special issue on the Programming Languages track at the 27th ACM Symposium on Applied Computing
|
Mernik, Marjan
|
|
2013
|
|
4 |
p. 121-122
2 p.
|
artikel
|
| 32 |
SystemJ: A GALS language for system level design
|
Malik, Avinash
|
|
2010
|
|
4 |
p. 317-344
28 p.
|
artikel
|
| 33 |
The Green language
|
Guimarães, José de Oliveira
|
|
2006
|
|
4 |
p. 203-215
13 p.
|
artikel
|
| 34 |
The Green language type system
|
de Oliveira Guimarães, José
|
|
2009
|
|
4 |
p. 435-447
13 p.
|
artikel
|
| 35 |
Utility-driven solution for optimal resource allocation in computational grid
|
Li, Zhi-jie
|
|
2009
|
|
4 |
p. 406-421
16 p.
|
artikel
|
| 36 |
Volume Contents
|
|
|
2002
|
|
4 |
p. I-V
nvt p.
|
artikel
|
| 37 |
Volume contents, Author and Keyword index
|
|
|
2006
|
|
4 |
p. I-VI
nvt p.
|
artikel
|
Tijdschrift beschrijving