Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

• Autor: School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford)
• Roland C Backhouse 1948-; Roy L Crole; Jeremy Gibbons 1966-
• Assuntos: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses; Algebra -- Congresses; ENGENHARIA DE SOFTWARE -- CONGRESSOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS)
• Notas: Includes bibliographical references and index
  
• Descrição: Ordered sets and complete lattices / Hilary A. Priestley -- Algebras and coalgebras / Peter Aczel -- Galois connections and fixed point calculus / Roland Backhouse -- Calculating functional programs / Jeremy Gibbons -- Algebra of program termination / Henk Doornbos and Roland Backhouse -- Exercises in coalgebraic specification / Bart Jacobs -- Algebraic methods for optimization problems / Richard Bird, Jeremy Gibbons, and Shin-Cheng Mu -- Temporal al gebra / Burghard von Karger
  
• Títulos relacionados: Série:Lecture notes in computer science 2297
• Editor: Berlin Springer New York
  
• Data de criação/publicação: c2002
  
• Formato: xiv, 385 p. ill. 24 cm.
  
• Idioma: Inglês