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

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

Improving effective bandwidth through compiler enhancement of global cache reuseCHEN DING; KENNEDY, Ken.Journal of parallel and distributed computing (Print). 2004, Vol 64, Num 1, pp 108-134, issn 0743-7315, 27 p.Article

Algorithm explanation: Visualizing abstract states and invariantsWILHELM, Reinhard; MÜLDNER, Tomasz; SEIDEL, Raimund et al.Lecture notes in computer science. 2002, pp 381-394, issn 0302-9743, isbn 3-540-43323-6Conference Paper

Bottom-up deduction with deletion and prioritiesGANZINGER, Harald.Lecture notes in computer science. 2001, pp 276-277, issn 0302-9743, isbn 3-540-42068-1Conference Paper

An examination of the resolution of structure clashes by structure inversionSTUBBS, M.Computer journal (Print). 1984, Vol 27, Num 4, pp 354-361, issn 0010-4620Article

The halting problem does not matterHUTCHINSON, A.Computer journal (Print). 1984, Vol 27, Num 4, issn 0010-4620, 376Article

A program for perspective views of open surfacesOLSZEWSKI, E. A.Computer physics communications. 1983, Vol 30, Num 3, pp 259-269, issn 0010-4655Article

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 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

Finding free schedules for non-uniform loopsBELETSKYY, Volodymyr; SIEDLECKI, Krzysztof.Lecture notes in computer science. 2003, pp 297-302, issn 0302-9743, isbn 3-540-40788-X, 6 p.Conference Paper

A language and system for constructing and presenting low fidelity algorithm visualizationsHUNDHAUSEN, Christopher; DOUGLAS, Sarah.Lecture notes in computer science. 2002, pp 227-240, issn 0302-9743, isbn 3-540-43323-6Conference Paper

A linear learning machine program for a microcomputerLEEGWATER, D. C; LEEGWATER, J. A.Analytica chimica acta. 1984, Vol 160, pp 283-287, issn 0003-2670Article

A packed storage program for angular momentum coupling coefficientsVERMAAK, C. F; VERMAAK, D; MILLER, H. G et al.Computer physics communications. 1984, Vol 31, Num 1, pp 41-46, issn 0010-4655Article

Software tools for first-order logicCUNNINGHAM, R. J; ZAPPACOSTA-AMBOLDI, S.Software, practice & experience. 1983, Vol 13, Num 11, pp 1019-1025, issn 0038-0644Article

Un Prototype d'analyseur sémantique pour un sous-ensemble de PASCAL = Semantic analyzer prototype for a PASCAL subsetJUNG, Jean-Pierre.1983, 158 fThesis