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

Recent Trends in Data Type Specification

10.1007/3-540-54496-8 ◽

1991 ◽

Keyword(s):

Data Type ◽

Recent Trends ◽

Type Specification

Download Full-text

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

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

An approach for data type specification and its use in program verification

Information Processing Letters ◽

10.1016/0020-0190(79)90153-4 ◽

1979 ◽

Vol 8 (2) ◽

pp. 98-103 ◽

Author(s):

T.H. Pequeno ◽

C.J. Lucena

Keyword(s):

Program Verification ◽

Data Type ◽

Type Specification

Download Full-text

Abstract Data Type Specification in the Affirm System

IEEE Transactions on Software Engineering ◽

10.1109/tse.1980.230459 ◽

1980 ◽

Vol SE-6 (1) ◽

pp. 24-32 ◽

Author(s):

D.R. Musser

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Abstract Data ◽

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