Výsledky vyhledávání - "ACM: D.: Software/D.3: PROGRAMMING LANGUAGES"
-
1
Autoři:
Přispěvatelé:
Zdroj: Devcon #19 - 100 % Green IT ; https://hal.science/hal-04083140 ; Devcon #19 - 100 % Green IT, Programmez!, Apr 2023, Lyon, France ; https://www.programmez.com/page-devcon/devcon-19-100-greenit-ecoconception/lyon
Témata: GreenIT, Langages informatiques, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO]Computer Science [cs]
Relation: hal-04083140; https://hal.science/hal-04083140; https://hal.science/hal-04083140/document
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: une journée scientifique autour des environnements de simulation numérique et leurs apports à la pédagogie universitaire -ESN 21 ; https://hal.science/hal-03478525 ; une journée scientifique autour des environnements de simulation numérique et leurs apports à la pédagogie universitaire -ESN 21, Dec 2021, Lyon, France. ; http://esn2021.fr/fr
Témata: Simulation de partie opérative, automatique, jeu-sérieux, retour d'expérience, ACM: K.: Computing Milieux/K.3: COMPUTERS AND EDUCATION/K.3.1: Computer Uses in Education, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.8: Types of Simulation/I.6.8.5: Gaming, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.1: Simulation Theory, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [SHS.EDU]Humanities and Social Sciences/Education, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Dostupnost: https://hal.science/hal-03478525
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the ACM on Human-Computer Interaction. 2:1-27
Témata: Interactive Software, Smala, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 05 social sciences, Reactive Programming, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], GUI Programming, 02 engineering and technology, Djnn
Popis souboru: application/pdf
Přístupová URL adresa: https://hal-enac.archives-ouvertes.fr/hal-01815222/file/pacm2018-light.pdf
https://enac.hal.science/hal-01815222v1
https://doi.org/10.1145/3229094
https://enac.hal.science/hal-01815222v1/document
https://hal-enac.archives-ouvertes.fr/hal-01815222
https://dl.acm .org/doi/10.1145/3229094
https://dblp.uni-trier.de/db/journals/pacmhci/pacmhci2.html#MagnaudetCCLPP18
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002219380888816
https://hal-enac.archives-ouvertes.fr/hal-01815222/document -
4
Autoři: a další
Přispěvatelé: a další
Zdroj: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-01897468 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.CVIT.2016.23⟩
Témata: Containers, Parametricity translation, Equality test, Coq, Induction, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Geografické téma: Portland, United States
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: PPDP '19: Principles and Practice of Programming Languages 2019 ; https://inria.hal.science/hal-02130396 ; PPDP '19: Principles and Practice of Programming Languages 2019, Oct 2019, Porto, Portugal. pp.19, ⟨10.1145/3354166.3354173⟩
Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Time: Porto, Portugal
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-02186325 ; CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: 34th International Conference on High Performance Computing
https://inria.hal.science/hal-02169496
34th International Conference on High Performance Computing, Jun 2019, Frankfurt, Germany. pp.291-311, ⟨10.1007/978-3-030-20656-7_15⟩Témata: Async-finish, Termination detection, Resilience, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: C.: Computer Systems Organization/C.5: COMPUTER SYSTEM IMPLEMENTATION, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: Formal Aspects of Computing. 28:409-440
Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, MDE, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, 01 natural sciences, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, Formal verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, 0202 electrical engineering, electronic engineering, information engineering, Proof assistant, MOF, Composition
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
https://inria.hal.science/hal-02314731
Tim Felgentreff
Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
https://dl.acm.org/citation.cfm?doid=3242947Témata: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Amsterdam, Netherlands
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: POPL 2017 - ACM Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-01618360 ; POPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩ ; https://popl17.sigplan.org/
Témata: information flow, abstract interpretation, static analysis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO]Computer Science [cs]
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: FMF 2017 - Forum "Méthodes Formelles" ; https://inria.hal.science/hal-01658549 ; FMF 2017 - Forum "Méthodes Formelles", Jan 2017, Toulouse, France. pp.1-61
Témata: ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: IEEE Transactions on Computers. 63:1600-1612
Témata: safety-critical systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, 02 engineering and technology, ACM: D.: Software, [INFO] Computer Science [cs], WCRT, PRET, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, PRET-C, time predictability, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, 3. Good health, synchronous languages, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ACM: C.: Computer Systems Organization, WCET
Přístupová URL adresa: https://inria.hal.science/hal-01095468v1
https://doi.org/10.1109/tc.2013.28
http://ieeexplore.ieee.org/document/6463378/
https://ieeexplore.ieee.org/document/6463378
https://doi.org/10.1109/TC.2013.28
https://dblp.uni-trier.de/db/journals/tc/tc63.html#AndalamRGT14
https://hal.inria.fr/hal-01095468
https://www.computer.org/csdl/trans/tc/preprint/06463378.html -
13
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 1972-5787 ; Journal of Formalized Reasoning ; https://hal.science/hal-01673378 ; Journal of Formalized Reasoning, 2017, 10 (1), pp.37-49. ⟨10.6092/issn.1972-5787/6927⟩.
Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: Theoretical Computer Science. 398:243-260
Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Object-oriented language design, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Theoretical Computer Science, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Types, 0202 electrical engineering, electronic engineering, information engineering, inheritance, types, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.2: Object-oriented constructs, Computer Science(all)
Popis souboru: application/pdf
Přístupová URL adresa: https://inria.hal.science/inria-00432540v1
https://doi.org/10.1016/j.tcs.2008.01.051
https://inria.hal.science/inria-00432540v1/document
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/tcs-07.pdf
https://dblp.uni-trier.de/db/journals/tcs/tcs398.html#LiquoriS08
https://hal.inria.fr/inria-00432540/document
https://core.ac.uk/display/81965481
https://www.sciencedirect.com/science/article/pii/S0304397508000704
https://hal.inria.fr/inria-00432540 -
15
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Programming Languages and Systems. 30:1-32
Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Inheritance, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, Language semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Language design, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], 0202 electrical engineering, electronic engineering, information engineering, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.2: Object-oriented constructs, Java, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/inria-00432538/file/fjtraits.pdf
https://inria.hal.science/inria-00432538v1
https://inria.hal.science/inria-00432538v1/document
https://doi.org/10.1145/1330017.1330022
https://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/toplas-07.pdf
https://hal.inria.fr/inria-00432538/document
https://dl.acm .org/doi/10.1145/1330017.1330022
https://hal.inria.fr/inria-00432538
https://dblp.uni-trier.de/db/journals/toplas/toplas30.html#LiquoriS08 -
16
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings ML Family/OCaml Users and Developers workshops ; ML Family/OCaml Users and Developers workshops ; https://inria.hal.science/hal-01245843 ; ML Family/OCaml Users and Developers workshops, 2015, Vancouver, Canada. pp.80-97, ⟨10.4204/EPTCS.198.4⟩
Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: Vancouver
Time: Vancouver, Canada
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: 14th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
GPCE: Generative Programming: Concepts and Experiences
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01235461
GPCE: Generative Programming: Concepts and Experiences, Oct 2015, Pittsburgh, United States. pp.55-64, ⟨10.1145/2814204.2814223⟩
http://dl.acm.org/citation.cfm?id=2814223Témata: OSGi, Component, Object, Code Transformation, Refactoring, Inheritance, Encapsulation, Class Instantiation, Java, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Pittsburgh, United States
-
18
Autoři:
Přispěvatelé:
Zdroj: https://hal.archives-ouvertes.fr/hal-03652975 ; Éditions ENI, 2022, 978-2-409-03528-9 ; https://www.editions-eni.fr.
Témata: Rust language, Rust, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-03652975; https://hal.archives-ouvertes.fr/hal-03652975
Dostupnost: https://hal.archives-ouvertes.fr/hal-03652975
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-03030511 ; ISTE Editions, 2021, 9781784057022.
Témata: Langages de programmation, sémantique, objets, modules, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Dostupnost: https://hal.science/hal-03030511
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-03030484 ; ISTE Editions, 2021, 9781784057015.
Témata: Langages de programmation -- Sémantique, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Dostupnost: https://hal.science/hal-03030484
Nájsť tento článok vo Web of Science
Full Text Finder