PARAMETERIZED PROGRAMMING IN OBJ2.

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1987, Pages 51-60

  Futatsugi, Kokichi ^a   Goguen, Joseph ^a   Meseguer, Jose ^a   Okada, Koji ^a  

^a ELECTROTECHNICAL LABORATORY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

INTERACTIVE PROGRAMMING; OBJ2 LANGUAGE; PARAMETERIZED PROGRAMMING; SOFTWARE DEVELOPMENT ENVIRONMENTS; USER-DEFINED ABSTRACT DATA TYPES;

COMPUTER PROGRAMMING;

EID: 0023207695     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)