Εμφανίζονται 1 - 20 Αποτελέσματα από 39 για την αναζήτηση '"denotational semantics"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 6th European Lisp Workshop
    Έκδοση 2009
    Θέματα: “…Denotational semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
    ανά Stoy, Joseph E.
    Έκδοση 1977
    Βιβλίο
  3. 3
    Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics /
    ανά Draheim, Dirk
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Denotational Semantics -- Semantical Correspondences -- Categorical Treatment -- Probabilism and Non…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Semantics with Applications: An Appetizer
    ανά Nielson, Hanne Riis, Nielson, Flemming
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Denotational Semantics -- More on Denotational Semantics -- Program Analysis -- More on Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Models of Computation
    ανά Bruni, Roberto, Montanari, Ugo
    Έκδοση 2017
    Πίνακας περιεχομένων: “… and Fixpoints -- Denotational Semantics of IMP -- Operational Semantics of HOFL -- Domain Theory -- HOFL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Concrete Semantics With Isabelle/HOL /
    ανά Nipkow, Tobias, Klein, Gerwin
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines -- Towards Compatible…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Temporal Notions: The CTTN–System -- Towards a Denotational Semantics for TimeML -- Arguments in TimeML…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Formal Syntax and Semantics of Java
    Έκδοση 1999
    Πίνακας περιεχομένων: “… of Multi-threaded Java -- Dynamic Denotational Semantics of Java -- A Programmer's Reduction Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Understanding Concurrent Systems
    ανά Roscoe, A.W
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Theory -- Operational Semantics -- Denotational Semantics and Behavioural Models -- Finite Observation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Pomset Semantics for a Shared-Variable Parallel Language -- Generating Denotational Semantics from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… of Software Product Line Variants -- A Hoare Logic Contract Theory An Exercise in Denotational Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Argumentation in Multi-Agent Systems First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… for Action -- A Denotational Semantics for Deliberation Dialogues -- Negotiation -- Bargaining and Argument…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… into type theoretical programs -- Denotational semantics for polarized (but-non-constrained) LK by means…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…” to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants…”
    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
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Logic Based on SPIN -- Hardware -- A Denotational Semantics for Handel-C Hardware Compilation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Testing semantics for a probabilistic-timed process algebra -- Denotational semantics for timed testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Machines -- Denotational Semantics of Hybrid Automata -- Process Calculi -- Reversing Algebraic Process…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email