MULTIVERSEJAVA
Sequenced semantics, which was first proposed in the context of temporal databases, is the semantics for the evaluation of a program on values annotated with time metadata. The time metadata records when each value is “live” (is valid or has existence). Sequenced semantics stipulates that a computat...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
DigitalCommons@USU
2014
|
| Subjects: | |
| Online Access: | https://digitalcommons.usu.edu/etd/3079 https://digitalcommons.usu.edu/cgi/viewcontent.cgi?article=4105&context=etd |