|
|
OOPSLA - Conference on Object-Oriented Programming Systems, Languages, and Applications
|
1113
|
43
|
|
|
PLDI - SIGPLAN Conference on Programming Language Design and Implementation
|
284
|
43
|
|
|
AOSD - Aspect-Oriented Software Development
|
293
|
42
|
|
|
POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
|
312
|
40
|
|
|
ECOOP - European Conference on Object-Oriented Programming
|
316
|
36
|
|
|
ESOP - European Symposium on Programming
|
267
|
36
|
|
|
ASE - Automated Software Engineering
|
807
|
34
|
|
|
CGO - Symposium on Code Generation and Optimization
|
276
|
29
|
|
|
CP - Principles and Practice of Constraint Programming
|
646
|
28
|
|
|
ICPC - International Conference on Program Comprehension
|
382
|
24
|
|
|
RTA - Rewriting Techniques and Applications
|
265
|
22
|
|
|
UML - The Unified Modeling Language
|
212
|
22
|
|
|
MODELS - Model Driven Engineering Languages and Systems
|
526
|
21
|
|
|
ICFP - International Conference on Functional Programming
|
244
|
21
|
|
|
CC - Compiler Construction
|
215
|
21
|
|
|
ICLP(JICSLP) - International Conference on Logic Programming/Joint International Conference and Symposium on Logic Programming
|
448
|
19
|
|
|
APLAS - Asian Symposium on Programming Languages and Systems
|
220
|
19
|
|
|
PPDP - Principles and Practice of Declarative Programming
|
198
|
19
|
|
|
PADL - Practical Aspects of Declarative Languages
|
188
|
17
|
|
|
WOSP - Workshop on Software and Performance
|
132
|
17
|
|
|
ECBS - Engineering of Computer-Based Systems
|
544
|
16
|
|
|
COORDINATION - Coordination Models and Languages
|
131
|
15
|
|
|
Haskell - Haskell Workshop
|
94
|
15
|
|
|
ISCIS - International Symposium on Computer and Information Sciences
|
792
|
14
|
|
|
MEMOCODE - International Conference on Formal Methods and Models for Co-Design
|
259
|
14
|
|
|
CPAIOR - International Conference on Integration of AI and OR Techniques in Constraint Programming
|
249
|
13
|
|
|
PEPM - Partial Evaluation and Semantic-Based Program Manipulation
|
148
|
13
|
|
|
LOPSTR - Logic Program Synthesis and Transformation
|
142
|
13
|
|
|
MPC - Mathematics of Program Construction
|
90
|
13
|
|
|
FLOPS - Fuji International Symposium on Functional and Logic Programming
|
91
|
12
|
|
|
IFL - Implementation of Functional Languages
|
77
|
12
|
|
|
ZUM - Z Users Conference
|
58
|
12
|
|
|
INRIA - INRIA
|
42
|
11
|
|
|
VM - Virtual Machine Research and Technology Symposium
|
22
|
11
|
|
|
FDL - Forum on specification & Design Languages
|
268
|
10
|
|
|
Ada-Europe - International Conference on Reliable Software Technologies
|
181
|
10
|
|
|
HCC(VL) - Visual Languages/Human-Centric Computing Languages and Environments
|
80
|
10
|
|
|
JIT - Java-Informations-Tage
|
42
|
10
|
|
|
SPL - Southern Conference on Programmable Logic
|
384
|
9
|
|
|
PPPJ - Principles and Practice of Programming in Java
|
120
|
9
|
|
|
AGTIVE - Applications of Graph Transformations with Industrial Relevance
|
94
|
9
|
|
|
Constraint Solving and Constraint Logic Programming
|
74
|
9
|
|
|
JMLC - Joint Modular Languages Conference
|
57
|
9
|
|
|
SFP - Scottish Functional Programming Workshops
|
47
|
9
|
|
|
RV - Runtime Verification
|
83
|
8
|
|
|
WLP - Workshop Logische Programmierung
|
77
|
8
|
|
|
SCCC - International Conference of the Chilean Computer Science Society
|
143
|
7
|
|
|
TOOLS - Technology of Object-Oriented Languages and Systems
|
63
|
7
|
|
|
AADEBUG - Automated and Algorithmic Debugging
|
24
|
7
|
|
|
DLS - Dynamic Languages Symposium
|
12
|
7
|
|
|
PHOENIX Workshops
|
9
|
7
|
|
|
SIGAda - SIGAda Conference
|
94
|
6
|
|
|
UTP - Unifying Theories of Programming
|
47
|
6
|
|
|
OOIS - Object Oriented Information Systems
|
44
|
6
|
|
|
PLC - Int. Conf. on Programming Languages and Compilers
|
36
|
6
|
|
|
The FIDJI Project
|
31
|
6
|
|
|
PLI - Principles, Logics, and Implementations of High-Level Programming Languages
|
28
|
6
|
|
|
MOZ - Multiparadigm Programming in Mozart/Oz
|
27
|
6
|
|
|
ESUG - International Smalltalk Conference
|
22
|
6
|
|
|
AFP - Advanced Functional Programming School
|
17
|
6
|
|
|
Petri Nets and Performance Models
|
14
|
6
|
|
|
HOPL - History of Programming Languages
|
12
|
6
|
|
|
PLOS - Programming Languages and Operating Systems
|
11
|
6
|
|
|
ECOOP(Workshop) - European Conference on Object-Oriented Programming
|
88
|
5
|
|
|
LATA - Language and Automata Theory and Applications
|
84
|
5
|
|
|
ERLANG - Erlang Workshop
|
49
|
5
|
|
|
PLPV - Programming Languages meets Program Verification
|
35
|
5
|
|
|
SPLST - Symposium on Programming Languages and Software Tools
|
20
|
5
|
|
|
ECOOP - Advances in Exception Handling Techniques
|
17
|
5
|
|
|
PLANX - PLAN-X: Programming Language Technologies for XML
|
12
|
5
|
|
|
IMCSIT - International Multiconference on Computer Science and Information Technology - IMCSIT
|
371
|
4
|
|
|
IFIP TC 7
|
89
|
4
|
|
|
AGP - APPIA-GULP-PRODE
|
49
|
4
|
|
|
INAP - International Conference on Applications of Prolog
|
33
|
4
|
|
|
ACM SIGPLAN Conferences and Workshops
|
17
|
4
|
|
|
LPE - Workshop on Logic Programming Environments
|
11
|
4
|
|
|
PASCAL - PASCAL Conference
|
5
|
4
|
|
|
JFLA - Journals francophones des langages applicatifs
|
29
|
3
|
|
|
CEFP - Central European Functional Programming School
|
27
|
3
|
|
|
DSL - Domain-Specific Languages
|
20
|
3
|
|
|
CAL - Conférence francophone sur les Architectures Logicielles
|
42
|
2
|
|
|
IFIP TC8/WG8.6 Publications
|
36
|
2
|
|
|
JFPLC - Journées Francophones de Programmation Logique par Contraintes
|
23
|
2
|
|
|
WFLP - Workshop on Functional and Constraint Logic Programming
|
13
|
2
|
|
|
ZB - International Conference of B and Z Users
|
10
|
2
|
|
|
PJW - Workshop on Persistence and Java
|
2
|
2
|
|
|
JCIT - Jerusalem Conference on Information Technology
|
2
|
2
|
|
|
WIMAW - Management der Anwendungsentwicklung und -wartung
|
68
|
1
|
|
|
GMMEMV - Elektromagnetische Verträglichkeit in der KFZ-Technik
|
22
|
1
|
|
|
APL - ACM Conference on Array-Programming Languages
|
17
|
1
|
|
|
DSML - Domain-Specific Modeling Languages
|
6
|
1
|
|
|
ICCL - International Conference on Computer Languages
|
1
|
1
|
|
|
PDK - Processing Declarative Knowledge
|
1
|
1
|
|
|
FPCA - Functional Programming Languages and Computer Architecture
|
1
|
1
|
|
|
Java Card Workshop
|
1
|
1
|
|
|
Larch - International Workshop on Larch
|
1
|
1
|
|
|
Symposium on Programming
|
1
|
1
|
|
|
CoLogNet Publications
|
1
|
0
|
|
|
IFIP WG2.1 Publications
|
1
|
0
|
|
|
IFIP WG8.4 Publications
|
1
|
0
|