Výsledky vyhledávání - acm: d.: software/d.3: programming languages/d.3.3: language construct and features~

Code Staging in GNU Guix

Autoři: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest a další

Přispěvatelé: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest a další

Zdroj: 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17)
https://hal.inria.fr/hal-01580582
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17), Oct 2017, Vancouver, Canada. ⟨10.1145/3136040.3136045⟩
http://conf.researchr.org/home/gpce-2017

Témata: Software deployment, Scheme, Code staging, System administration, Functional languages, Source code generation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.9: Systems Programs and Utilities, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Vancouver

Time: Vancouver, Canada

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1709.00833; hal-01580582; https://hal.inria.fr/hal-01580582; https://hal.inria.fr/hal-01580582/document; https://hal.inria.fr/hal-01580582/file/gpce.pdf; ARXIV: 1709.00833

Dostupnost: https://hal.inria.fr/hal-01580582
https://hal.inria.fr/hal-01580582/document
https://hal.inria.fr/hal-01580582/file/gpce.pdf
https://doi.org/10.1145/3136040.3136045

Zero-Overhead Metaprogramming ; Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises

Autoři: Marr, Stefan Seaton, Chris Ducasse, Stéphane a další

Přispěvatelé: Marr, Stefan Seaton, Chris Ducasse, Stéphane a další

Zdroj: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-01141135 ; Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2015, Portland, OR, USA, France. ⟨10.1145/2737924.2737963⟩

Témata: Meta-tracing, Reflection, Virtual Machines, Metaprogramming, Metaobject Protocols, Proxies, Partial Evaluation, Just-in-Time Compilation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Portland, OR, USA, France

Dostupnost: https://inria.hal.science/hal-01141135
https://inria.hal.science/hal-01141135v1/document
https://inria.hal.science/hal-01141135v1/file/pldi15-marr-et-al-zero-overhead-metaprogramming.pdf
https://doi.org/10.1145/2737924.2737963

Set-Theoretic Types for Polymorphic Variants

Autoři: Castagna, Giuseppe Petrucciani, Tommaso Nguyen, Kim a další

Přispěvatelé: Castagna, Giuseppe Petrucciani, Tommaso Nguyen, Kim a další

Zdroj: ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming ; ACM SIGPLAN International Conference on Functional Programming ; https://hal.science/hal-01325644 ; ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩

Témata: Type reconstruction, union types, type constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Nara, Japan

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1606.01106; ARXIV: 1606.01106

Dostupnost: https://hal.science/hal-01325644
https://hal.science/hal-01325644v2/document
https://hal.science/hal-01325644v2/file/icfp16-hal.pdf
https://hal.science/hal-01325644v2/file/main.pdf
https://doi.org/10.1145/2951913.2951928

A Modern C++ Point of View of Programming in Image Processing

Autoři: Roynard, Michaël Carlinet, Edwin Géraud, Thierry a další

Přispěvatelé: Roynard, Michaël Carlinet, Edwin Géraud, Thierry a další

Zdroj: https://hal.archives-ouvertes.fr/hal-03564252 ; 2022.

Témata: Image processing, Generic Programming, Modern C++, Software, Performance, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.3: Constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.8: Multiparadigm languages, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Relation: hal-03564252; https://hal.archives-ouvertes.fr/hal-03564252; https://hal.archives-ouvertes.fr/hal-03564252/document; https://hal.archives-ouvertes.fr/hal-03564252/file/paper.compressed.pdf

Dostupnost: https://hal.archives-ouvertes.fr/hal-03564252
https://hal.archives-ouvertes.fr/hal-03564252/document
https://hal.archives-ouvertes.fr/hal-03564252/file/paper.compressed.pdf

Automating Variability Model Inference for Component-Based Language Implementations

Autoři: Vacchi, Edoardo Cazzola, Walter Combemale, Benoit a další

Přispěvatelé: Vacchi, Edoardo Cazzola, Walter Combemale, Benoit a další

Zdroj: SPLC'14 - 18th International Software Product Line Conference ; https://inria.hal.science/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy

Témata: Variability Models, SW Product Lines, DSL Implementation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Florence, Italy

Time: Florence, Italy

Dostupnost: https://inria.hal.science/hal-01023864
https://inria.hal.science/hal-01023864v1/document
https://inria.hal.science/hal-01023864v1/file/splc14-camera.pdf

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

Scoping strategies for distributed aspects

Autoři: Tanter, Éric Fabry, Johan Douence, Rémi a další

Přispěvatelé: Tanter, Éric Fabry, Johan Douence, Rémi a další

Zdroj: Conicyt_qa
ANID
instacron:ANID
SCIENCE OF COMPUTER PROGRAMMING
Artículos CONICYT
CONICYT Chile
instacron:CONICYT
Articulos_ANID
Agencia Nacional de Investigación y Desarrollo

