Effectful Software Contracts.

Cameron Moy Christos Dimoulas Matthias Felleisen

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

user interface
software development
software systems
software engineering
computer systems
software tools
software design
commercial software
database
genetic algorithm
multi agent
data structure
evolutionary algorithm
software architecture
software maintenance
analysis tool