„program semantics“
Suchergebnisse
553 Treffer
-
Multi-scale feature aggregation with hierarchical semantics and uncertainty assessment: enabling high-accuracy visual retrieval
-
Denotational Semantics for Probabilistic and Concurrent Programs
-
Verification of Business Rules Programs
-
Operational Semantics and Verification of Security Protocols
-
A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
-
Graphical Models for Security – Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
-
Syntax and Semantics of Graphs – An approach to the specification of visual notations for discrete-event systems
-
Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
-
Partial information systems and the Smyth powerdomain
-
The predicate completion of a partial information system
-
Brahms and Bruckner as Artistic Antipodes – Studies in Musical Semantics
-
Gustav Mahler’s Mental World – A Systematic Representation – Translated by Ernest Bernhardt-Kabisch
-
Programming with Actors – State-of-the-Art and Research Perspectives
-
Morphology-Semantics Mismatches and the Nature of Grammatical Features
-
Morphology-Semantics Mismatches and the Nature of Grammatical Features
-
Functorial Models of Differential Linear Logic
-
An Expressive Trace Logic for Recursive Programs
-
Incremental Computing by Differential Execution
-
Incremental Computing by Differential Execution (Artifact)
-
Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number (Track B: Automata, Logic, Semantics, and Theory of Programming)