The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (Q5398052)
From MaRDI portal
scientific article; zbMATH DE number 6261535
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages |
scientific article; zbMATH DE number 6261535 |
Statements
25 February 2014
0 references
curry
0 references
property-oriented specifications
0 references
semantics-based inference methods
0 references
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (English)
0 references
