Výsledky vyhľadávania - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES~

Proceedings of the First Domain-Specific Aspect Languages Workshop - ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

Autori: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise a ďalší

Prispievatelia: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise a ďalší

Zdroj: https://inria.hal.science/inria-00468283 ; [Research Report] 2006, pp.40.

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnosť: https://inria.hal.science/inria-00468283

Proceedings of the ACM Programming Languages and Pragmatics Conference.

Autori: Forsythe, George E.

Zdroj: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p137-138, 2p

Predmety: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES

Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)

Autori: Cleenewerck, Thomas Fabry, Johan Le Meur, Anne-Françoise a ďalší

Prispievatelia: Cleenewerck, Thomas Fabry, Johan Le Meur, Anne-Françoise a ďalší

Zdroj: Aspect-oriented software development ; https://inria.hal.science/inria-00469818 ; Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter. Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press, 24 p., 2009, 978-1-60558-455-3 ; http://portal.acm.org/citation.cfm?id=1509307&coll=GUIDE&dl=ACM&CFID=82632910&CFTOKEN=95670755

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Charlottesville, Virginia, United States

Dostupnosť: https://inria.hal.science/inria-00469818

Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)

Autori: Dinkelaker, Tom Fabry, Johan Noyé, Jacques a ďalší

Prispievatelia: Dinkelaker, Tom Fabry, Johan Noyé, Jacques a ďalší

Zdroj: AOSD - Aspect-Oriented Software Development - 2012 ; https://inria.hal.science/hal-00726770 ; AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany ; http://dl.acm.org/citation.cfm?id=2162037&CFID=109838364&CFTOKEN=37249849

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Potsdam, Germany

Dostupnosť: https://inria.hal.science/hal-00726770

Emerging languages: An alternative approach to teaching programming languages.

Autori: PERUGINI, SAVERIO

Zdroj: Journal of Functional Programming; 2019, Vol. 29, p1-13, 13p

Predmety: PROGRAMMING languages, CUSTOMIZATION, SYNCHRONIZATION, VIDEO blogs, ONLINE education

Selected Papers from the ACM Conference on Language Design for Reliable Software.

Autori: Horning, J. J.

Zdroj: Communications of the ACM; Aug1977, Vol. 20 Issue 8, p539-539, 1p

Predmety: COMPUTER software, PROGRAMMING languages, RELIABILITY in engineering, COMPUTER programmers, COMPUTER science

Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Software: History of Programming Languages . Papers from a conference, June 1978. Richard L. Wexelblat, Ed. Academic Press, New York, 1981. xxiv, 760 pp., illus. $45. ACM Monograph Series

Autori: Brian Randell

Zdroj: Science. 214:431-431

Predmety: 0301 basic medicine, 0303 health sciences, 03 medical and health sciences

Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Formal certification of a compiler back-end, or: programming a compiler with a proof assistant

Autori: Leroy, Xavier Programming languages, types, compilation and proofs (GALLIUM) Inria Paris-Rocquencourt a ďalší

Prispievatelia: Leroy, Xavier Programming languages, types, compilation and proofs (GALLIUM) Inria Paris-Rocquencourt a ďalší

Zdroj: 33rd Symposium Principles of Programming Languages (POPL 2006)
https://hal.inria.fr/inria-00000963
33rd Symposium Principles of Programming Languages (POPL 2006), Jan 2006, Charleston, SC, United States. pp.42--54, ⟨10.1145/1111037.1111042⟩

Predmety: 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.3: Mechanical verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.6: Reliability, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Charleston, SC, United States

Relation: inria-00000963; https://hal.inria.fr/inria-00000963; https://hal.inria.fr/inria-00000963/document; https://hal.inria.fr/inria-00000963/file/compiler-certif.pdf

Dostupnosť: https://hal.inria.fr/inria-00000963
https://hal.inria.fr/inria-00000963/document
https://hal.inria.fr/inria-00000963/file/compiler-certif.pdf
https://doi.org/10.1145/1111037.1111042

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment

Autori: Doligez, Damien Jaume, Mathieu Rioboo, Renaud a ďalší

Prispievatelia: Doligez, Damien Jaume, Mathieu Rioboo, Renaud a ďalší

Zdroj: PLAS - Seventh Workshop on Programming Languages and Analysis for Security ; https://inria.hal.science/hal-00773654 ; PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.9: Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.0: Access controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Beijing, China

Dostupnosť: https://inria.hal.science/hal-00773654
https://inria.hal.science/hal-00773654v1/document
https://inria.hal.science/hal-00773654v1/file/DJR.pdf
https://doi.org/10.1145/2336717.2336726

Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages (DSAL 2008)

Autori: Cleenewerck, Thomas Noyé, Jacques Fabry, Johan a ďalší

Prispievatelia: Cleenewerck, Thomas Noyé, Jacques Fabry, Johan a ďalší

Zdroj: Aspect-oriented software development ; https://inria.hal.science/inria-00469815 ; Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Le Meur, Éric Tanter. Aspect-oriented software development, Mar 2008, Bruxelles, Belgium. ACM Press, pp.37, 2008, 978-1-60558-146-0 ; http://portal.acm.org/toc.cfm?id=1404927&type=proceeding&coll=GUIDE&dl=GUIDE&CFID=82632910&CFTOKEN=95670755

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Bruxelles, Belgium

Dostupnosť: https://inria.hal.science/inria-00469815

Logic programming environments: Dynamic program analysis and debugging

Autori: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a ďalší

Prispievatelia: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) a ďalší

Zdroj: The Journal of Logic Programming. :351-384

Predmety: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Prístupová URL adresa: https://inria.hal.science/hal-00756832v1
https://hal.inria.fr/inria-00074067
https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#DucasseN94
https://hal.inria.fr/inria-00074067/document
https://www.sciencedirect.com/science/article/pii/0743106694900302
http://www.sciencedirect.com/science/article/pii/0743106694900302