| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Adjoint folds and unfolds—An extended study
|
Hinze, Ralf
|
|
2013
|
141-142 |
11 |
p. 2108-2159
52 p.
|
artikel
|
| 2 |
A guide to agile development of interactive software with a “User Objectives”-driven methodology
|
Losada, Begoña
|
|
2013
|
141-142 |
11 |
p. 2268-2281
14 p.
|
artikel
|
| 3 |
An algebraic foundation for automatic feature-based program synthesis
|
Apel, Sven
|
|
2010
|
141-142 |
11 |
p. 1022-1047
26 p.
|
artikel
|
| 4 |
An empirical approach for evaluating the usability of model-driven tools
|
Condori-Fernández, Nelly
|
|
2013
|
141-142 |
11 |
p. 2245-2258
14 p.
|
artikel
|
| 5 |
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms
|
Cleophas, Loek
|
|
2010
|
141-142 |
11 |
p. 1095-1112
18 p.
|
artikel
|
| 6 |
A novel analysis space for pointer analysis and its application for bug finding
|
Buss, Marcio
|
|
2010
|
141-142 |
11 |
p. 921-942
22 p.
|
artikel
|
| 7 |
Bridging the gap between information architecture analysis and software engineering in interactive web application development
|
Rojas, Luis A.
|
|
2013
|
141-142 |
11 |
p. 2282-2291
10 p.
|
artikel
|
| 8 |
Compact and efficient strings for Java
|
Häubl, Christian
|
|
2010
|
141-142 |
11 |
p. 1077-1094
18 p.
|
artikel
|
| 9 |
Comprehensive aspect weaving for Java
|
Villazón, Alex
|
|
2011
|
141-142 |
11 |
p. 1015-1036
22 p.
|
artikel
|
| 10 |
Defining the meaning of tabular mathematical expressions
|
Jin, Ying
|
|
2010
|
141-142 |
11 |
p. 980-1000
21 p.
|
artikel
|
| 11 |
Delegation by object composition
|
Bettini, Lorenzo
|
|
2011
|
141-142 |
11 |
p. 992-1014
23 p.
|
artikel
|
| 12 |
Deriving real-time action systems in a sampling logic
|
Dongol, Brijesh
|
|
2013
|
141-142 |
11 |
p. 2047-2063
17 p.
|
artikel
|
| 13 |
Enriching UsiXML language to support awareness requirements
|
Figueroa-Martinez, Jose
|
|
2013
|
141-142 |
11 |
p. 2259-2267
9 p.
|
artikel
|
| 14 |
Erratum to “Compact and Efficient Strings for Java” [Science of Computer Programming 75 (2010) 1077–1094]
|
Häubl, Christian
|
|
2011
|
141-142 |
11 |
p. 1073-
1 p.
|
artikel
|
| 15 |
Extended designs algebraically
|
Guttmann, Walter
|
|
2013
|
141-142 |
11 |
p. 2064-2085
22 p.
|
artikel
|
| 16 |
Improving Web Service descriptions for effective service discovery
|
Rodriguez, Juan Manuel
|
|
2010
|
141-142 |
11 |
p. 1001-1021
21 p.
|
artikel
|
| 17 |
Linking Unifying Theories of Program refinement
|
Hayes, Ian J.
|
|
2013
|
141-142 |
11 |
p. 2086-2107
22 p.
|
artikel
|
| 18 |
Listener latency profiling: Measuring the perceptible performance of interactive Java applications
|
Jovic, Milan
|
|
2011
|
141-142 |
11 |
p. 1054-1072
19 p.
|
artikel
|
| 19 |
Mathematics of Program Construction (selected papers from MPC 2010)
|
Desharnais, Jules
|
|
2013
|
141-142 |
11 |
p. 2027-2028
2 p.
|
artikel
|
| 20 |
Mining early aspects based on syntactical and dependency analyses
|
Conejero, José M.
|
|
2010
|
141-142 |
11 |
p. 1113-1141
29 p.
|
artikel
|
| 21 |
On designing safe and flexible embedded DSLs with Java 5
|
Kabanov, Jevgeni
|
|
2011
|
141-142 |
11 |
p. 970-991
22 p.
|
artikel
|
| 22 |
Principles and Practice of Programming in Java 2008—Special issue
|
Horspool, R. Nigel
|
|
2011
|
141-142 |
11 |
p. 969-
1 p.
|
artikel
|
| 23 |
Refactoring pattern matching
|
Wang, Meng
|
|
2013
|
141-142 |
11 |
p. 2216-2242
27 p.
|
artikel
|
| 24 |
Simple section interchange and properties of non-computable functions
|
Maurer, Ward Douglas
|
|
2010
|
141-142 |
11 |
p. 1142-1164
23 p.
|
artikel
|
| 25 |
“Slimming” a Java virtual machine by way of cold code removal and optimistic partial program loading
|
Wagner, Gregor
|
|
2011
|
141-142 |
11 |
p. 1037-1053
17 p.
|
artikel
|
| 26 |
Special issue on the Programming Languages Track at the 23rd ACM Symposium on Applied Computing
|
Mernik, Marjan
|
|
2010
|
141-142 |
11 |
p. 919-920
2 p.
|
artikel
|
| 27 |
Special section on methodological development of interactive systems from Interacción 2011
|
Abascal, Julio
|
|
2013
|
141-142 |
11 |
p. 2243-2244
2 p.
|
artikel
|
| 28 |
Stream processing coalgebraically
|
Niqui, Milad
|
|
2013
|
141-142 |
11 |
p. 2192-2215
24 p.
|
artikel
|
| 29 |
The algorithmics of solitaire-like games
|
Backhouse, Roland
|
|
2013
|
141-142 |
11 |
p. 2029-2046
18 p.
|
artikel
|
| 30 |
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution
|
Denny, Joel E.
|
|
2010
|
141-142 |
11 |
p. 943-979
37 p.
|
artikel
|
| 31 |
Type-directed weaving of aspects for polymorphically typed functional languages
|
Chen, Kung
|
|
2010
|
141-142 |
11 |
p. 1048-1076
29 p.
|
artikel
|
| 32 |
Type inference and strong static type checking for Promela
|
Donaldson, Alastair F.
|
|
2010
|
141-142 |
11 |
p. 1165-1191
27 p.
|
artikel
|
| 33 |
Typing linear algebra: A biproduct-oriented approach
|
Macedo, Hugo Daniel
|
|
2013
|
141-142 |
11 |
p. 2160-2191
32 p.
|
artikel
|
Tijdschrift beschrijving