نتایج جستجو برای: formal language
تعداد نتایج: 529874 فیلتر نتایج به سال:
• A classical-quantum imperative language with an operational and denotational semantics. Two Hoare-style proof systems that are satisfaction-based. An abstract system is sound relatively complete, a concrete sound. We investigate the formal semantics of simple has both classical quantum constructs. More specifically, we provide semantics, two systems: one one. The satisfaction-based, as inspir...
eb is a trace-based formal language created for the specification of information systems (IS). In this technical report, we present the eb formal language for attribute definitions. Attributes, linked to entities and associations of an IS, are computed in eb by recursive functions on the valid traces of the system. The syntax and the main properties of the language are introduced. Then, we aim ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید