Transformation de la récursivité en itération et complexité = Transformation of recursive procedure into iterative ones and complexityDJOSSOU, Koffi.1984, Non paginé [140 f.]Thesis

Loop cleaningKASYANOV, V. N.Information processing letters. 1984, Vol 18, Num 1, pp 1-6, issn 0020-0190Article

The complexity of monadic recursion schemes: executability problems, nesting depth, and applicationsHUNT, H. B. III; ROSENKRANTZ, D. J.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 3-38, issn 0304-3975Article

A note on the complexity of program evaluationIBARRA, O. H; LENINGER, B. S; ROSIER, L. E et al.Mathematical systems theory. 1984, Vol 17, Num 2, pp 85-96, issn 0025-5661Article

Abstract specialization and its applicationsPUEBLA, German; HERMENEGILDO, Manuel.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 269-283, issn 1523-2867, 15 p.Conference Paper

SAIG 2000 : semantics, applications, and implementation of program generation (Montreal PQ, 20 September 2000)Taha, Walid.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-41054-6, VIII, 229 p, isbn 3-540-41054-6Conference Proceedings

A note on the Berry-meekings style metricHARRISON, W; COOK, C. R.Communications of the ACM. 1986, Vol 29, Num 2, pp 123-125, issn 0001-0782Article

Development of correct transformation schemata for Prolog programsRICHARDSON, J; FUCHS, N.Lecture notes in computer science. 1998, pp 263-281, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Parametric analysis for adaptive computation offloadingCHENG WANG; ZHIYUAN LI.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 119-130, issn 1523-2867, 12 p.Conference Paper

Static analysis (Venice, 22-24 September 1999)Cortesi, Agostino; Filé, Gilberto.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66459-9, VIII, 356 p, isbn 3-540-66459-9Conference Proceedings

Slicing java programs that throw and catch exceptionsALLEN, Matthew; HORWITZ, Susan.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 284-294, issn 1523-2867, 11 p.Conference Paper

The next 700 synthesis calculiBASIN, David.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43928-5, p. 430Conference Paper

On a technology of design and analysis of dataflow programsSOKOLOV, V. A; ROUBTSOVA, E. E; ROUBTSOV, S. A et al.Lecture notes in computer science. 1997, pp 115-120, issn 0302-9743, isbn 3-540-63371-5Conference Paper

A language of specified programsTARLECKI, A; BLIKLE, A.Science of computer programming. 1985, Vol 5, Num 1, pp 59-81, issn 0167-6423Article

Generalizing specifications for uniformly implemented loopsDUNLOP, D. D; BASILI, V. R.ACM transactions on programming languages and systems. 1985, Vol 7, Num 1, pp 137-158, issn 0164-0925Article

Die prinzipiellen Möglichkeiten zur Optimierung von Programmen = Les possibilités principales pour optimiser les programmesOTTER, W.Wissenschaftliche Zeitschrift der Technischen Universität Dresden. 1983, Vol 32, Num 3, pp 15-21, issn 0043-6925Article

Theory of program testing ― An overviewPRATHER, R. E.The Bell System technical journal. 1983, Vol 62, Num 10, pp 3073-3105, issn 0005-8580Article

A new module system for PrologCABEZA, D; HERMENEGILDO, M.Lecture notes in computer science. 2000, pp 131-148, issn 0302-9743, isbn 3-540-67797-6Conference Paper

SAS 2000 : static analysis (Santa Barbara CA, 29 June - 1 July 2000)Palsberg, Jens.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67668-6, VIII, 432 p, isbn 3-540-67668-6Conference Proceedings

MPC 2000 : mathematics of program construction (Ponte de Lima, 3-5 July 2000)Backhouse, Roland; Oliveira, José Nuno.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67727-5, VII, 255 p, isbn 3-540-67727-5Conference Proceedings

Simulation based minimizationBUSTAN, D; GRUMBERG, O.Lecture notes in computer science. 2000, pp 255-270, issn 0302-9743, isbn 3-540-67664-3Conference Paper

Preventing instantiation errors and loops for logic programs with multiple modes using block declarationsSMAUS, J.-G; HILL, P; KING, A et al.Lecture notes in computer science. 1999, pp 289-307, issn 0302-9743, isbn 3-540-65765-7Conference Paper

Partial dead code elimination using extended value graphTAKIMOTO, M; HARADA, K.Lecture notes in computer science. 1999, pp 179-193, issn 0302-9743, isbn 3-540-66459-9Conference Paper

IFL '98 : implementation of functional languages (London, 9-11 September 1998)Hammond, Kevin; Dadie, Tony; Clack, Chris et al.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66229-4, X, 245 p, isbn 3-540-66229-4Conference Proceedings

Successes in logic programsBOSSI, A; COCCO, N.Lecture notes in computer science. 1999, pp 219-239, issn 0302-9743, isbn 3-540-65765-7Conference Paper