![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 228
Volume 228, June 2023
- Komal Pathade
, Uday P. Khedker:
Computing maximum fixed point solutions over feasible paths in data flow analyses. 102944 - Reza Sepahvand, Reza Akbari
, Behnaz Jamasb, Sattar Hashemi, Omid Boushehrian:
Using word embedding and convolution neural network for bug triaging by considering design flaws. 102945
- Nils Timm, Josua Botha, Steven Jordaan:
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems. 102946
- Ulf Kargén
, Ivar Härnqvist, Johannes Wilson, Gustav Eriksson, Evelina Holmgren, Nahid Shahmehri:
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation. 102954
- Hao Wu
:
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. 102955
- Saverio Giallorenzo, Fabrizio Montesi
, Marco Peressotti
, Florian Rademacher
:
LEMMA2Jolie: A tool to generate microservice APIs from domain models. 102956
- Isao Sasano, Kwanghoon Choi
:
A text-based syntax completion method using LR parsing and its evaluation. 102957 - Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin:
The polychronous model of computation and Kahn process networks. 102958
![](https://dblp.org/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.