Neil D. Jones - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program analysis

SlowFaster, a user-friendly program for slow-fast analysis and its application on phylogeny of ::::Blastocystis::::Martin Kostka, Magdalena Uzlikova, Ivan Cepicka, Jaroslav Flegr. bmcbi, 9, 2008. [doi]

Symbolic Analysis for Increased Program Execution PerformanceKleanthis Psarris. ica3pp 2008: 318 [doi]

Flow analysis of lazy higher-order functional programsNeil D. Jones, Nils Andersen. TCS, 375(1-3):120-136, 2007. [doi]

A new computer program for QSAR-analysis: ARTE-QSARSofie Van Damme, Patrick Bultinck. jcc, 28(11):1924-1928, 2007. [doi]

Post-optimality analysis of the optimal solution of a degenerate linear program using a pivoting algorithmJan Stallaert. cor, 34(7):1871-1884, 2007. [doi]

Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersDieter Zöbel, Christian Weyand. sies 2007: 17-24 [doi]

Collection analysis for Horn clause programsDale Miller. ppdp 2006: 179-188 [doi]

An analysis of the bid behavior of the 2005 JCDL program committeeMarko A. Rodriguez, Johan Bollen, Herbert Van de Sompel. JCDL 2006: 352 [doi]

Termination Analysis of Higher-Order Functional ProgramsDamien Sereni, Neil D. Jones. aplas 2005: 281-297 [doi]

Transformation by interpreter specialisationNeil D. Jones. SCP, 52:307-339, 2004. [doi]

A Scalable Nonuniform Pointer Analysis for Embedded ProgramsArnaud Venet. SAS 2004: 149-164 [doi]

Structural Analysis of Explicit Fault-Tolerant ProgramsStefan Gossens, Mario Dal Cin. hase 2004: 89-96 [doi]

Quasar: A New Tool for Concurrent Ada Programs AnalysisSami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau. Ada-Europe 2003: 168-181 [doi]

Program Generation, Termination, and Binding-Time AnalysisNeil D. Jones, Arne J. Glenstrup. GPCE 2002: 1-31 [doi]

Program generation, termination, and binding-time analysisNeil D. Jones, Arne J. Glenstrup. ICFP 2002: 283 [doi]

Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysisNeil D. Jones, Arne J. Glenstrup. ppdp 2002: 1 [doi]

Automated Analysis of CLP(FD) Program Execution TracesMireille Ducassé, Ludovic Langevine. ICLP 2002: 470-471 [doi]

Program Analysis for Implicit Computational ComplexityNeil D. Jones. pado 2001: 1 [doi]

Program Termination Analysis by Size-Change Graphs (Abstract)Neil D. Jones. cade 2001: 1-4 [doi]

Partial Evaluation for the Lambda CalculusNeil D. Jones, Carsten K. Gomard, Peter Sestoft. PEPM 1999: 203-220 [doi]

Dependency Analysis of Ada ProgramsJanusz W. Laski, William Stanley, Jim Hurst. sigada 1998: 263-275 [doi]

A Simple Flexible Program for the Computational Analysis of Amyl Acyl Residue Distribution in Proteins: Application to the Distribution of Aromatic versus Aliphatic Hydrophobic Amino Acids in Transmembrane alpha-Helical Spanners of Integral Membrane TransS. Tsang, Milton H. Saier Jr.. jcb, 3(1):185-190, 1996.

Perspectives on Program AnalysisFlemming Nielson. ACM Comput. Surv., 28(4es):168, 1996.

Timing Analysis of Ada Tasking ProgramsJames C. Corbett. TSE, 22(7):461-483, 1996. [doi]

Specialization of Imperative Programs Through Analysis of Relational ExpressionsAlexander Sakharov. Dagstuhl 1996: 430-445

Novel PC-program-systems for Efficient Analysis; Simulation and Iteration of High-resolution 1-D NMR SpectraGerhard Hägele, Rainer Fuhler, Hans Wolfgang Höffken, Thomas Lenzen, Robert Spiske, Ursula Weber. CANDC, 19(3):283-285, 1995. [doi]

