Parameterized Programming for Compositional System Specification.
Óscar MartínAlberto VerdejoNarciso Martí-OlietPublished in: WRLA@ETAPS (2018)
Keyphrases
- programming language
- reactive systems
- high level
- formal specification
- exception handling
- high level programming language
- code generation
- neural network
- programming environment
- development environment
- high level language
- programming education
- formal language
- computer programming
- object oriented programming
- user defined
- multi agent
- case study
- decision trees
- website
- real world