Find link

language:

Find link is a tool written by Edward Betts.

searching for Neil D. Jones 5 found (13 total)

Flow chart language (958 words) [view diff] exact match in snippet view article find links to article

The language was first presented in 1989 by Carsten K. Gomard and Neil D. Jones. It later resurfaced in their book with Peter Sestoft in 1993, and in

Shape analysis (program analysis) (1,057 words) [view diff] exact match in snippet view article

178–192. doi:10.1007/978-3-540-73368-3_22. ISBN 978-3-540-73367-6. Neil D. Jones; Steven S. Muchnick (1982). "A flexible approach to interprocedural

Astrée (static analysis) (669 words) [view diff] exact match in snippet view article

Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, T. Mogensen and D.A. Schmidt and I.H. Sudborough (Editors). Volume

Reduction strategy (2,602 words) [view diff] exact match in snippet view article find links to article

Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones. Lecture Notes in Computer Science. Vol. 2566. Springer-Verlag. pp. 420–435

Size-change termination principle (640 words) [view diff] exact match in snippet view article find links to article

size-change termination principle was introduced by Chin Soon Lee, Neil D. Jones, and Amir M. Ben-Amram in 2001. It relies on intermediary objects called