Specification of generic APIs, or: why algebraic may be better than pre/post.
Anya Helene BaggeMagne HaveraaenPublished in: HILT (2014)
Keyphrases
- high level
- application developers
- lightweight
- application specific
- real time
- specification language
- formal specification
- statistically significant
- conceptual model
- application server
- formal verification
- formal methods
- application development
- domain specific
- open source
- hidden markov models
- learning algorithm
- data mining
- neural network