Searching for "A Formal Semantics for Finalizers." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A Motivating Scenario for Designing an Extensible Audio-Visual Description
- … in the new Semantic Web languages, which provides a formal semantics. Finally, the descriptors can…
- Cited by 2 (1 self) – Add To MetaCart
-
Algebraic Methods for Specification and Formal Development of Programs
- …, and it is almost unique among such languages in having a formal semantics. Finally, it appears to be small…
- Cited by 5 (0 self) – Add To MetaCart
-
Algebraic Methods for Specification and Formal Development of Programs
- … such languages in having a formal semantics. Finally, it appears to be small and elegant enough to admit analysis…
- Add To MetaCart
-
How to Formalize It? Formalization Principles for Information System Development Methods
- … are contrasted, while section 2.2 discusses four different ways of assigning a formal semantics. Finally, section…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 4.
