Biblioteca Digital

999 resultados para afterschool program

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:

ConSIT: a fully automated conditioned program slicer

Relevância:

20.00% 20.00%

Publicador:

An empirical investigation of the influence of a type of side effects on program comprehension

Relevância:

20.00% 20.00%

Publicador:

Amorphous Program Slicing

Relevância:

20.00% 20.00%

Publicador:

Equivalence of conservative, free, linear program schemas is decidable

Relevância:

20.00% 20.00%

Publicador:

An overview of program slicing

Relevância:

20.00% 20.00%

Publicador:

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