Biblioteca Digital

986 resultados para wellness program

A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types

Relevância:

20.00% 20.00%

Publicador:

Variations on a Theme of Curry and Howard: The Curry-Howard isomorphism and the proofs-as-programs paradigm adapted to imperative and structured program synthesis

Relevância:

20.00% 20.00%

Publicador:

The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning

Relevância:

20.00% 20.00%

Publicador:

Equivalence of Linear, Free, Liberal, Structured Program Schemas is Decidable in Polynomial Time

Relevância:

20.00% 20.00%

Publicador:

An Empirical Study of Static Program Slice Size

Relevância:

20.00% 20.00%

Publicador:

A Formal Relationship Between Program Slicing and Partial Evaluation

Relevância:

20.00% 20.00%

Publicador:

Theoretical Foundations of Dynamic Program Slicing

Relevância:

20.00% 20.00%

Publicador:

A Formalisation of the Relationship between Forms of Program Slicing

Relevância:

20.00% 20.00%

Publicador:

Unifying program slicing and concept assignment for higher-level executable source code extraction

Relevância:

20.00% 20.00%

Publicador:

ConSUS: A Lightweight Program Conditioner

Relevância:

20.00% 20.00%

Publicador:

A Survey of Empirical Results on Program Slicing

Relevância:

20.00% 20.00%

Publicador:

«
1
2
...
58
59
60
61
62
63
64
65
66
»