Dynamic Matrices and the Cost Analysis of Concurrent ProgramsGian Luigi Ferrari, Ugo Montanari. amast 1995: 307-321

SpinA-AT and DNMR-SIM--two New PC-programs for Analysis and Simulation of NMR SpectraRainer Fuhler, Thomas Lenzen, Gerhard Hägele. CANDC, 19(3):277-282, 1995. [doi]

KITP-93: An Automated Inference System for Program AnalysisTie-Cheng Wang, Allen Goldberg. cade 1994: 831-835

Software Tools for Micro-analysis of ProgramsJacques Cohen, Aline Weitzman. SPE, 22(9):777-808, 1992.

SSCNAP: a program for symbolic analysis of switched capacitor circuitsBixia Li, Deren Gu. tcad, 11(3):334-340, 1992. [doi]

CASPER: a computer program used for structural analysis of carbohydratesPer Erik Jansson, Lennart Kenne, Goeran Widmalm. jcisd, 31(4):508-516, 1991. [doi]

A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis TechniquesG. A. Venkatesh. PLDI 1989: 1-12

Data Flow Analysis of Applicative Programs Using Minimal Function GraphsNeil D. Jones, Alan Mycroft. POPL 1986: 296-306

COMAP: a comigrating analysis program for estimating the relationship of adenoviruses on the genome levelT. Adrian, W. Heinrich. nar, 14(1):559-565, 1986.

A collection of programs for nucleic acid and protein analysis, written in FORTRAN 77 for IBM-PC compatible microcomputersB. Franz Lang, Gertraud Burger. nar, 14(1):455-465, 1986.

Improved programs for DNA and protein sequence analysis on the IBM personal computer and other standard computer systemsD. W. Mount, B. Conrad. nar, 14(1):443-454, 1986.

The SEQANAL and SEQTALK programs: a new method of access to high- resolution nucleotide sequence comparison and analysis programs from a remote laboratory mini- or microcomputerL. Burnett, A. Basten, W. J. Hensley. bioinformatics, 1(4):241-247, 1985.

Microcomputer programs for graphic analysis of nucleic acid and protein sequencesD. W. Mount, B. Conrad. nar, 12(1):811-817, 1984.

A comprehensive set of sequence analysis programs for the VAXJ. Devereux, P. Haeberli, O. Smithies. nar, 12(1):387-395, 1984.

Programmable calculator section : Numerical analysis of one-dimensional and cylindrical diffusion systems using a programmable calculatorW. Linert, K. J. Stiglbrunner, P. Rechberger. CANDC, 8(1):59-66, 1983. [doi]

A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data StructuresNeil D. Jones, Steven S. Muchnick. POPL 1982: 66-74

Symbolic Program Analysis in Almost-Linear TimeJohn H. Reif, Robert Endre Tarjan. SICOMP, 11(1):81-93, 1982.

Program Flow Analysis: theory and applicationsSteven S. Muchnick, Neil D. Jones. Prentice-Hall, Inc., 1981.

Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)A. J. Kfoury. focs 1980: 173-184

A Theoretical Study of the Time Analysis of ProgramsAkeo Adachi, Takumi Kasai, Etsuro Moriya. mfcs 1979: 201-207

Sensitivity Analysis Procedures for Geometric Programs: Computational AspectsJohn J. Dinkel, Gary A. Kochenberger, S. N. Wong. TOMS, 4(1):1-14, 1978. [doi]

Intelligent Program AnalysisGregory R. Ruth. ai, 7(1):65-85, 1976.

A Computer Program for the Statistical Analysis of Series of EventsPeter A. W. Lewis. IBMSJ, 5(4):202-225, 1966.

An Experimental Program for Linkage AnalysisFrank Bitonti, DeWitt W. Cooper, David N. Frayne, Howard H. Hansen. IBMSJ, 4(3):200-223, 1965.

runs on WebDSL