Cover Image

Formal differentiation : a program synthesis technique /

Bibliographic Details
Main Author:	Paige, Robert A.
Format:	Book
Language:	English
Published:	Ann Arbor, Mich. : UMI Research Press, [1981]
Series:	Computer science. Artificial intelligence ; no. 6.
Subjects:	Computer programming. Algorithms.

Similar Items

Large problems, small machines : transforming your programs with advanced algorithms /
by: Heller, Steve, 1949 April 17-
Published: (1992)

Algorithms : big data, optimization techniques, cyber security /
Published: (2024)

Elements of programming /
by: Stepanov, Alexander A.
Published: (2009)

Automatic algorithm recognition and replacement : a new approach to program optimization /
by: Metzger, Robert C.
Published: (2000)

Algorithms and programming : problems and solutions /
by: Shen, A. (Alexander), 1958-
Published: (1997)

Formal languages ; automata and structures.
by: Engeler, Erwin
Published: (1968)

Synthesis of parallel algorithms /
Published: (1993)

Algorithms and networking for computer games /
by: Smed, Jouni, et al.
Published: (2017)

The art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (1997)

The art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (2005)

Parallel computing using the prefix problem /
by: Lakshmivarahan, S., et al.
Published: (2020)

Algorithms : the construction, proof, and analysis of programs /
by: Berlioux, Pierre
Published: (1986)

Programming classics : implementing the world's best algorithms /
by: Oliver, Ian, 1940-
Published: (1993)

Parallel algorithms for regular architectures : meshes and pyramids /
by: Miller, Russ
Published: (1996)

Parallel programming for modern high performance computing systems /
by: Czarnul, Pawel
Published: (2018)

Introduction to algorithms /
by: Cormen, Thomas H., et al.
Published: (2022)

A programming language /
by: Iverson, Kenneth E.
Published: (1962)

Flow analysis of computer programs /
by: Hecht, Matthew S.
Published: (1977)

Collected algorithms from ACM.
Published: (1980)

Algorithms sequential and parallel : a unified approach /
by: Miller, Russ
Published: (2005)

Algorithms sequential & parallel : a unified approach /
by: Miller, Russ
Published: (2000)

Automatic generation of algorithms /
by: Parada, Victor
Published: (2025)

Handbook of finite state based models and applications /
Published: (2012)

Parallel algorithms /
by: Casanova, Henri
Published: (2008)

Mathematics for the analysis of algorithms /
by: Greene, Daniel H., 1955-
Published: (1981)

Fundamentals of computer algorithms /
by: Horowitz, Ellis
Published: (1984)

Mathematics for the analysis of algorithms /
by: Greene, Daniel H., 1955-
Published: (1990)

Algoritmy vychisleniia otsenok i ikh primenenie /
by: Zhuravlev, IUrii Ivanovich
Published: (1974)

Computer algorithms : introduction to design and analysis /
by: Baase, Sara
Published: (1978)

Fundamentals of the average case analysis of particular algorithms /
by: Kemp, Rainer
Published: (1984)

Mathematics for the analysis of algorithms /
by: Greene, Daniel H., 1955-
Published: (1982)

Computer algorithms : introduction to design and analysis /
by: Baase, Sara
Published: (1988)

Operating-systems theory /
by: Coffman, E. G. (Edward Grady), 1934-
Published: (1973)

Fundamentals of computer algorithms /
by: Horowitz, Ellis
Published: (1978)

The design and analysis of computer algorithms /
by: Aho, Alfred V.
Published: (1975)

Introduction to algorithms /
Published: (2009)

Introduction to algorithms /
by: Cormen, Thomas H.
Published: (1990)

Algorithms illuminated /
by: Roughgarden, Tim
Published: (2022)

Introduction to algorithms /
Published: (2001)

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
by: Boldo, Sylvie, et al.
Published: (2017)