Towards static analysis of functional programs using tree automata completion (Q2945135)
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 6479866
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards static analysis of functional programs using tree automata completion |
scientific article; zbMATH DE number 6479866 |
Statements
Towards Static Analysis of Functional Programs Using Tree Automata Completion (English)
0 references
9 September 2015
0 references
0.8719204068183899
0 references
0.7943834662437439
0 references
0.7736614346504211
0 references
0.7700178623199463
0 references
0.7437020540237427
0 references
