1
Julkaistu 2005
Sisällysluettelo: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2013
Sisällysluettelo: ... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... Inference of Recursive Functions -- Inferability of Closed Set Systems from Positive Data -- An Extended...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2007
Sisällysluettelo: ...-Based One-Class Classification -- Test-Cost Sensitive Classification Based on Conditioned Loss Functions...
Hae kokoteksti
Elektroninen E-kirja