Digital planimetry in APLSFTURKHEIMER, E; YEU, R. A; BIGLER, E. D et al.Behavior research methods and instrumentation. 1983, Vol 15, Num 4, pp 471-473, issn 0005-7878Article

Efficient deductive methods for program analysisGANZINGER, Harald.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 102-103, issn 1523-2867Conference Paper

An execution profiler for modular programsGRAHAM, S. L; KESSLER, P. B; MCKUSICK, M. K et al.Software, practice & experience. 1983, Vol 13, Num 8, pp 671-685, issn 0038-0644Article

A versatile sorting and ranking programBROPHY, A. L.Behavior research methods and instrumentation. 1983, Vol 15, Num 4, pp 465-466, issn 0005-7878Article

Program indentation and comprehensibilityMIARA, R. J; MUSSELMAN, J. A; NAVARRO, J. A et al.Communications of the ACM. 1983, Vol 26, Num 11, pp 861-867, issn 0001-0782Article

Using the TRS-80 as a terminal for the PDP-11WALOSZEK, G.Behavior research methods and instrumentation. 1983, Vol 15, Num 4, issn 0005-7878, 474Article

Interactive programs for small computersKETCHUM, M. S.Structural engineering practice, analysis, design, management. 1983, Vol 2, Num 4, pp 373-380, issn 0730-8213Article

Athéna: un programme champion de scrabble duplicatéCHAPLEAU, S; LAPALME, G.TSI. Technique et science informatiques. 1983, Vol 2, Num 4, pp 249-256, issn 0752-4072Article

Types in program analysisJENSEN, Thomas.The essence of computation (complexity, analysis, transformation). Lecture notes in computer science. 2002, pp 204-222, issn 0302-9743, isbn 3-540-00326-6, 19 p.Book Chapter

Specifying algorithm visualizations: Interesting events or state mapping?DEMETRESCU, Camil; FINOCCHI, Irene; STASKO, John T et al.Lecture notes in computer science. 2002, pp 16-30, issn 0302-9743, isbn 3-540-43323-6Conference Paper

Synthèse de types en présence de sous-typage : de la théorie à la pratique = Type inference in the presence of subtyping : from theory to practicePottier, François; Mauny, Michel.1998, 188 p.Thesis

Validation des spécifications algébriques par complétion inductives = Algebraic specifications validation by inductive completionKOUNALIS, Emmanuel.1985, 204 pThesis

Meancalc: a basic program to calculate means and standard errors for a wide variety of designsPLONSKY, M; ROSELLINI, R. A.Behavior research methods and instrumentation. 1983, Vol 15, Num 4, pp 469-470, issn 0005-7878Article

Recursion and iteration in continuous theores: the M-constructionBLOOM, S. L; THATCHER, J. W; WAGNER, E. G et al.Journal of computer and system sciences (Print). 1983, Vol 27, Num 2, pp 148-164, issn 0022-0000Article

A comparative analysis of dependence testing mechanismsHOEFLINGER, Jay; PAEK, Yunheung.Lecture notes in computer science. 2001, pp 289-303, issn 0302-9743, isbn 3-540-42862-3Conference Paper

An interactive data visualization systemTHALMANN, D.Software, practice & experience. 1984, Vol 14, Num 3, pp 277-290, issn 0038-0644Article

PLTLIB a fortran plot library for the IEEE 488-1975 general-purpose instrument busGRUHN, J. J.Behavior research methods and instrumentation. 1983, Vol 15, Num 4, pp 475-477, issn 0005-7878Article

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 symbolic approach to Bernstein expansion for program analysis and optimizationCLAUSS, Philippe; TCHOUPAEVA, Irina.Lecture notes in computer science. 2004, pp 120-133, issn 0302-9743, isbn 3-540-21297-3, 14 p.Conference Paper

A study in dimensions of psychological complexity of programsCHAUDHARY, B. D; SAHASRABUDDHE, H. V.International journal of man-machine studies. 1985, Vol 23, Num 2, pp 113-133, issn 0020-7373Article

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

The measurement of locality and the behavior of programsBUNT, R. B; MURPHY, J. M.Computer journal (Print). 1984, Vol 27, Num 3, pp 238-245, issn 0010-4620Article

A general proof rule for procedures in predicate transformer semanticsMARTIN, A. J.Acta informatica. 1983, Vol 20, Num 4, pp 301-313, issn 0001-5903Article

Data-editing BASIC programs for creating, modifying, and combining apple II disk filesWEST, R. F.Behavior research methods and instrumentation. 1983, Vol 15, Num 3, pp 387-388, issn 0005-7878Article

Nontrival definability by flow-chart programsURZYCZYN, P.Information and control. 1983, Vol 58, Num 1-3, pp 59-87, issn 0019-9958Article