Výsledky vyhledávání - Semantics of Programming Languages- Operational semantics
-
1
Autoři: Angius, Nicola1 (AUTHOR)
Zdroj: Philosophies. Apr2025, Vol. 10 Issue 2, p40. 17p.
-
2
Autoři:
Zdroj: SoftwareX, Vol 32, Iss , Pp 102425- (2025)
Témata: Gradual typing, Static semantics, Operational semantics, Visualization, Derivation trees, Computer software, QA76.75-76.765
Popis souboru: electronic resource
Relation: http://www.sciencedirect.com/science/article/pii/S2352711025003917; https://doaj.org/toc/2352-7110
Přístupová URL adresa: https://doaj.org/article/15bef3a0b7d64697ad4e88c008e4b9a2
-
3
Autoři: a další
Témata: Agent programming, Speech Acts
Relation: Vieira, R., Moreira, Á. F., Wooldridge, M., & Bordini, R. H. (2007). On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research, 29, 221-267.; https://www.jair.org/index.php/jair/article/view/10503; renatav@uevora.pt; nd; 283
Dostupnost: http://hdl.handle.net/10174/39575
-
4
Autoři:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 19-33 (2012)
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/d590bf8e489842b5bf474385dda38c3b
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Executable Operational Semantics, Error Detection, Smart Contract Languages, Behavioural types, Type Systems, Programming Language Formalisation, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Popis souboru: application/pdf
Dostupnost: http://hdl.handle.net/10362/155568
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Témata: Program analysis General Terms Languages, Verification Keywords Operational Semantics, Operational Semantics, Static Analysis, Android, dalvik bytecode, static analysis, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, 0202 electrical engineering, electronic engineering, information engineering, Dalvik, Theory, 10. No inequality, Static Anal-ysis
Popis souboru: application/pdf
-
7
Autoři:
Zdroj: Logical Methods in Computer Science, Vol 18, Issue 3 (2022)
Témata: computer science - programming languages, computer science - logic in computer science, mathematics - category theory, 68n15, d.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/58968be383f04ba8a56601c1941a0db9
-
8
Autoři:
Zdroj: Journal of Information & Organizational Sciences. 2016, Vol. 40 Issue 2, p203-219. 17p.
Témata: *Programming languages, *Semantics, Syntax (Grammar)
-
9
Autoři: Hennessy, Matthew.
Zdroj: Bibliogr. s. [153]-155.
Indeks.Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:2390548&theme=nukat
-
10
Autoři: Fernández, Maribel.
Zdroj: Bibliogr. s. 139-140. Indeks.
Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:988967&theme=nukat
-
11
Autoři: Plotkin, Gordon D.1 gdp@inf.ed.ac.uk
Zdroj: Journal of Logic & Algebraic Programming. Jul2004, Vol. 60-61, p3-15. 13p.
-
12
Autoři:
Zdroj: Journal of Information and Organizational Sciences, Vol 40, Iss 2 (2016)
Témata: category theory, morphism, semantic function, state, structural operational semantics, Information theory, Q350-390
Popis souboru: electronic resource
Relation: http://jios.foi.hr/index.php/jios/article/view/1012; https://doaj.org/toc/1846-3312; https://doaj.org/toc/1846-9418
Přístupová URL adresa: https://doaj.org/article/d4fae8e772344ab4b3d0833c319904a1
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014 ; https://hal.univ-reunion.fr/hal-01451693 ; ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132
Témata: Android, Operational Semantics, Static Analysis, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Operational Semantics, Dalvik, Static Anal-ysis, [INFO]Computer Science [cs]
Geografické téma: San Diego, United States
-
14
Autoři: Tamarit Muñoz, Salvador
Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Silva Galiana, Josep Francesc, Vidal Oriola, Germán Francisco
Zdroj: Riunet
Témata: Concurrency Program analysis Petri Nets CSP Operational Semantics, LENGUAJES Y SISTEMAS INFORMATICOS
Přístupová URL adresa: http://hdl.handle.net/10251/31651
-
15
Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Thesis Advisors: Silva Galiana, Josep Francesc, Vidal Oriola, Germán Francisco
Zdroj: Riunet
Témata: Concurrency Program analysis Petri Nets CSP Operational Semantics, LENGUAJES Y SISTEMAS INFORMATICOS
Přístupová URL adresa: http://hdl.handle.net/10251/31651
-
16
Autoři:
Zdroj: IEEE Access, Vol 9, Pp 159313-159325 (2021)
Témata: Pattern matching, object graph, subtyping, type system, operational semantics, programming language, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Popis souboru: electronic resource
Přístupová URL adresa: https://doaj.org/article/b15387e56f364754ada3549bc2604c4e
-
17
Autoři: Palmskog, Karl, 1982
Témata: distributed objects, semantics of programming languages, network protocols, SRA - ICT, SRA - Informations- och kommunikationsteknik
Popis souboru: electronic
-
18
Autoři: a další
Resource Type: eBook.
Témata: Programming languages (Electronic computers)--Semantics, OCaml (Computer program language), Python (Computer program language)
Categories: COMPUTERS / Computer Engineering, COMPUTERS / Languages / General, COMPUTERS / Languages / Python
-
19
Autoři: a další
Resource Type: eBook.
Témata: Python (Computer program language), OCaml (Computer program language), Programming languages (Electronic computers)--Semantics, Java (Computer program language), Ada (Computer program language), C++ (Computer program language)
-
20
Autoři:
Zdroj: Mathematical Structures in Computer Science; Mar2019, Vol. 29 Issue 3, p465-510, 46p
Full Text Finder 
Nájsť tento článok vo Web of Science