The evolution of programs /

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

The Logic programming paradigm : a 25-year perspective /
Published: (1999)

Modular specification and verification of object-oriented programs /
by: Müller, Peter, 1972-
Published: (2002)

Programming methodology /
Published: (2003)

Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published: (2000)

Program construction : international summer school /
Published: (1979)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /
Published: (1995)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
by: Rao, Josyula Ramachandra, 1962-
Published: (1995)

The data parallel programming model : foundations, HPF realization, and scientific applications /
Published: (1996)

Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /
Published: (1980)

Computer programming and formal systems
Published: (1963)

The origin of concurrent programming : from semaphores to remote procedure calls /
Published: (2002)

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
Published: (1975)

Your wish is my command : programming by example /
Published: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Published: (2001)

An introduction to digital computing
by: George, F. H. (Frank Honywill), 1921-1997
Published: (1966)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
Published: (1982)

Language hierarchies and interfaces : international summer school /
Published: (1976)

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
Published: (2004)

Termination proofs for logic programs /
by: Plümer, Lutz
Published: (1990)

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning /
by: Schmid, U. (Ute)
Published: (2003)

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers /
Published: (2000)

A connotational theory of program structure /
by: Royer, James S.
Published: (1987)

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
Published: (2004)

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings /
Published: (2001)

Computing fundamentals : the theory and practice of software design with BlackBox Component Builder /
by: Warford, J. Stanley, 1944-
Published: (2002)

Systematic programming: an introduction.
by: Wirth, Niklaus
Published: (1973)

Optimal interprocedural program optimization : a new framework and its application /
by: Knoop, Jens
Published: (1998)

Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
Published: (1998)