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

2009 ◽  
Author(s):  
Prakhar Goyal
Keyword(s):  
Data Type ◽  
Type Specification

Observability concepts in abstract data type specification

1976 ◽  
pp. 576-587 ◽  
Author(s):  
V. Giarratana ◽  
F. Gimona ◽  
U. Montanari
Keyword(s):  
Data Type ◽  
Abstract Data Type ◽  
Abstract Data ◽  
Type Specification

Data type specification

1978 ◽  
Author(s):  
James W. Thatcher ◽  
Eric G. Wagner ◽  
Jesse B. Wright
Keyword(s):  
Data Type ◽  
Type Specification

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

1979 ◽  
Vol 8 (2) ◽  
pp. 98-103 ◽  
Author(s):  
T.H. Pequeno ◽  
C.J. Lucena
Keyword(s):  
Program Verification ◽  
Data Type ◽  
Type Specification

Abstract Data Type Specification in the Affirm System

1980 ◽  
Vol SE-6 (1) ◽  
pp. 24-32 ◽  
Author(s):  
D.R. Musser
Keyword(s):  
Data Type ◽  
Abstract Data Type ◽  
Abstract Data ◽  
Type Specification

The algebraic data type specification language

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
Sign in / Sign up

Export Citation Format

Share Document