J. Heering Books
Algebraic Specification
By J. Heering, Paul Klint, J. A. Bergstra
Edited By J.a. Bergstra, J. Heering, P. Klint. Includes Index. Bibliography: P. [381]-390.
Read More
Algebraic And Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
By Michael Hanus, J. Heering, Mario Rodríguez Artalejo, International Conference On Algebraic And Logic Programming, K. Meinke, International Workshop On Higher-Order Algebra, Logic, And Term Rewriting
This Book Constitutes The Refereed Proceedings Of The Fifth International Conference On Algebraic And Logic Programming, Alp '96, Held In Aachen, Germany, In September 1996 In Conjunction With Plil...
Read More
Algebraic And Logic Programming
By Michael Hanus, J. Heering, Karl Meinke, Jan Heering, International Conference On Algebraic And Logic Programming, K. Meinke, International Workshop On Higher-Order Algebra, Logic, And Term Rewriting
This Book Constitutes The Refereed Proceedings Of The Fifth International Conference On Algebraic And Logic Programming, Alp '96, Held In Aachen, Germany, In September 1996 In Conjunction With Plil...
Read More
Algebraic And Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes In Computer Science)
By Michael Hanus, J. Heering, Eugenio Moggi, International Conference On Algebraic And Logic Programming, K. Meinke, International Workshop On Higher-Order Algebra, Logic, And Term Rewriting
This Book Constitutes The Refereed Proceedings Of The Fifth International Conference On Algebraic And Logic Programming, Alp '96, Held In Aachen, Germany, In September 1996 In Conjunction With Plil...
Read More
Algebraic And Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes In Computer Science)
By Michael Hanus, J. Heering, International Conference On Algebraic And Logic Programming, K. Meinke, International Workshop On Higher-Order Algebra, Logic, And Term Rewriting
This Book Constitutes The Refereed Proceedings Of The Fifth International Conference On Algebraic And Logic Programming, Alp '96, Held In Aachen, Germany, In September 1996 In Conjunction With Plil...
Read More
Language Prototyping: An Algebraic Specification Approach
By J. Heering, A Van Deursen, P. Klint
Language Prototyping Provides A Means To Generate Language Implementations Automatically From High-level Language Definitions. This Volume Presents An Algebraic Specification Approach To Language P...
Read More
