Keywords: معانی ریاضی; Fully abstract semantics; Trace semantics; Untyped assembly language; Protected modules architectures; Formal languages
مقالات ISI معانی ریاضی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: معانی ریاضی; Coalgebras on Kleisli categories; Parametrized fixpoint operator; Trace semantics; Epsilon transitions; Mazurkiewicz traces; Non-deterministic transducers
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics
Keywords: معانی ریاضی; Behavioral metamodels; Compositionality; Bisimulation semantics; Trace semantics;
Trace semantics via determinization
Keywords: معانی ریاضی; Coalgebra; Kleisli category; Eilenberg–Moore category; Trace semantics
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries
Keywords: معانی ریاضی; Full abstraction; Class libraries; Trace semantics; Contextual preorder; Backward compatibility
Maximal traces and path-based coalgebraic temporal logics
Keywords: معانی ریاضی; Coalgebra; Trace semantics; Computation path; Temporal logic; Non-determinism; Probability;
Class invariants as abstract interpretation of trace semantics
Keywords: معانی ریاضی; Abstract interpretation; Class invariant; Object-oriented programming; Optimization; Static analysis; Trace semantics; Verification