Loading...
Loading...

Go to the content (press return)

Especificació d'una biblioteca de tipus

Author
Franch, X.
Type of activity
Report
Date
1993-01-01
Code
LSI-93-23-R
Repository
http://hdl.handle.net/2117/96903 Open in new window
Abstract
We present the specification of the data types defined in the standard library of the programming language Merlí, which are the basis for the implementation of any user-defined type. The notation is the Merlí itself, and thus the final product is very uniform because both predefined types and user-defined ones are at the same conceptual level. As a result, the semantics of every data type specified and implemented in a Merlí module is fully determined.
Citation
Franch, X. "Especificació d'una biblioteca de tipus". 1993.
Keywords
Data types, Merlí, Programming language, Semantics
Group of research
GESSI - Group of Software and Service Engineering
inSSIDE - integrated Software, Service, Information and Data Engineering

Participants

Attachments