|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Open source container orchestration for Industry 4.0 – requirements and systematic feature analysis |
Alamoush, Ahmad |
|
26 | 5 |
p. 527-550 |
artikel |
|
| 2 | Sound and precise static analysis using a generalization of static single assignment and value numbering |
Taft, S. Tucker |
|
26 | 5 |
p. 621-632 |
artikel |
|
| 3 | Speeding up static analysis with the split operator |
Arceri, Vincenzo |
|
26 | 5 |
p. 573-588 |
artikel |
|
| 4 | State of the art in program analysis |
Ferrara, Pietro |
|
26 | 5 |
p. 569-571 |
artikel |
|
| 5 | The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 |
Jacobs, Swen |
|
26 | 5 |
p. 551-567 |
artikel |
|
| 6 | User-assisted code query customization and optimization |
Liblit, Ben |
|
26 | 5 |
p. 607-619 |
artikel |
|
| 7 | When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C |
Erhard, Julian |
|
26 | 5 |
p. 589-605 |
artikel |
7 gevonden resultaten