Formal objects and executors
US10310874B2 · kind B2 · utility
0Cited by
0References
6Claims
0Family size
Inventor
Key dates
| Filing date | Jun 18, 2016 |
| Grant date | Jun 4, 2019 |
| Priority date | — |
| Expiry date | Nov 28, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3668
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Embodiments are provided for formal objects and executors. In one embodiment, a formal object serialization allows retrieving the object value using a Get method, writing the object value using a Write method, and reading the object value using a Read method. In one embodiment, a formal object validation uses a validator to validate assignments to the object value. Formal validation and serialization may be combined. In one embodiment, a formal executor is guaranteed to be closed regardless of whether an error has occurred or not.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.