Search Results for Semantics.

21 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.

Generating language-based environments

Yazar

Reps, Thomas W., (Thomas William) author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers) -- Semantics.

Semantic web programming

Yazar

Dean, Mike.

Format:

Kitap

Alıntı:

Semantic web programming / Dean, Mike.

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Yazar

Quintão Pereira, Fernando Magno. editor.

http://dx.doi.org/10.1007/978-3-319-11863-5

Format:

Electronic Resources

Alıntı:

; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Yazar

Bodei, Chiara. editor.

http://dx.doi.org/10.1007/978-3-319-25527-9

Format:

Electronic Resources

Alıntı:

including formal program semantics, concurrency theory, systems biology and security. The volume contains 22

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Yazar

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

https://doi.org/10.1007/978-3-030-34175-6

Format:

Electronic Resources

Alıntı:

Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Yazar

Castor, Fernando. editor.

http://dx.doi.org/10.1007/978-3-319-45279-1

Format:

Electronic Resources

Alıntı:

and Heterogeneous Systems -- A Monadic Semantics for Quantum Computing in Featherweight Java

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Yazar

Pontelli, Enrico. editor.

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

Format:

Electronic Resources

Alıntı:

Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Yazar

Bjørner, Nikolaj. editor.

https://doi.org/10.1007/978-3-030-37487-7

Format:

Electronic Resources

Alıntı:

Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software

10.

Transactions on Aspect-Oriented Software Development XII

Yazar

Chiba, Shigeru. editor.

http://dx.doi.org/10.1007/978-3-662-46734-3

Format:

Electronic Resources

Alıntı:

Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for

11.

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Yazar

Holvoet, Tom. editor.

http://dx.doi.org/10.1007/978-3-319-19282-6

Format:

Electronic Resources

Alıntı:

Computational Fields -- Take Command of Your Constraints! -- A Labelled Semantics for Soft Concurrent Constraint

12.

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Yazar

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

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

Format:

Electronic Resources

Alıntı:

ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination

	{displayName}	{count}
{error}