Results 261 to 269 of about 103,776 (269)

An Operational Semantics for the Eiffel Language

, 1995
Isabelle Attali, Denis Caromel, Sidi Ould Ehmety   +2 more
openalex   +1 more source

Multi-source heterogeneous data fusion and intelligent prediction modeling for chemical engineering construction projects based on improved transformer architecture. [PDF]

Sci Rep
Xin D.
europepmc   +1 more source

Reasoning about programs using operational semantics and the role of a proof support tool

, 2011
John Robert Derek Hughes
openalex   +1 more source

Graph-augmented multi-modal learning framework for robust android malware detection. [PDF]

Sci Rep
Tanveer MU, Munir K, Alyamani HJ, Hassan SR, Sheraz M, Chuah TC.   +5 more
europepmc   +1 more source

Big Steps in Higher-Order Mathematical Operational Semantics

Sergey Goncharov, Pouya Partow, Stelios Tsampas   +2 more
openalex   +1 more source

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics

, 2010
Vlad Rusu, Laure Gonnord, Benoît Combemale   +2 more
openalex   +1 more source