المؤلفون: Lundén, Daniel, Çaylak, Gizem, Ronquist, Fredrik, 1962, Broman, David

المصدر: Programming Languages and Systems Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :535-563

مصطلحات موضوعية: Operational semantics, Probabilistic programming, Static analysis

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-234452
https://doi.org/10.1007/978-3-031-30044-8_20

المؤلفون: Dias, Maria Inês Machado Correia Brioso

المساهمون: Neves, Renato Jorge Araújo, Barbosa, L. S., Universidade do Minho

مصطلحات موضوعية: Concurrent quantum language, Quantum computing, Concurrent computing, Programming language theory, Operational semantics, Haskell, Parsec, Linguagem quântica concorrente, Computação quântica, Computação concorrente, Teoria de linguagens de programação, Semântica operational, Ciências Naturais::Ciências da Computação e da Informação

وصف الملف: application/pdf

Relation: 203668855

الاتاحة: https://hdl.handle.net/1822/93201

المؤلفون: Veresov, Aleksey, Spenger, Jonas, Carbone, Paris, Haller, Philipp

المصدر: Leibniz International Proceedings in Informatics, LIPIcs. 313

مصطلحات موضوعية: Network security, Program debugging, Checkpoint recovery, Complex failure, Dataflow, Distributed systems, Failure handling, Failure transparency, High level of abstraction, Implementation models, Operational semantics, Stateful dataflow, Data flow analysis

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-76008
https://doi.org/10.4230/LIPIcs.ECOOP.2024.42
https://ri.diva-portal.org/smash/get/diva2:1913072/FULLTEXT01.pdf

المؤلفون: Renieri M., Galletta L., Lafuente A. L., Chiang J. H. -Y.

المساهمون: Renieri, M., Galletta, L., Lafuente, A. L., Chiang, J. H. -Y.

مصطلحات موضوعية: AMMs, Formal methods, Liquidity-Saving Mechanism, Netting, Operational semantics

Relation: ispartofbook:CEUR Workshop Proceedings; 6th Distributed Ledger Technology Workshop, DLT 2024; volume:3791; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/20.500.11771/31858

الاتاحة: https://hdl.handle.net/20.500.11771/31858

المؤلفون: Duval, Dominique, Echahed, Rachid

المساهمون: Calcul Algébrique et Symbolique, Sécurité, Systèmes Complexes, Codes et Cryptologie (CASC), Laboratoire Jean Kuntzmann (LJK), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Calculs algorithmes programmes et preuves (CAPP), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)

المصدر: Symbolic Computation in Software Science - 10th International Symposium ; 10th International Symposium en Symbolic Computation in Software Science ; https://hal.science/hal-04772426 ; 10th International Symposium en Symbolic Computation in Software Science, Aug 2024, Tokyo, Japan. pp.96-113, ⟨10.1007/978-3-031-69042-6_6⟩

مصطلحات موضوعية: Operational semantics, Rewrite systems, Graph query languages, [INFO]Computer Science [cs]

جغرافية الموضوع: Tokyo, Japan

الاتاحة: https://hal.science/hal-04772426
https://hal.science/hal-04772426v1/document
https://hal.science/hal-04772426v1/file/paper_SCSS2024_HAL.pdf
https://doi.org/10.1007/978-3-031-69042-6_6

المؤلفون: Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso

المساهمون: Ugo de'Liguoro and Matteo Palazzo and Luca Roversi, Perini Brogi, Cosimo, DE NICOLA, Rocco, Inverso, Omar

مصطلحات موضوعية: Formal methods, Concurrent systems, Structural proof theory, Process algebras, Structural operational semantics, Cut-elimination, Compositional verification

Relation: ispartofbook:Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024; 25th Italian Conference on Theoretical Computer Science; volume:3811; firstpage:292; lastpage:299; numberofpages:8; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Ugo de'Liguoro and Matteo Palazzo and Luca Roversi; https://hdl.handle.net/20.500.11771/31538

الاتاحة: https://hdl.handle.net/20.500.11771/31538
https://ceur-ws.org/Vol-3811/paper050.pdf

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Le Gall, Pascale

المصدر: Digital Library Association for Computing Machinery, 12–22, (2024-06-06) ; FormaliSE, 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, Lisbon, Portugal, 14-20 April 2024

