1.1(top 14%)
Impact Factor
1.4(top 14%)
extended IF
70(top 6%)
citing journals
citing authors

Most Cited Articles of Science of Computer Programming

Statecharts: a visual formalism for complex systems19873.8K
Goal-directed requirements acquisition19931.2K
The Esterel synchronous programming language: design, semantics, implementation1992882
ATL: A model transformation tool2008568
The Daikon system for dynamic detection of likely invariants2007564
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach2009512
Using branching time temporal logic to synthesize synchronization skeletons1982422
Generalising monads to arrows2000324
Google’s MapReduce programming model — Revisited2008264
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems2008259
Finding repeated elements1982254
Functional documents for computer systems1995250
USE: A UML-based specification environment for validating UML and OCL2007241
FeatureIDE: An extensible framework for feature-oriented software development2014235
The TXL source transformation language2006223
A theoretical basis for stepwise refinement and the programming calculus1987206
Modeling component connectors in Reo by constraint automata2006202
Stratego/XT 0.17. A language and toolset for program transformation2008195
A survey of fault localization techniques in computer networks2004192
Multi-agent oriented programming with JaCaMo2013188
Formal semantics and analysis of control flow in WS-BPEL2007183
Modalities for model checking: branching time logic strikes back1987158
Synchronous programming with events and relations: the SIGNAL language and its semantics1991154
The gamma model and its discipline of programming1990152
From tuple spaces to tuple centres2001137