Výsledky vyhľadávania - "Programming language semantics"
-
1
Autori: Sack, Warren1 (AUTHOR)
Zdroj: Philosophies. Aug2025, Vol. 10 Issue 4, p86. 23p.
-
2
Autori: Troy Kaighin Astarte
Zdroj: Philosophies. 10:90
Prístupová URL adresa: https://cronfa.swan.ac.uk/Record/cronfa70136
-
3
Autori: Stassen, Philipp Jan Andries
Zdroj: Stassen, P J A 2024, Programming language semantics in modal type theories. Department of Computer Science, University of Aarhus, Aarhus.
Prístupová URL adresa: https://pure.au.dk/portal/en/publications/ffa6e58d-64fd-4a1c-bb11-401463312e4a
-
4
Autori: Subhajit Roy
Zdroj: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). :153-165
-
5
Autori: HUTTON, GRAHAM1 (AUTHOR) graham.hutton@nottingham.ac.uk
Zdroj: Journal of Functional Programming. 2023, Vol. 33, p1-26. 26p.
Predmety: *PROGRAMMING language semantics, *SEMANTICS, *COMPUTER science
-
6
Autori: a ďalší
Zdroj: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p511-532. 22p.
-
7
Autori:
Prispievatelia:
Predmety: probabilistic programming paradigm, Bayesian modelling, Tabular, probabilistic languages, inference algorithms, Markov chain Monte Carlo, Metropolis-Hastings
Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.738956
-
8
Autori: Angius, Nicola1 (AUTHOR)
Zdroj: Philosophies. Apr2025, Vol. 10 Issue 2, p40. 17p.
-
9
Autori:
Zdroj: Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-63. 63p.
-
10
Autori:
-
11
-
12
Autori:
Zdroj: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p
-
13
Autori:
Zdroj: Communications of the ACM. May2023, Vol. 66 Issue 5, p62-71. 10p. 3 Diagrams, 4 Charts, 1 Graph.
-
14
Autori:
Zdroj: Lecture Notes in Computer Science ISBN: 9783030492090
Inductive Logic Programming-29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Inductive Logic ProgrammingPredmety: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Machine Learning (cs.LG), Logic in Computer Science (cs.LO)
Prístupová URL adresa: http://arxiv.org/pdf/1907.08834
http://arxiv.org/abs/1907.08834
https://rd.springer.com/chapter/10.1007/978-3-030-49210-6_2
https://dblp.uni-trier.de/db/journals/corr/corr1907.html#abs-1907-08834
https://arxiv.org/abs/1907.08834
https://arxiv.org/pdf/1907.08834.pdf
https://link.springer.com/chapter/10.1007/978-3-030-49210-6_2 -
15
Autori: a ďalší
Zdroj: ACM Transactions on Programming Languages & Systems. Dec2024, Vol. 46 Issue 4, p1-64. 64p.
-
16
Autori: Cardone, Felice1 (AUTHOR)
Zdroj: Philosophies. Jun2025, Vol. 10 Issue 3, p54-N.PAG. 18p.
-
17
Autori:
Zdroj: AIP Conference Proceedings. 2025, Vol. 3264 Issue 1, p1-7. 7p.
Predmety: *PROGRAMMING language semantics, *METRIC spaces, *GENERALIZATION
-
18
Autori:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 261, Iss Proc. ICE 2017, Pp 57-75 (2017)
Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Mathematics, Programming Languages (cs.PL)
Prístupová URL adresa: https://arxiv.org/pdf/1708.02319
http://arxiv.org/abs/1708.02319
https://doaj.org/article/301aeedffd784c708b20e9e2afefd0ea
https://arxiv.org/abs/1708.02319
https://arxiv.org/pdf/1708.02319.pdf
https://ui.adsabs.harvard.edu/abs/2017arXiv170802319G/abstract
https://ore.exeter.ac.uk/repository/bitstream/10871/34041/1/1708.02319v2.pdf
https://arxiv.org/abs/1708.02319
https://dblp.uni-trier.de/db/series/eptcs/eptcs261.html#abs-1708-02319
https://doi.org/10.4204/EPTCS.261.7
https://ore.exeter.ac.uk/repository/handle/10871/34041
https://research.birmingham.ac.uk/portal/en/publications/on-the-learnability-of-programming -language -semantics (ca7a7074-fd01-49b3-bb91-6f912bded4f7).html -
19
Autori:
Prispievatelia:
Predmety: programming languages, semantics, program synthesis
Popis súboru: application/pdf
Prístupová URL adresa: https://hdl.handle.net/1842/41415
-
20
Autori:
Zdroj: Journal of Algebra & Its Applications. Feb2025, p1. 26p.
Predmety: *PROGRAMMING language semantics, *CONCRETE construction, *FREE groups, *ALGEBRA, *GENERALIZATION
Full Text Finder
Nájsť tento článok vo Web of Science