The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.
Giovanni BacciMarco CominiMarco A. FeliúAlicia VillanuevaPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- delay insensitive
- formal language
- logic programming
- logic synthesis
- multi valued
- low level
- modal logic
- feature extraction
- asynchronous circuits
- additional features
- feature vectors
- data model
- classification accuracy
- transition systems
- predicate logic
- logical framework
- classical logic
- data sets
- functional programs
- text summarization
- expressive power
- feature set
- high level
- knowledge base
- neural network