Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

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