Industrial Applications of Software Synthesis via Category Theory.

Keith E. Williamson Michael Healy

Published in: ASE (1999)

Keyphrases

industrial applications
industrial systems
software development
theoretical framework
program synthesis
computational modeling
source code
computer systems

formal methods
software design
data mining
formal theory
systems engineering
software maintenance
software tools
software systems

databases
development process
operating system
logic programs
theoretical basis
object detection
software engineering

user interface
general theory
software packages
learning algorithm
commercial software
genetic algorithm
information retrieval