Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
abstraction predicate » abstract predicates, abstraction approximate, abstraction gradient
predicate general » predicated generic, private general, prediction general
polymorphic » polymorphism
abstraction predicate » abstract predicates, abstraction approximate, abstraction gradient
predicate general » predicated generic, private general, prediction general
polymorphic » polymorphism
1
Argitaratua 2014
Aurkibidea:
“...-language Semantics -- Impredicative Concurrent Abstract Predicates -- Local Reasoning for the POSIX File...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“... Functional Programs over General Polymorphic Lists....”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“...Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory -- Crafting a Proof...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Predicate Abstraction -- Upper Adjoints for Fast Inter-procedural Variable Equalities -- Cover Algorithms...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2013
Aurkibidea:
“... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”Testu osoa
Baliabide elektronikoa
eBook