Výsledky vyhledávání - "ACM: D.: Software/D.3: PROGRAMMING LANGUAGES"

1

Evaluate the energy consumption of computer languages ; Évaluation de la consommation énergétique des langages informatiques

Autoři: Prieur, Benoît PALO IT (PALO IT) Programmez!

Přispěvatelé: Prieur, Benoît PALO IT (PALO IT) Programmez!

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]

Geografické téma: Lyon, France

Relation: hal-04083140; https://hal.science/hal-04083140; https://hal.science/hal-04083140/document

Dostupnost: https://hal.science/hal-04083140
https://hal.science/hal-04083140/document

View record from BASE

Nájsť tento článok vo Web of Science

2

Home I/O et Factory I/O logiciel de simulation pour l’enseignement des STEM ; Home I/O and Factory I/O simulation software for STEM education

Autoři: Riera, Bernard Emprin, Fabien Université de Reims Champagne-Ardenne (URCA) a další

Přispěvatelé: Riera, Bernard Emprin, Fabien Université de Reims Champagne-Ardenne (URCA) 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

Geografické téma: Lyon, France

Dostupnost: https://hal.science/hal-03478525

View record from BASE

Nájsť tento článok vo Web of Science

3

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

Autoři: Magnaudet, Mathieu Chatty, Stéphane Conversy, Stéphane a další

Přispěvatelé: Magnaudet, Mathieu Chatty, Stéphane Conversy, Stéphane 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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

4

Deriving proved equality tests in Coq-elpi: Stronger induction principles for containers in Coq

Autoři: Tassi, Enrico Mathematical, Reasoning and Software (MARELLE) Centre Inria d'Université Côte d'Azur a další

Přispěvatelé: Tassi, Enrico Mathematical, Reasoning and Software (MARELLE) Centre Inria d'Université Côte d'Azur 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

Dostupnost: https://inria.hal.science/hal-01897468
https://inria.hal.science/hal-01897468v2/document
https://inria.hal.science/hal-01897468v2/file/induction.pdf
https://doi.org/10.4230/LIPIcs.CVIT.2016.23

View record from BASE

Nájsť tento článok vo Web of Science

5

Generic Encodings of Constructor Rewriting Systems

Autoři: Cirstea, Horatiu Moreau, Pierre-Etienne Proof-oriented development of computer-based systems (MOSEL) a další

Přispěvatelé: Cirstea, Horatiu Moreau, Pierre-Etienne Proof-oriented development of computer-based systems (MOSEL) 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]

Geografické téma: Porto, Portugal

Time: Porto, Portugal

Dostupnost: https://inria.hal.science/hal-02130396
https://inria.hal.science/hal-02130396v2/document
https://inria.hal.science/hal-02130396v2/file/paper.pdf
https://doi.org/10.1145/3354166.3354173

View record from BASE

Nájsť tento článok vo Web of Science

6

Pattern eliminating transformations

Autoři: Lermusiaux, Pierre Cirstea, Horatiu Moreau, Pierre-Etienne a další

Přispěvatelé: Lermusiaux, Pierre Cirstea, Horatiu Moreau, Pierre-Etienne 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]

Geografické téma: Toulouse, France

Dostupnost: https://inria.hal.science/hal-02186325
https://inria.hal.science/hal-02186325v1/document
https://inria.hal.science/hal-02186325v1/file/main.pdf

View record from BASE

Nájsť tento článok vo Web of Science

7

Resilient Optimistic Termination Detection for the Async-Finish Model

Autoři: Hamouda, Sara Milthorpe, Josh Australian National University (ANU) a další

Přispěvatelé: Hamouda, Sara Milthorpe, Josh Australian National University (ANU) 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]

Geografické téma: Frankfurt, Germany

Dostupnost: https://inria.hal.science/hal-02169496
https://inria.hal.science/hal-02169496v1/document
https://inria.hal.science/hal-02169496v1/file/Hamouda2019_ISC_HPC.pdf
https://doi.org/10.1007/978-3-030-20656-7_15

