Search Results - Semantics of Programming Langages
-
1
Authors: Jones, Timothy
Subjects: Object-oriented programming languages., Programming languages (Electronic computers) Semantics., Langages orientés objet (Informatique), Langages de programmation Sémantique., Object-oriented programming languages, Programming languages (Electronic computers) Semantics
-
2
Authors: et al.
Contributors: et al.
Source: Journal of Logical and Algebraic Methods in Programming. 92:45-63
Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics
Access URL: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231 -
3
Authors: Gaboardi, Marco
Thesis Advisors: Vandoeuvre-les-Nancy, INPL, Université de Torino - ITALIE, Marion, Jean-Yves, Ronchi Della Rocca, Simona
Subject Terms: Complexité implicite, Logique linéaire, Lambda-calcul, Sémantique denotationelle, Implicit computational complexity, Denotational semantics, Linear logic, Lambda-calculus
Availability: http://www.theses.fr/2007INPL099N/document
-
4
Authors: et al.
Source: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-26, 26p
-
5
Authors:
Source: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-26, 26p
Subject Terms: PROGRAMMING languages, KRIPKE semantics, COMPILERS (Computer programs), MACHINERY
-
6
Authors: Abid, Djamila
Source: Science, Education & Innovations in the Context of Modern Problems; 2025, Vol. 8 Issue 7, p133-139, 6p
-
7
Authors: et al.
Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-55, 55p
-
8
Authors:
Source: Journal of Cognitive Science; Jun2025, Vol. 26 Issue 2, p111-158, 48p
Subject Terms: SEMANTICS, COGNITION, COGNITIVE ability, TERMS & phrases, LANGUAGE models, MATHEMATICAL models, LOGIC
-
9
Alternate Title: How do you store knowledge? From books to knowledge graphs and language models: Summary of an online lecture on 22 April 2024 as part of the DGI lecture series 'Artificial Intelligence – From Prodigy to All-rounder': Résumé d'une conférence en ligne donnée le 22 avril 2024 dans le cadre du cycle de conférences de la DGI « Künstliche Intelligenz – Vom Wunderkind zum Allrounder » (Intelligence artificielle – de l'enfant prodige au génie polyvalent)
Comment stocker les connaissances ? Des livres aux graphes de connaissances et aux modèles linguistiques: Summary of an online lecture on 22 April 2024 as part of the DGI lecture series 'Artificial Intelligence – From Prodigy to All-rounder': Résumé d'une conférence en ligne donnée le 22 avril 2024 dans le cadre du cycle de conférences de la DGI « Künstliche Intelligenz – Vom Wunderkind zum Allrounder » (Intelligence artificielle – de l'enfant prodige au génie polyvalent)Authors: Krestel, Ralf1 (AUTHOR) r.krestel@zbw.eu
Source: Information -- Wissenschaft und Praxis. Jan2025, Vol. 76 Issue 1, p1-8. 8p.
Subject Terms: Language models, Knowledge graphs, ChatGPT, Application software, Artificial intelligence
-
10
Authors: Cachera, David
Contributors: Cachera, David
Subject Terms: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Semantics of Programming Langages, Specifying and Verifying and Reasoning about Programs, Hoare Logic, langages data-parallèles, Formal Methods, plus faibles préconditions, Programmation parallèl, Parallel Programming, spécification et validation de programmes, sémantique des langages de programmation, équations récurrentes, Recurrence Equations, Data-Parallel Languages, invariants, méthodes formelles, Weakest Preconditions Calculus, logique de Hoare
File Description: application/pdf
Access URL: https://theses.hal.science/tel-00425390v1
-
11
Authors: et al.
Contributors: et al.
Source: Electronic Proceedings in Theoretical Computer Science, Vol 191, Iss Proc. FICS 2015, Pp 143-157 (2015)
Electronic Proceedings in Theoretical Computer ScienceSubject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Chromodynamique quantique, 02 engineering and technology, I.2.3, F.4.1, 01 natural sciences, 0103 physical sciences, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Langage de haut niveau, Computer Science - Programming Languages, parallelisme, Theorem Proving, structures des donnees, QA75.5-76.95, Logic in Computer Science (cs.LO), 3. Good health, Semantics of Programming Languages, Electronic computers. Computer science, algorithmique, Mathematics, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://arxiv.org/pdf/1509.03021
https://arxiv.org/pdf/2107.02353
http://arxiv.org/abs/2107.02353
http://arxiv.org/abs/1208.4035
http://arxiv.org/abs/1509.03021
https://doaj.org/article/1516038b9d5c4c868b923514d7134b12
https://hal.science/hal-03328935v1/document
https://doi.org/10.4204/eptcs.336.3
https://hal.science/hal-03328935v1
https://hal.science/hal-00666885v2/document
https://hal.science/hal-00666885v2
https://doi.org/10.4204/eptcs
https://arxiv.org/pdf/1208.4035v1
https://arxiv.org/abs/1208.4035
http://ui.adsabs.harvard.edu/abs/2012arXiv1208.4035B/abstract
https://hal.archives-ouvertes.fr/hal-03328935/document
https://tel.archives-ouvertes.fr/INRIA/hal-03328935v1
https://hal.inria.fr/INRIA/hal-03328935v1
https://arxiv.org/abs/2107.02353
https://arxiv.org/pdf/2107.02353v1
https://ui.adsabs.harvard.edu/abs/2021arXiv210702353B/abstract
https://arxiv.org/abs/2107.02353
https://arxiv.org/abs/1509.03021
https://doi.org/10.4204/EPTCS.191.13
https://arxiv.org/pdf/1509.03021v1
https://dblp.uni-trier.de/db/series/eptcs/eptcs191.html#TorriniS15
https://hal.archives-ouvertes.fr/hal-00666885
https://dblp.uni-trier.de/db/journals/corr/corr1208.html#abs-1208-4035
https://arxiv.org/abs/1509.03021
https://ui.adsabs.harvard.edu/abs/2015arXiv150903021T/abstract
https://arxiv.org/pdf/1509.03021.pdf
https://kar.kent.ac.uk/52725/ -
12
Authors:
Contributors:
Subject Terms: skeletal semantics, Skel, formalization, OCaml, sémantique squelettique, Necro, Coq, sémantique, semantics, formalisation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
File Description: application/pdf
Access URL: https://inria.hal.science/hal-03543701v2
-
13
Authors:
Contributors:
Subject Terms: Semantics of Programming Languages, Programmation parallèle, Logique de Hoare, Proof System, Concurrent Programming, Spécification et validation de programmes, Specifying and Verifying and Reasoning about Programs, Hoare Logic, Langages data-parallèles, Data-Parallel Languages, [INFO] Computer Science [cs], Système de preuve, Sémantique des langages de programmation
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: https://theses.hal.science/tel-00425390 ; Génie logiciel [cs.SE]. École normale supérieure de Lyon - ENS Lyon, 1998. Français. ⟨NNT : ⟩.
Subject Terms: Recurrence Equations, Formal Methods, Hoare Logic, Weakest Preconditions Calculus, Data-Parallel Languages, Semantics of Programming Langages, Specifying and Verifying and Reasoning about Programs, Parallel Programming, invariants, Programmation parallèl, spécification et validation de programmes, sémantique des langages de programmation, langages data-parallèles, équations récurrentes, méthodes formelles, logique de Hoare, plus faibles préconditions, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
15
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01503384 ; 2017.
Subject Terms: CCSL, Proof assistant, Denotational semantics, Agda, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
16
Authors: et al.
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Semantics, OCaml (Computer program language), Python (Computer program language)
Categories: COMPUTERS / Computer Engineering, COMPUTERS / Languages / General, COMPUTERS / Languages / Python
-
17
Authors: et al.
Resource Type: eBook.
Subjects: 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)
-
18
Alternate Title: Digital Archives and Audiovisual Languages. An Epistemology for Technical Formats. (English)
Authors: D'ARMENIO, ENZO
Source: Signata; 2021, Issue 12, p75-95, 21p
-
19
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ; FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering ; https://inria.hal.science/hal-04553834 ; FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_1⟩
Subject Terms: operational semantics of programming languages, verified compilation, machine-checked proofs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Luxembourg
-
20
Authors: Adhikari, Pooja
Subjects: Parallel programs (Computer programs) Verification., Domain-specific programming languages., Loaders (Computer programs) Security measures Simulation methods., Programmes parallèles (Logiciels) Vérification., Langages orientés problème (Informatique), Chargeurs (Informatique) Sécurité Mesures Méthodes de simulation., Domain-specific programming languages., Parallel programs (Computer programs) Verification.
Index Terms: Asynchronous parallel applications, Load Scheduling Protocols, Domain specific language, Model checking, Academic Dissertation, Electronic resources., Electronic theses/dissertations., Dissertations., Academic theses., Academic theses., Thèses et écrits académiques.
Nájsť tento článok vo Web of Science 
Full Text Finder