Výsledky vyhledávání - intersection constraints programming recursion arrays a

Alternativní vyhledávání:
intersection constraints » interaction constraints , interactions constraints , introduction constraints
constraints programming » constraint programming , constrained programming , constraint programing
programming recursion » programming decision , programming session , programming decisions
recursion arrays » recursion versus
arrays a » arrays _

1

Obálka

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Vydáno 2006

Obsah: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Získat plný text

Elektronický zdroj E-kniha

2

Obálka

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Vydáno 2005

Obsah: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Získat plný text

Elektronický zdroj E-kniha