مصطلحات موضوعية: Interaction language, Sequence Diagram, Message Sequence Chart, Non-deterministic Finite Automaton, Operational Semantics, Term Rewriting

Relation: https://zenodo.org/communities/eu; https://doi.org/10.1145/3644033.3644382; oai:zenodo.org:11609027

الاتاحة: https://doi.org/10.1145/3644033.3644382

المؤلفون: Blazy, Sandrine

المساهمون: Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: Lecture Notes in Computer Science ; FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering ; https://inria.hal.science/hal-04553834 ; FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_1⟩

مصطلحات موضوعية: operational semantics of programming languages, verified compilation, machine-checked proofs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Luxembourg

Relation: hal-04553834; https://inria.hal.science/hal-04553834; https://inria.hal.science/hal-04553834/document; https://inria.hal.science/hal-04553834/file/paper.pdf

الاتاحة: https://inria.hal.science/hal-04553834
https://inria.hal.science/hal-04553834/document
https://inria.hal.science/hal-04553834/file/paper.pdf
https://doi.org/10.1007/978-3-031-57259-3_1

المؤلفون: Schiebelbein, Edgard, Hatia, Saalik, Bieniusa, Annette, Petri, Gustavo, Ferreira, Carla, Shapiro, Marc

المساهمون: University of Kaiserslautern Kaiserslautern, DistributEd aLgorithms and sYStems (DELYS), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Amazon Web Services Cambridge, UK, Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), EuroSys (ACM), ACM, ANR-19-CE25-0007,AdeCoDS,Programmation, Vérification, et Synthèse de Systèmes Distribués Adéquatement Consistent(2019)

المصدر: Proceedings of the EuroSys 2024 workshops ; Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) ; https://inria.hal.science/hal-04507674 ; Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩

مصطلحات موضوعية: Theory of computation → Operational semantics, Information systems → Information storage systems formal methods, Verification, Key-value store, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Athènes, Greece

Relation: hal-04507674; https://inria.hal.science/hal-04507674; https://inria.hal.science/hal-04507674v2/document; https://inria.hal.science/hal-04507674v2/file/papoc2024-published-version-paper19.pdf

الاتاحة: https://inria.hal.science/hal-04507674
https://inria.hal.science/hal-04507674v2/document
https://inria.hal.science/hal-04507674v2/file/papoc2024-published-version-paper19.pdf
https://doi.org/10.1145/3642976.3653036

المؤلفون: Filipovikj, Predrag, Ung, G., Gurov, Dilian, 1964, Nyberg, Mattias

المصدر: Electronic Proceedings in Theoretical Computer Science, EPTCS. :38-52

مصطلحات موضوعية: Computer programming languages, Formal verification, Model checking, Semantics, Simulink, Bounded model checking, Complex software, Invariant checking, Invariant properties, Safety critical software, Software modeling, STATEFLOW, Stateflow models, Structural operational semantics, Symbolic Transition Systems, Accident prevention

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328152
https://doi.org/10.4204/EPTCS.371.3

المؤلفون: Davide Ancona, Pietro Barbieri, Elena Zucca

المساهمون: Ancona, Davide, Barbieri, Pietro, Zucca, Elena

مصطلحات موضوعية: Operational semantics, Stream programming, Regular trees

وصف الملف: ELETTRONICO

Relation: volume:1009; firstpage:1; lastpage:19; numberofpages:19; journal:THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11567/1219980

الاتاحة: https://hdl.handle.net/11567/1219980
https://doi.org/10.1016/j.tcs.2024.114680

المؤلفون: Dagnino, Francesco, Gavazzo, Francesco

المساهمون: Dagnino, Francesco, Gavazzo, Francesco

مصطلحات موضوعية: logical relations, operational semantics, fibrations, generic effects, program distance

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001202854600001; volume:Volume 20, Issue 2; issue:2; firstpage:1; lastpage:34; numberofpages:34; journal:LOGICAL METHODS IN COMPUTER SCIENCE; https://hdl.handle.net/11567/1219788

الاتاحة: https://hdl.handle.net/11567/1219788
https://doi.org/10.46298/lmcs-20(2:1)2024

المؤلفون: Bocchi, Laura, Lanese, Ivan, Mezzina, Claudio, Antares, Yuen, Shoji

