| Blob | - an atomic value for which equality might not even be implemented ; |
Acronym for "binary large object" connoting the intended implementation, whereas "blob" itself connotes a lack of structure and definiteness. Adding blobs to FDLs can be important for adapting them to other software systems. For example, it may be important to record the fact that a certain source text for a(n externally interpreted) program has been compiled by certain means into a blob that can be used by the external system as a linkable binary. Then reasoning about the significance of executions of the binary can involve reference to the source text. See