records generated from UBF

Vlad Dumitrescu vlad_dumitrescu@REDACTED
Tue Apr 15 13:16:19 CEST 2003

>From: Ulf Wiger <etxuwig@REDACTED>
>Thus, the contract checker depends on UBF(B), the type
>definitions, and UBF(C), the state machine specification,
>but not on UBF(A), the encode/decode scheme.
>One could most likely design a UBFish gen_server that
>implements the UBF contract checking, but skips the
>encode/decode part.

Yes, of course, that's what I meant. I keep thinking of UBF as UBF(A), 
because (B) and (C) are really very weakly connected to it - any encoding 
would do.


Hitta rätt på nätet med MSN Sök

More information about the erlang-questions mailing list