View record from BASE

Nájsť tento článok vo Web of Science

8

Correct-by-construction model driven engineering composition operators

Autoři: Kezadri, Mounira Pantel, Marc Thirioux, Xavier a další

Přispěvatelé: Kezadri, Mounira Pantel, Marc Thirioux, Xavier 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

Full Text Finder

Nájsť tento článok vo Web of Science

9

Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Autoři: Felgentreff, Tim Zendra, Olivier Oracle Labs a další

Přispěvatelé: Felgentreff, Tim Zendra, Olivier Oracle Labs 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=3242947

Té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

Dostupnost: https://inria.hal.science/hal-02314731
https://inria.hal.science/hal-02314731v1/document
https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

View record from BASE

Nájsť tento článok vo Web of Science

10

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Autoři: Assaf, Mounir Naumann, David, A Signoles, Julien a další

Přispěvatelé: Assaf, Mounir Naumann, David, A Signoles, Julien 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]

Geografické téma: Paris, France

Dostupnost: https://inria.hal.science/hal-01618360
https://inria.hal.science/hal-01618360v1/document
https://inria.hal.science/hal-01618360v1/file/2017_popl.pdf
https://doi.org/10.1145/3009837.3009889

View record from BASE

Nájsť tento článok vo Web of Science

11

Formal methods for software security (invited talk)

Autoři: Jensen, Thomas Software certification with semantic analysis (CELTIQUE) Inria Rennes – Bretagne Atlantique a další

Přispěvatelé: Jensen, Thomas Software certification with semantic analysis (CELTIQUE) Inria Rennes – Bretagne Atlantique 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]

Geografické téma: Toulouse, France

Dostupnost: https://inria.hal.science/hal-01658549
https://inria.hal.science/hal-01658549v1/document
https://inria.hal.science/hal-01658549v1/file/ForumMF310117-Jensen.pdf

View record from BASE

Nájsť tento článok vo Web of Science

12

A Predictable Framework for Safety-Critical Embedded Systems

Autoři: Andalam, Sidharta Roop, Partha Girault, Alain a další

Přispěvatelé: Andalam, Sidharta Roop, Partha Girault, Alain 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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

13

Formal Proof of Banach-Tarski Paradox

Autoři: de Rauglaudre, Daniel Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) a další

Přispěvatelé: de Rauglaudre, Daniel Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) 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]

Dostupnost: https://hal.science/hal-01673378
https://hal.science/hal-01673378v1/document
https://hal.science/hal-01673378v1/file/6927-22125-1-PB.pdf
https://doi.org/10.6092/issn.1972-5787/6927

View record from BASE

Nájsť tento článok vo Web of Science

14

Extending FeatherTrait Java with Interfaces

Autoři: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) a další

Přispěvatelé: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) a další

Zdroj: Theoretical Computer Science. 398:243-260

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

15

FeatherTrait: A modest extension of Featherweight Java

Autoři: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) a další

Přispěvatelé: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) 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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

16

Improving Type Error Messages in OCaml

Autoři: Charguéraud, Arthur Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) Laboratoire de Recherche en Informatique (LRI) a další

Přispěvatelé: Charguéraud, Arthur Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA) Laboratoire de Recherche en Informatique (LRI) 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

Dostupnost: https://inria.hal.science/hal-01245843
https://inria.hal.science/hal-01245843v1/document
https://inria.hal.science/hal-01245843v1/file/ocaml_errors.pdf
https://doi.org/10.4204/EPTCS.198.4

View record from BASE

Nájsť tento článok vo Web of Science

17

Migrating Large Object-Oriented Applications into Component-Based Ones ; Migrating Large Object-Oriented Applications into Component-Based Ones: Instantiation and Inheritance Transformation

Autoři: Al-Shara, Zakarea Seriai, Abdelhak-Djamel Tibermacine, Chouki a další

Přispěvatelé: Al-Shara, Zakarea Seriai, Abdelhak-Djamel Tibermacine, Chouki 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=2814223

Té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]