Results 231 to 240 of about 1,368,503 (261)

Generating Specialized Interpreters for Modular Structural Operational Semantics

International Workshop/Symposium on Logic-based Program Synthesis and Transformation, 2013
Casper Bach Poulsen, Peter D. Mosses
semanticscholar   +1 more source

Integrative oncology: Addressing the global challenges of cancer prevention and treatment

Ca-A Cancer Journal for Clinicians, 2022
Jun J Mao,, Msce, Lorenzo Cohen, Karen M Mustian   +2 more
exaly  

Operational semantics using the partiality monad

ACM SIGPLAN International Conference on Functional Programming, 2012
Nils Anders Danielsson
semanticscholar   +1 more source

Operational Semantics and Verification of Security Protocols

Information Security and Cryptography, 2012
Cas J. F. Cremers, S. Mauw
semanticscholar   +1 more source

Core operational semantics of Proto

ACM Symposium on Applied Computing, 2011
Mirko Viroli, J. Beal, Matteo Casadei
semanticscholar   +1 more source

Operational Semantics for SPARQL Update

Joint International Conference of Semantic Technology, 2011
Ross Horne, V. Sassone, Nicholas Gibbins
semanticscholar   +1 more source

Obesity and adverse breast cancer risk and outcome: Mechanistic insights and strategies for intervention

Ca-A Cancer Journal for Clinicians, 2017
Cynthia Morata-Tarifa, Joyce M Slingerland   +1 more
exaly  

Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma

Ca-A Cancer Journal for Clinicians, 2020
Aaron J Grossberg, William L Hwang, Anirban Maitra   +2 more
exaly  

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

Performance evaluation (Print), 2014
Friedrich Gretz, J. Katoen, Annabelle McIver   +2 more
semanticscholar   +1 more source

Oral complications of cancer and cancer therapy

Ca-A Cancer Journal for Clinicians, 2012
Joel B Epstein, Rene-Jean Bensadoun, Andrei Barasch   +2 more
exaly