Heering, Jan (computerwiskunde)

A comparative analysis of the intel 8086, the Zilog Z8000 and the motorola MC68000 microprocessors / J. Heeringschema:ProductModel A syntax definition formalism / J. Heering, P. Klintschema:ProductModel Application software, domain-specific languages, and language design assistants / J. Heeringschema:ProductModel Eentalige programmeeromgevingen / [door] Jan Heeringschema:ProductModel Implementing higher-order algebraic specifications / J. Heeringschema:ProductModel Incremental generation of lexical scanners / J. Heering, P. Klint, J. Rekersschema:ProductModel Incremental generation of parsers / J. Heering, P. Klint, J.G. Rekersschema:ProductModel Lazy and incremental program generation / J. Heering, P. Klint, J. Rekersschema:ProductModel Partial evaluation and ō-completeness of algebraic specifications / J. Heeringschema:ProductModel Partial evaluation and w-completeness of algebraic specifications / [by] J. Heeringschema:ProductModel Principles of lazy and incremental program generation / J. Heering, P. Klint, J. Rekersschema:ProductModel Programmageneratoren / [door] J. Heeringschema:ProductModel Second-Order Algebraic Specification of Static Semantics / J. Heeringschema:ProductModel Semantics of programming languages : a tool-oriented approach / J. Heering, P. Klintschema:ProductModel Standaard operating systems als oplosing en als probleem / [door] J. Heeringschema:ProductModel The efficiency of the Equation Interpreter compared with the UNH Prolog Interpreter / J. Heering, P. Klintschema:ProductModel Towards monolingual programming environments / J. Heering & P. Klintschema:ProductModel Towards shorter algebraic specifications : a simple language definition and its compilation to Prolog / J. Heering, P. Klintschema:ProductModel Towards shorter algebraic specifications: a simple language definition and its compilation to Prolog / [by] J. Heering [and] P. Klintschema:ProductModel Variaties op het thema 'stack' : een oefening in algebraische specificatie / [door] J. Heeringschema:ProductModel

Algebraic definition of a simple programming language / J.A. Bergstra, J. Heering, P. Klintschema:ProductModel An algebraic programming style for numerical software and its optimization / T.B. Dinesh, M. Haveraaen, J. Heeringschema:ProductModel ASF, an algebraic specification formalism / J.A. Bergstra, J. Heering, P. Klintschema:ProductModel Colloquium programmeeromgevingen / J. Heering & P. Klint (red.)schema:ProductModel Equations as a uniform framework for partial evaluation and abstract interpretation / J. Field, J. Heering, T.B. Dineshschema:ProductModel Generation of interactive programming environments - GIPE : intermediate report / J. Heering, J. Sidi, A. Verhoog (eds)schema:ProductModel Homomorphism preserving algebraic specifications require hidden sorts / J.A. Bergstra, J. Heeringschema:ProductModel Module algebra / J.A. Bergstra, J. Heering, P. Klintschema:ProductModel Module algebra / J.A. Bergstra, J. Heering, P. Klintschema:ProductModel Object-oriented algebraic specification: proposal for a notation and 12 examples / J.A. Bergstra, J. Heering, J.W. Klopschema:ProductModel The syntax definition formalism SDF : reference manual / J. Heering ... [et al.]schema:ProductModel Which data types have →ō⇋-complete initial algebra spcifications? / J.A. Bergstra, J. Heeringschema:ProductModel