Material categorías: Desarrollo de Software Redes digitales
Association for Computing Machinery: ACM Transactions on Programming Languages and Systems: Table of Contents Table of Contents for ACM Transactions on Programming Languages and Systems. List of articles from both the latest and ahead of print issues.
- Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigmspor Ruyi JiYuwei ZhaoYingfei XiongDi WangLu ZhangZhenjiang Hu el junio 18, 2024 a las 4:09 am
ACM Transactions on Programming Languages and Systems, Volume 46, Issue 2, Page 1-59, June 2024. <br/>
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagramspor Meghana Aparna SistlaSwarat ChaudhuriThomas Reps el mayo 2, 2024 a las 9:11 am
ACM Transactions on Programming Languages and Systems, Volume 46, Issue 2, Page 1-82, June 2024. <br/>
- Homeostasis: Design and Implementation of a Self-Stabilizing Compilerpor Aman NougrahiyaV. Krishna Nandivada el mayo 1, 2024 a las 11:28 am
ACM Transactions on Programming Languages and Systems, Volume 46, Issue 2, Page 1-58, June 2024. <br/>
- Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretationpor Roberto GiacobazziIsabella MastroeniElia Perantoni el abril 27, 2024 a las 11:21 am
ACM Transactions on Programming Languages and Systems, Volume 46, Issue 2, Page 1-31, June 2024. <br/>
ACM Transactions on Programming Languages & Systems