المساهمون: School of Computing Kent, University of Kent Canterbury, Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Università degli Studi di Urbino 'Carlo Bo', Nagoya University, ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018)

المصدر: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04576057 ; Logical Methods in Computer Science, 2024, Volume 20, Issue 1, ⟨10.46298/lmcs-20(1:11)2024⟩

مصطلحات موضوعية: Reversible computing, Timed systems, Process calculi, Operational semantics, [INFO]Computer Science [cs]

الاتاحة: https://hal.science/hal-04576057
https://hal.science/hal-04576057v1/document
https://hal.science/hal-04576057v1/file/2212.03687.pdf
https://doi.org/10.46298/lmcs-20(1:11)2024

المؤلفون: Seiller, Thomas

المساهمون: Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), ANR-22-CE48-0003,DySCo,Systèmes Dynamiques et Calcul: une approche logique(2022), European Project: 659920,H2020,H2020-MSCA-IF-2014,ReACT(2015)

المصدر: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-02458330 ; Logical Methods in Computer Science, 2024, Volume 20 (3), ⟨10.46298/lmcs-20(3:18)2024⟩

مصطلحات موضوعية: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.4: Probabilistic computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2001.11906; info:eu-repo/grantAgreement//659920/EU/A Realizability Approach to Complexity Theory/ReACT; ARXIV: 2001.11906

الاتاحة: https://hal.science/hal-02458330
https://hal.science/hal-02458330v6/document
https://hal.science/hal-02458330v6/file/Markov-zeta-lmcs-final.pdf
https://doi.org/10.46298/lmcs-20(3:18)2024

المؤلفون: van Binsbergen, L. Thomas

مصطلحات موضوعية: 006.3, syntax analysis, top-down parsing, generalised parsing, parser combinators, operational semantics, structural operational semantics, MSOS, reusable semantics, reusable components, component-based semantics, caml light, Computer Science (miscellaneous)

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.792905

المؤلفون: Lundén, Daniel, 1993

المساهمون: Broman, David, Professor, 1977, Murray, Lawrence, Doktor, Jaldén, Joakim, Professor, 1976, Staton, Sam, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Probabilistic programming languages, Compilers, Static program analysis, Monte Carlo inference, Operational semantics, Probabilistiska programmeringsspråk, Kompilatorer, Statisk programanalys, Monte Carlo-inferens, Operationell semantik, Informations- och kommunikationsteknik, Information and Communication Technology

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-324496
https://kth.diva-portal.org/smash/get/diva2:1741049/FULLTEXT01.pdf
https://kth.diva-portal.org/smash/get/diva2:1741049/FULLTEXT02.pdf

المؤلفون: Castiglioni, Valentina, Dardha, Ornela, Mezzina, Claudio Antares

المصدر: Castiglioni , V , Dardha , O & Mezzina , C A 2025 , ' Preface ' , Information and Computation , vol. 302 , 105226 . https://doi.org/10.1016/j.ic.2024.105226

مصطلحات موضوعية: Concurrent systems, Logic for concurrency, Models of computation, Programming languages, Structural operational semantics

الاتاحة: https://research.tue.nl/en/publications/c8596ee3-cafd-4681-9c73-e9300bcb8a84
https://doi.org/10.1016/j.ic.2024.105226
http://www.scopus.com/inward/record.url?scp=85212131078&partnerID=8YFLogxK

المؤلفون: Lunden, Daniel, Borgström, Johannes, Broman, David

المصدر: Programming Languages And Systems, ESOP 2021 Lecture Notes in Computer Science. :404-431

مصطلحات موضوعية: Probabilistic Programming, Sequential Monte Carlo, Operational Semantics, Functional Programming, Measure Theory

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-474512
https://doi.org/10.1007/978-3-030-72019-3_15
https://uu.diva-portal.org/smash/get/diva2:1658476/FULLTEXT01.pdf

المؤلفون: Gowers, William John

المساهمون: Laird, James, Guglielmi, Alessio

مصطلحات موضوعية: 005.1, denotational semantics, game semantics, categorical semantics, operational semantics

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.814316

المؤلفون: Hoey, James B.

مصطلحات موضوعية: 005.13, Imperative Concurrent Programming Language, reversible executions, programming, Structured Operational Semantics

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811554