On Distributed Program Specification and Synthesis in Architectures with Cycles.
Julien BernetDavid JaninPublished in: FORTE (2006)
Keyphrases
- program synthesis
- functional programs
- distributed systems
- distributed environment
- heterogeneous environments
- cooperative
- distributed network
- fault tolerant
- data sets
- communication overhead
- control flow
- computer programs
- formal specification
- information retrieval
- metadata
- high level programming language
- real time
- layered architecture
- neural network
- program execution
- genetic algorithm
- information systems
- user defined
- specification language
- multi agent
- distributed data
- sensor networks
- agent technology
- lightweight
- mobile agents