| Id |
Value |
| 1 |
Network Aware Programming |
| 2 |
Coordination Models |
| 3 |
Process Calculi |
| 4 |
Security |
| 5 |
Property Verification |
| 6 |
Object-Oriented Programming |
| 7 |
Master Thesis |
| 8 |
Klaim |
| 9 |
Program Transformation |
| 10 |
PhD Thesis |
| 11 |
Calculi |
| 12 |
Types |
| 13 |
Java |
| 14 |
Featherweight Java |
| 15 |
Intersection Types |
| 16 |
Traits |
| 17 |
Multi-Methods |
| 18 |
C++ |
| 19 |
Tools |
| 20 |
Incomplete Objects |
| 21 |
Generics |
| 22 |
MarCaSPiS |
| 23 |
SWRTJ |
| 24 |
Software Product Lines |
| 25 |
Stochasti Process Algebras |
| 26 |
Quantitative Analysis |
| 56 |
Delta Oriented Programming |
| 57 |
Xtext |
| 58 |
Eclipse |
| 60 |
Smalltalk |
| 61 |
Klava |
| 75 |
BPEL |
| 78 |
Session Types |
