AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810227326, 9789812830043

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Origin Tracking and its Applications

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0007 ◽

1996 ◽

pp. 249-294

Author(s):

Arie van Deursen ◽

Paul Klint ◽

Frank Tip

Download Full-text

A Kernel Object-Oriented Language

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0003 ◽

1996 ◽

pp. 53-83

Author(s):

T. B. Dinesh

Keyword(s):

Object Oriented

Download Full-text

The Static Semantics of Pascal

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0002 ◽

1996 ◽

pp. 31-52

Author(s):

Arie van Deursen

Keyword(s):

Static Semantics

Download Full-text

Multi-Level Specifications

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0005 ◽

1996 ◽

pp. 105-197

Author(s):

Eelco Visser

Keyword(s):

Download Full-text

Origin Tracking for Higher-Order Term Rewriting Systems

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0009 ◽

1996 ◽

pp. 307-321

Author(s):

Arie van Deursen ◽

T. B. Dinesh

Keyword(s):

Term Rewriting ◽

Higher Order ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Higher Order Term

Download Full-text

FRONT MATTER

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_fmatter ◽

1996 ◽

pp. i-xx

Author(s):

Arie van Deursen ◽

Jan Heering ◽

Paul Klint

Download Full-text

Second-Order Term Rewriting Specification of Static Semantics: An Exercise

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0008 ◽

1996 ◽

pp. 295-305 ◽

Author(s):

Jan Heering

Keyword(s):

Term Rewriting ◽

Second Order ◽

Static Semantics

Download Full-text

Typechecking with Modular Error Handling

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0004 ◽

1996 ◽

pp. 85-104

Author(s):

T. B. Dinesh

Keyword(s):

Download Full-text

An Overview of ASF+SDF

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0001 ◽

1996 ◽

pp. 1-29 ◽

Author(s):

Arie van Deursen

Download Full-text

Incremental Typechecking

AMAST Series in Computing - Language Prototyping: An Algebraic Specification Approach ◽

10.1142/9789812830043_0006 ◽

1996 ◽

pp. 199-247

Author(s):

Emma van der Meulen

Download Full-text