Témata: Aspect-oriented programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, Scope, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, Dynamic deployment, 0102 computer and information sciences, 02 engineering and technology, Distribution, Parallel, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], and Cluster Computing [cs.DC], Scheme, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Scoping strategies, Operational semantics, 0202 electrical engineering, electronic engineering, information engineering, Software

Přístupová URL adresa: https://inria.hal.science/inria-00523569v1
https://doi.org/10.1016/j.scico.2010.06.011
https://www.sciencedirect.com/science/article/abs/pii/S0167642310001231
https://www.sciencedirect.com/science/article/pii/S0167642310001231
http://www.emn.fr/z-info/sudholt/papers/scp10.pdf
https://hal.inria.fr/inria-00523569
https://repositorio-qa.anid.cl/handle/10533/143021
http://hdl.handle.net/10533/143021
https://hdl.handle.net/10533/143021

Manipulating Models Using Internal Domain-Specific Languages

Autoři: Krikava, Filip Collet, Philippe France, Robert a další

Přispěvatelé: Krikava, Filip Collet, Philippe France, Robert a další

Zdroj: Symposium On Applied Computing ; https://inria.hal.science/hal-00951803 ; Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.5: Object-oriented design methods, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Gyeongju, South Korea

Dostupnost: https://inria.hal.science/hal-00951803
https://inria.hal.science/hal-00951803v1/document
https://inria.hal.science/hal-00951803v1/file/pl14-paper.pdf

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

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

Aspectizing Java Access Control

Autoři: Toledo, Rodolfo Núñez, Angel Tanter, Éric a další

Přispěvatelé: Toledo, Rodolfo Núñez, Angel Tanter, Éric a další

Zdroj: Articulos_ANID
Agencia Nacional de Investigación y Desarrollo
instacron:ANID
Conicyt_qa
ANID
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Artículos CONICYT
CONICYT Chile
instacron:CONICYT

Témata: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], programming languages, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Popis souboru: application/pdf

Přístupová URL adresa: https://www.dcc.uchile.cl/TR/2010/TR_DCC-20100923-008.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005680915
https://www.infona.pl/resource/bwmeta1.element.ieee-art-000005680915
https://hal.inria.fr/inria-00567489
https://www.computer.org/csdl/trans/ts/2012/01/tts2012010101.pdf
http://users.dcc.uchile.cl/~rtoledo/modac-ecoop/tse.pdf
https://hdl.handle.net/10533/136327
https://repositorio-qa.anid.cl/handle/10533/136327
http://hdl.handle.net/10533/136327

Automatic Detection of GUI Design Smells: The Case of Blob Listener

Autoři: Lelli, Valéria Blouin, Arnaud Baudry, Benoit a další

Přispěvatelé: Lelli, Valéria Blouin, Arnaud Baudry, Benoit a další

Zdroj: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16) ; https://inria.hal.science/hal-01308625 ; Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16), Jun 2016, Brussels, Belgium. pp.263-274, ⟨10.1145/2933242.2933260⟩

Témata: User interface, design smell, software validation, code quality, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, 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-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Geografické téma: Brussels, Belgium

Dostupnost: https://inria.hal.science/hal-01308625
https://inria.hal.science/hal-01308625v2/document
https://inria.hal.science/hal-01308625v2/file/main.pdf
https://doi.org/10.1145/2933242.2933260

Dynamic Round-Trip Engineering in the context of FOMDD

Autoři: Cavarlé, Glenn Plantec, Alain Costiou, Steven a další

Přispěvatelé: Cavarlé, Glenn Plantec, Alain Costiou, Steven a další

Zdroj: IWST'16 Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies ; 11th International Workshop on Smalltalk Technologies ; https://hal.univ-brest.fr/hal-01448784 ; 11th International Workshop on Smalltalk Technologies, Aug 2016, Prague, Czech Republic. pp.1 - 7, ⟨10.1145/2991041.2991056⟩ ; http://dl.acm.org/citation.cfm?id=2991056

Témata: smalltalk, model driven engineering, round-trip engi- neering, feature-oriented development, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Prague, Czech Republic

Dostupnost: https://hal.univ-brest.fr/hal-01448784
https://hal.univ-brest.fr/hal-01448784v1/document
https://hal.univ-brest.fr/hal-01448784v1/file/IWST_2016_paper_26.pdf
https://doi.org/10.1145/2991041.2991056

Préservation de la cohérence des transformations topologiques et géométriques

Autoři: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim a další

Přispěvatelé: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim a další

Zdroj: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
https://hal.science/hal-01817884
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France

Témata: transformation de graphes, modélisation géométrique à base topologique, conditions syntaxiques, préservation de la cohérence, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geografické téma: Besançon, France

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

