search result

Cover von Safety of abstract interpretations for free, via logical relations and Galois connections

Safety of abstract interpretations for free, via logical relations and Galois connections

article
Year: 2004
Media group: ARTICLE
Cover von Special issue on the calculational method
Search for this author
Year: 1995
Publisher: Amsterdam, Elsevier
Series: Information processing letters : 53. 1995, 3
Media group: SPECIAL ISSUE
Cover von Program construction and verification
Author: Backhouse, Roland C. Search for this author
Year: 1992
Publisher: New York, Prentice Hall
Series: PHI Series in computer science
Media group: MONOGRAPHIE
Cover von Generic programming
advanced lectures
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 2793
Media group: MONOGRAPHIE
Cover von Special issue on mathematics of program construction; 2/3
S. 91-232
Search for this author
Year: 2002
Publisher: Amsterdam, Elsevier
Count: 2/3
Media group: SPECIAL ISSUE
Cover von Mathematics of program construction
5th international conference : Ponte de Lima, Portugal, July 3 - 5, 2000 : proceedings
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1837
Media group: MONOGRAPHIE
Cover von Applications of Kleene Algebra
18.02. - 23.02.01, Seminar Nr. 01081
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 298
Media group: DAGSTUHL-SEMINAR-REP
Cover von Algebraic and coalgebraic methods in the mathematics of program construction
international summer school and workshop, Oxford, UK, April 10 - 14, 2000 : revised lectures
Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2297
Media group: MONOGRAPHIE
Cover von A relational theory of datatypes
Search for this author
Year: 1990
Media group: TECHNICAL REPORT
Cover von Datatype-generic programming
international spring school : Nottingham, UK, April 24 - 27, 2006 : revised lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4719
Media group: MONOGRAPHIE
OPEN V 11.1.0.0