Εμφανίζονται 1 - 20 Αποτελέσματα από 122 για την αναζήτηση '"operational semantics"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Έκδοση 2017
    Θέματα: “…Operational semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
    Έκδοση 2019
    Θέματα: “…Operational semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Proceedings of the XXII Brazilian Symposium on Programming Languages
    Έκδοση 2018
    Θέματα: “…Operational semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
    Έκδοση 2016
    Θέματα: “…Operational semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
    ανά Rust, Heinrich
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Programming Languages and Operational Semantics A Concise Overview /
    ανά Fernández, Maribel
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Semantics of Imperative Languages -- General Features of Functional Languages -- Operational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Logic programming operational semantics and proof theory
    ανά Andrews, James H.
    Έκδοση 1992
    Βιβλίο
  8. 8
    Operational Semantics and Verification of Security Protocols
    ανά Cremers, Cas, Mauw, Sjouke
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Models of Computation
    ανά Bruni, Roberto, Montanari, Ugo
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Preliminaries -- Operational Semantics of IMP -- Induction and Recursion -- Partial Orders…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Semantics with Applications: An Appetizer
    ανά Nielson, Hanne Riis, Nielson, Flemming
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Operational Semantics -- More on Operational Semantics -- Provably Correct Implementation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Formal Syntax and Semantics of Java
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Specification: Proving Type-Safety -- Semantic Approaches -- An Event-Based Structural Operational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… with Application -- Understanding Programming Language Concepts Via Operational Semantics.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Compiling Esterel
    Πίνακας περιεχομένων: “… Semantics -- Constructive Behavioral Semantics -- Constructive Operational Semantics -- Constructive Circuit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics /
    ανά Majkić, Zoran
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Codd’s Algebra and DB Category -- Categorial RDB Machines -- Operational Semantics for Database Mappings…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Introduction to the Theory of Programming Languages
    ανά Dowek, Gilles, Lévy, Jean-Jacques
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Constraint Handling Rules Current Research Topics /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… with Propagation Rules -- CHR for Imperative Host Languages -- Guard Reasoning in the Refined Operational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Morphism? -- Use Case Analysis Based on Formal Methods: An Empirical Study -- A Full Operational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email