Program synthesis using dual interpretation (Q3454117)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6515527
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Program synthesis using dual interpretation |
scientific article; zbMATH DE number 6515527 |
Statements
Program Synthesis Using Dual Interpretation (English)
0 references
2 December 2015
0 references
program synthesis
0 references
syntax-guided synthesis
0 references
abstract interpretation
0 references
encryption
0 references
SMT solving
0 references
exists-forall solving
0 references
0.8042080998420715
0 references
0.7877750396728516
0 references
0.7585397958755493
0 references
0.7583058476448059
0 references
