Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: List of program transformation systems (view)

searching for Program transformation 31 found (88 total)

JAX (software) (386 words) [view diff] exact match in snippet view article

a Python library for accelerator-oriented array computation and program transformation, designed for high-performance numerical computing and large-scale

Transformation language (259 words) [view diff] exact match in snippet view article find links to article

output text that meets some specific goal[clarification needed]. Program transformation systems such as Stratego/XT, TXL, Tom, DMS, and ASF+SDF all have

Hope (programming language) (493 words) [view diff] exact match in snippet view article

developed by Rod Burstall and John Darlington in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern

Journal of Functional Programming (212 words) [view diff] exact match in snippet view article find links to article

and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security

ECLAIR (404 words) [view diff] exact match in snippet view article find links to article

program analysis and verification, program test generation and program transformation. Concerning program analysis and verification, ECLAIR can statically

Catamorphism (1,835 words) [view diff] case mismatch in snippet view article find links to article

2020-05-07 Malcolm, Grant Reynold (1990), Algebraic Data Types and Program Transformation (PDF) (Ph.D. Thesis), University of Groningen, archived from the

Valentin Turchin (1,127 words) [view diff] exact match in snippet view article find links to article

language he has implemented Supercompiler, a unified method for program transformation and optimization based on a metasystem transition. Valentin F. Turchin

Function-level programming (826 words) [view diff] case mismatch in snippet view article find links to article

Mathematical Objects from John Backus From Function Level Semantics to Program Transformation and Optimization SpringerLink see point 1.2 and 1.3 Closed applicative

Mathias Payer (1,590 words) [view diff] case mismatch in snippet view article find links to article

Shoshitaishvili, Yan; Payer, Mathias (2018). "T-Fuzz: Fuzzing by Program Transformation". 2018 IEEE Symposium on Security and Privacy (SP). pp. 697–710

Scannerless parsing (504 words) [view diff] exact match in snippet view article find links to article

and is part of the ASF+SDF Meta-Environment and the Stratego/XT program transformation system. JSGLR, a pure Java implementation of SGLR, also based on

Decompiler (2,265 words) [view diff] no match in snippet view article find links to article

2017-12-25. Retrieved 2014-04-10. "The Legality of Decompilation". Program-transformation.org. 2004-12-03. Archived from the original on 2010-09-22. Retrieved

Inductive programming (2,549 words) [view diff] exact match in snippet view article find links to article

R. (1995). "Inductive functional programming using incremental program transformation". Artificial Intelligence. 74 (1): 55–83. doi:10.1016/0004-3702(94)00042-y

List comprehension (2,556 words) [view diff] exact match in snippet view article find links to article

implemented in POP2 by Burstall and used for Darlington’s work on program transformation (Burstall & Darlington 1977). The language was first order, strongly

John Reif (862 words) [view diff] case mismatch in snippet view article find links to article

Volume 8, Issue 51, (2022). Parallel Algorithm Derivation and Program Transformation, (with Robert Paige and Ralph Wachter), Kluwer Academic Publishers

NPL (programming language) (127 words) [view diff] case mismatch in snippet view article

comprehensions in later functional languages. John Darlington (1977). "Program Transformation and Synthesis: Present Capabilities". Research Report No. 77/43

International Federation for Information Processing (4,158 words) [view diff] no match in snippet view article find links to article

from the original on 2010-01-29. Retrieved 2018-03-22. "Data". program-transformation.org. John Impagliazzo, History of Computing and Education 2 (HCE2):

Functional programming (8,682 words) [view diff] exact match in snippet view article find links to article

Kleene Recursion Equations and was first introduced in their work on program transformation. Burstall, MacQueen and Sannella then incorporated the polymorphic

McCarthy 91 function (1,115 words) [view diff] case mismatch in snippet view article find links to article

ISBN 9780070399105. Wand, Mitchell (January 1980). "Continuation-Based Program Transformation Strategies". Journal of the ACM. 27 (1): 164–180. doi:10.1145/322169

Tom (programming language) (152 words) [view diff] exact match in snippet view article

Tom Developer(s) INRIA Stable release 2.10 / 2013-03-21 Type program transformation language License GPL, BSD licenses Website tom.loria.fr

Multitier programming (2,772 words) [view diff] exact match in snippet view article find links to article

(2005). "From sequential programs to multi-tier applications by program transformation". Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles

Ciao (programming language) (589 words) [view diff] exact match in snippet view article

verification assertion checking and optimization via source to source program transformation. These tasks are performed by Ciaopp, distributed separately). Ciao

List of model checking tools (1,199 words) [view diff] case mismatch in snippet view article find links to article

Real Systems and 6th International Workshop on Verification and Program Transformation (MARS/VPT’18), Thessaloniki, Greece. Electronic Proceedings in Theoretical

Jan L. A. van de Snepscheut (488 words) [view diff] exact match in snippet view article find links to article

board. Van de Snepscheut, Jan L.A. (1993). "Proxac: an editor for program transformation". Caltech Computer Science Technical Reports. Retrieved May 23,

Martin Henson (computer scientist) (815 words) [view diff] exact match in snippet view article

program verification and transformation, pioneering an approach to program transformation, adapted from work in semantic equivalences, using higher-order

Pacbase (307 words) [view diff] case mismatch in snippet view article find links to article

service to convert PACBASE systems to maintainable native COBOL PTF - Program Transformation Factory: Euraxiel (founded by CGI Systems experts) and HP have partnered

Semantics encoding (1,548 words) [view diff] case mismatch in snippet view article find links to article

in Computer Science, Cham: Springer International Publishing, pp. 183–202, ISBN 978-3-319-89365-5, retrieved 2025-07-19 The Program Transformation Wiki

Environmental issues in Jordan (3,971 words) [view diff] no match in snippet view article find links to article

Jordan experiences a myriad of environmental issues related to water supply and quality, land pollution, air pollution, rapid modernization, and natural

Rose tree (3,120 words) [view diff] exact match in snippet view article find links to article

ISBN 0-13-484346-0. Malcolm, Grant (1990). "Data structures and program transformation". Science of Computer Programming. 14 (2): 255–279. doi:10

Message Authenticator Algorithm (954 words) [view diff] case mismatch in snippet view article find links to article

Systems (MARS'18) and 6th International Workshop on Verification and Program Transformation (MARS/VPT 2018), Thessaloniki, Greece. Electronic Proceedings in

List of programming language researchers (5,835 words) [view diff] exact match in snippet view article find links to article

partial evaluation, and continuations John Darlington, work on program transformation and functional programming, including NPL and Hope+ L. Peter Deutsch

University of Illinois Center for Supercomputing Research and Development (6,992 words) [view diff] case mismatch in snippet view article find links to article

Gallivan. “Strategies for Cache and Local Memory Management by Global Program Transformation”. J. Parallel Distributed Comput. 5(5): 587-616 (1988) also ICS 1987: 229-254