Automatic program construction techniques /

Annual review in automatic programming.
Published: (1960)

Annual review in automatic programming. papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1-3 April 1959 /
Published: (1960)

Annual review in automatic programming.

Automatic parallelization for a class of regular computations /
by: Megson, G. M.
Published: (1997)

Automatic quantum computer programming : a genetic programming approach /
by: Spector, Lee C., 1947-
Published: (2004)

Automatic programming applied to VLSI CAD software : a case study /
by: Setliff, Dorothy E., 1958-
Published: (1990)

Knowledge-based model construction : an automatic programming approach to simulation modeling /
by: Murray, Karen Jean Burns, 1955-
Published: (1986)

Grammatical evolution : evolutionary automatic programming in an arbitrary language /
by: O'Neill, Michael, 1975-
Published: (2003)

Design of a knowledge-based model construction system : the integration of simulation modeling, automatic programming and expert systems /
by: Murray, Karen J.
Published: (1986)

Automatic quantum computer programming : a genetic programming approach /
by: Spector, Lee, 1963-
Published: (2007)

Automatic control and computer engineering /
Published: (1961)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)

Extensional constructs in intensional type theory /
by: Hofmann, Martin, 1965-
Published: (1997)

Acquisition of software engineering knowledge : SWEEP : an automatic programming system based on genetic programming and cultural algorithms /
by: Cowan, George S.
Published: (2003)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
by: Chlipala, Adam, 1981-
Published: (2013)

The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /
Published: (1991)

Automatic systems for the identification and inspection of humans : 28-29 July 1994, San Diego, California /
Published: (1994)

Automatic performance prediction of parallel programs /
by: Fahringer, Thomas, 1965-
Published: (1996)

Formal and adaptive methods for automation of parallel programs construction : emerging research and opportunities /
by: Doroshenko, Anatoliy, 1948-, et al.
Published: (2019)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
by: Chlipala, Adam, 1981-
Published: (2013)

Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada /
Published: (1993)

Studies in automatic programming logic /
by: Manna, Zohar
Published: (1977)

Annual reviews in control.
Published: (1996)

Annual reviews in control.
Published: (1997)

The art of differentiating computer programs : an introduction to algorithmic differentiation /
by: Naumann, Uwe, 1969-
Published: (2011)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /
Published: (1994)

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
Published: (2006)

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
Published: (2004)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers /
Published: (1994)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
Published: (2004)

Automatic programming of AGVS simulation models /
by: Brazier, Mark Kevin
Published: (1987)

Automatic re-engineering of software using genetic programming /
by: Ryan, Conor, 1972-
Published: (2000)

Automatic parallelization : an overview of fundamental compiler techniques /
by: Midkiff, Samuel P. (Samuel Pratt), 1954-
Published: (2012)

Programming fundamentals : conditionals in for loops.
Published: (2017)