![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 102
Volume 102, May 2015
- María del Pilar Salas-Zárate
, Giner Alor-Hernández
, Rafael Valencia-García, Lisbeth Rodríguez-Mazahua
, Alejandro Rodríguez González, José Luis López Cuadrado:
Analyzing best practices on Web development frameworks: The lift approach. 1-19 - Guido Salvaneschi
, Carlo Ghezzi, Matteo Pradella
:
ContextErlang: A language for distributed context-aware self-adaptive applications. 20-43 - Matt Gatrell, Steve Counsell:
The effect of refactoring on change and fault-proneness in commercial C# software. 44-56 - Wim H. Hesselink
:
Mutual exclusion by four shared bits with not more than quadratic complexity. 57-75 - Roland Carl Backhouse
, Hai Truong:
The capacity-C torch problem. 76-107 - Paul Leger
, Éric Tanter, Hiroaki Fukuda:
An expressive stateful aspect language. 108-141 - Germán Vidal
:
Symbolic execution as a basis for termination analysis. 142-157
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.