A Domain-Specific Language for Coordinating Concurrent Aspects in Java

Autoři: Núñez, Angel Noyé, Jacques Jacques, Noyé a další

Přispěvatelé: Núñez, Angel Noyé, Jacques Jacques, Noyé a další

Zdroj: 3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007)
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France

Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Aspect-Oriented Progamming, Concurrency, LTS, Reflex, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], FSP, Java, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Přístupová URL adresa: https://inria.hal.science/inria-00468041v1
https://inria.hal.science/inria-00468041

DIE: A Domain Specific Aspect Language for IDE Events

Autoři: Fabry, Johan Robbes, Romain Denker, Marcus a další

Přispěvatelé: Fabry, Johan Robbes, Romain Denker, Marcus a další

Zdroj: Articulos_ANID
Agencia Nacional de Investigación y Desarrollo
instacron:ANID
JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículos CONICYT
CONICYT Chile
instacron:CONICYT
Conicyt_qa
ANID
JUCS-Journal of Universal Computer Science 20(2): 135-168

Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], IDE, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, development environment, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, domain specific aspect languages, 02 engineering and technology, plugins, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], aspects, 0202 electrical engineering, electronic engineering, information engineering

Popis souboru: application/pdf; text/html

Přístupová URL adresa: https://inria.hal.science/hal-00936376v1
https://hdl.handle.net/10533/137148
http://hdl.handle.net/10533/137148
https://repositorio-qa.anid.cl/handle/10533/137148
https://lib.jucs.org/article/22945/
https://doi.org/10.3217/jucs-020-02-0135
https://lib.jucs.org/article/22945/download/pdf/

GenI: Natural language generation in Haskell

Autoři: Kow, Eric Human-machine dialogue with a significant language component (LANGUE ET DIALOGUE) INRIA Lorraine a další

Přispěvatelé: Kow, Eric Human-machine dialogue with a significant language component (LANGUE ET DIALOGUE) INRIA Lorraine a další

Zdroj: Haskell'06 ; https://inria.hal.science/inria-00088787 ; Haskell'06, Sep 2006, Portland/USA

Témata: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnost: https://inria.hal.science/inria-00088787
https://inria.hal.science/inria-00088787v2/document
https://inria.hal.science/inria-00088787v2/file/haskell01-kow.pdf

LocFaults: A new flow-driven and constraint-based error localization approach

Autoři: Bekkouche, Mohammed Collavizza, Hélène Rueher, Michel a další

Přispěvatelé: Bekkouche, Mohammed Collavizza, Hélène Rueher, Michel a další

Zdroj: SAC’15, SVT track ; https://hal.science/hal-01094227 ; SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩

Témata: Error handling and recovery, Diagnostics, Debugging aids, Testing and Debugging, Constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Geografické téma: Salamanca, Spain

Dostupnost: https://hal.science/hal-01094227
https://hal.science/hal-01094227v1/document
https://hal.science/hal-01094227v1/file/mcs_sac15.pdf
https://doi.org/10.1145/2695664.2695822

Product line implementation with ECaesarJ

Autoři: Gasiūnas, Vaidas Núñez, Angel Noyé, Jacques a další

Přispěvatelé: Gasiūnas, Vaidas Núñez, Angel Noyé, Jacques a další

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 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]

Přístupová URL adresa: https://inria.hal.science/inria-00607804v1
http://tubiblio.ulb.tu-darmstadt.de/54588/
https://hal.inria.fr/inria-00607804

The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system

Autoři: Malik, Avinash Girault, Alain Salcic, Zoran a další

Přispěvatelé: Malik, Avinash Girault, Alain Salcic, Zoran a další

Zdroj: https://inria.hal.science/inria-00505085 ; [Research Report] RR-7346, INRIA. 2010.

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [SCCO.COMP]Cognitive science/Computer science

Dostupnost: https://inria.hal.science/inria-00505085
https://inria.hal.science/inria-00505085v1/document
https://inria.hal.science/inria-00505085v1/file/RR-7346.pdf

Pure Patterns Type Systems

Autoři: Barthe, Gilles Cirstea, Horatiu Kirchner, Claude a další

Přispěvatelé: Barthe, Gilles Cirstea, Horatiu Kirchner, Claude a další

Zdroj: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://inria.hal.science/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩

Témata: rewriting, lambda calculus, pure type systems, matching, réécriture, filtrage, pure type systèmes, lambda calcul, 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.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.4: Mechanical theorem proving, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: New Orleans, United States

Dostupnost: https://inria.hal.science/inria-00099463
https://inria.hal.science/inria-00099463v2/document
https://inria.hal.science/inria-00099463v2/file/2003-popl-03.pdf
https://doi.org/10.1145/604131.604152