Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Especificació d'una biblioteca de tipus

Autor
Franch, X.
Tipus d'activitat
Document cientificotècnic
Data
1993-01-01
Codi
LSI-93-23-R
Repositori
http://hdl.handle.net/2117/96903 Obrir en finestra nova
Resum
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.
Citació
Franch, X. "Especificació d'una biblioteca de tipus". 1993.
Paraules clau
Merlí, Programming Language, Data Types, Semantics
Grup de recerca
GESSI - Grup d'Enginyeria del Software i dels Serveis

Participants

Arxius