Search Results for Semantics.

22 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Programming Languages and Operational Semantics A Concise Overview / Fernández, Maribel. author.

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

Yazar

d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X

https://doi.org/10.1007/978-3-319-68288-4

Format:

Electronic Resources

Alıntı:

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

https://doi.org/10.1007/978-3-319-55559-1

Format:

Electronic Resources

Alıntı:

students and researchers engaged with the concurrent semantics of distributed communicating systems. The

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Yazar

Duan, Zhenhua. editor.

https://doi.org/10.1007/978-3-030-13651-2

Format:

Electronic Resources

Alıntı:

Programming and testing -- Verification and validation -- Semantics -- Blockchain.

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Yazar

Falaschi, Moreno. editor.

http://dx.doi.org/10.1007/978-3-319-27436-2

Format:

Electronic Resources

Alıntı:

Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types and

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Yazar

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

https://doi.org/10.1007/978-3-030-33636-3

Format:

Electronic Resources

Alıntı:

typical areas are type systems, program analysis and transformation, programming-language semantics

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Yazar

Cerrito, Serenella. editor.

https://doi.org/10.1007/978-3-030-29026-9

Format:

Electronic Resources

Alıntı:

following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

Denotational Semantics -- Equivalence Between HOFL Denotational and Operational Semantics -- Calculus for

Formal Methods An Appetizer

Yazar

Nielson, Flemming. author. (orcid)0000-0001-7362-6176

https://doi.org/10.1007/978-3-030-05156-3

Format:

Electronic Resources

Alıntı:

their semantics. The book is suitable for advanced undergraduate and graduate courses in software

10.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and

11.

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Yazar

de Supinski, Bronis R. editor.

https://doi.org/10.1007/978-3-319-98521-3

Format:

Electronic Resources

Alıntı:

Analyzer -- A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage -- Tasking

12.

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Yazar

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

https://doi.org/10.1007/978-3-030-31095-0

Format:

Electronic Resources

Alıntı:

—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical

	{displayName}	{count}
{error}