An Algebraic Data Type Specification Language And Its Rapid Prototyping Environment*

11th International Conference on Software Engineering ◽

10.1109/icse.1989.714395 ◽

2005 ◽

Author(s):

L. Jadoul ◽

L. Duponcheel ◽

W. Van Puymbroeck

Keyword(s):

Rapid Prototyping ◽

Specification Language ◽

Data Type ◽

Type Specification

Download Full-text

An algebraic data type specification language and its rapid prototyping environment

Proceedings of the 11th international conference on Software engineering - ICSE '89 ◽

10.1145/74587.74595 ◽

1989 ◽

Author(s):

Luc Jadoul ◽

Luc Duponcheel ◽

Willy Van Puymbroeck

Keyword(s):

Rapid Prototyping ◽

Specification Language ◽

Data Type ◽

Type Specification

Download Full-text

The algebraic data type specification language

Microprocessing and Microprogramming ◽

10.1016/0165-6074(87)90043-3 ◽

1987 ◽

Vol 21 (1-5) ◽

pp. 231-240

Author(s):

Luc Duponcheel ◽

Jurgen Heyman ◽

Willy Van Puymbroeck ◽

Johan Lewi ◽

Ivo Van Horebeek

Keyword(s):

Specification Language ◽

Data Type ◽

Type Specification

Download Full-text

Standard model semantics for DSL a data type specification language

Acta Informatica ◽

10.1007/bf00263930 ◽

1983 ◽

Vol 19 (1) ◽

Author(s):

J.A. Bergstra ◽

J. Terlouw

Keyword(s):

Standard Model ◽

Specification Language ◽

Data Type ◽

Type Specification

Download Full-text

Recent Trends in Data Type Specification

10.1007/3-540-54496-8 ◽

1991 ◽

Keyword(s):

Data Type ◽

Recent Trends ◽

Type Specification

Download Full-text

Feasibility and Profitability of Optimization by Data-Type Specification in Ruby

2009 International Conference on Electronic Computer Technology ◽

10.1109/icect.2009.151 ◽

2009 ◽

Author(s):

Prakhar Goyal

Keyword(s):

Data Type ◽

Type Specification

Download Full-text

Observability concepts in abstract data type specification

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1976 ◽

10.1007/3-540-07854-1_231 ◽

1976 ◽

pp. 576-587 ◽

Author(s):

V. Giarratana ◽

F. Gimona ◽

U. Montanari

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Abstract Data ◽

Type Specification

Download Full-text

A theory for program and data type specification

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-52531-9_128 ◽

1990 ◽

pp. 91-100 ◽

Author(s):

Carolyn Talcott

Keyword(s):

Data Type ◽

Type Specification

Download Full-text

Data type specification

10.1145/800133.804340 ◽

1978 ◽

Author(s):

James W. Thatcher ◽

Eric G. Wagner ◽

Jesse B. Wright

Keyword(s):

Data Type ◽

Type Specification

Download Full-text

Recent Trends in Data Type Specification

10.1007/978-3-662-09691-8 ◽

1985 ◽

Keyword(s):

Data Type ◽

Recent Trends ◽

Type Specification

Download Full-text

Recent Trends in Data Type Specification

10.1007/3-540-50325-0 ◽

1988 ◽

Keyword(s):

Data Type ◽

Recent Trends ◽

Type Specification

Download Full-text