Reasoning tradeoffs in languages with enhanced modularity features
The continuous need for more ambitious, more complex, and more dependable software systems demands mechanisms to modularize such systems and reason about their correctness. The reasoning process is affected by the programming language's features, like dynamic dispatching, implicit invocation an...
Autores Principales: | Sánchez Salazar, José, Leavens, Gary |
---|---|
Formato: | Artículo |
Idioma: | Inglés |
Publicado: |
Modularity 2016: Proceedings of the 15th International Conference on Modularity 13-24 2016
2020
|
Materias: | |
Acceso en línea: |
http://hdl.handle.net/11056/17668 |
Ejemplares similares
-
Desarrollo de una notación y herramienta de visualización de datos para mejorar la capacidad de análisis de procedimientos almacenados SQL
por: Carvajal-González, Erick
Publicado: (2018) -
Mining software repositories to automatically measure developer code contributions
por: Hamer Campos, Sivana Alexa
Publicado: (2023) -
Catching up with Method and Process Practice: An Industry-Informed Baseline for Researchers
por: Klünder, Jil, et al.
Publicado: (2024) -
Advanced Computing National Collaboratory HPC Infrastructure, Kabré
por: Gómez-Sánchez, Isaac Eduardo, et al.
Publicado: (2020) -
If and only if people were logical! The effect of pragmatic enrichment on reasoning with abstract and realistic materials
por: Blochowiak, Joanna, et al.
Publicado: (2024)