Zobrazeno 1 - 10
of 56
pro vyhledávání: '"ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features"'
Autor:
Chatty, Stéphane
Control structures such as event passing, state machines and data flows help programmers express the behavior of interactive software. But used alone they cannot describe systems in their totality, and when combined with standard control structures t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f5913def3414ef1a9e4f828b7b7b5dc7
https://hal.archives-ouvertes.fr/hal-01800741/file/djnn2015.pdf
https://hal.archives-ouvertes.fr/hal-01800741/file/djnn2015.pdf
Autor:
Ludovic Courtès
Publikováno v:
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17)
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17), Oct 2017, Vancouver, Canada. ⟨10.1145/3136040.3136045⟩
GPCE
16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17), Oct 2017, Vancouver, Canada. ⟨10.1145/3136040.3136045⟩
GPCE
GNU Guix is a " functional " package manager that builds upon earlier work on Nix. Guix implements high-level abstractions such as packages and operating system services as domain-specic languages (DSLs) embedded in Scheme. It also implements build a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48755cd63fe10eca6b74dcba3ef3b88e
https://inria.hal.science/hal-01580582
https://inria.hal.science/hal-01580582
Publikováno v:
International Conference on Graph Transformation ICGT 2017
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Graph Transformation ISBN: 9783319614694
ICGT
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Graph Transformation ISBN: 9783319614694
ICGT
In the context of topology-based geometric modeling, operations transform objects regarding both their topological structure (i.e. cell subdivision: vertex, edge, face, etc.) and their embeddings (i.e. relevant data: vertex positions, face colors, vo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04756ed19491c7d27cd9c525f84f5d51
https://hal.archives-ouvertes.fr/hal-01817827
https://hal.archives-ouvertes.fr/hal-01817827
Autor:
Frédéric Dabrowski
Publikováno v:
[Research Report] RR-2017-07, LIFO, Université d'Orléans. 2017
SAC
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, Apr 2018, Pau, France. ⟨10.1145/3167132.3167254⟩
SAC
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, Apr 2018, Pau, France. ⟨10.1145/3167132.3167254⟩
We propose a formal definition of the notion of textual alignment as is used in programming languages proposing spmd-like collective operations. We argue that this property provides an intuitive programming model that makes it easier to perform progr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34a65a1df3f7f501e977fc358062a10a
https://hal.archives-ouvertes.fr/hal-01559832/file/dabrowski_2017-RR-07.pdf
https://hal.archives-ouvertes.fr/hal-01559832/file/dabrowski_2017-RR-07.pdf
Publikováno v:
ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming
ACM SIGPLAN International Conference on Functional Programming
ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩
ACM SIGPLAN International Conference on Functional Programming
ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unification. This yields an awkward formalization and results in a type syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b34896c1ab3dd02c6ff587cc6de77ed
https://hal.archives-ouvertes.fr/hal-01325644v2/file/main.pdf
https://hal.archives-ouvertes.fr/hal-01325644v2/file/main.pdf
Publikováno v:
IWST'16 Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies
11th International Workshop on Smalltalk Technologies
11th International Workshop on Smalltalk Technologies, Aug 2016, Prague, Czech Republic. pp.1-7, ⟨10.1145/2991041.2991056⟩
IWST
11th International Workshop on Smalltalk Technologies
11th International Workshop on Smalltalk Technologies, Aug 2016, Prague, Czech Republic. pp.1-7, ⟨10.1145/2991041.2991056⟩
IWST
International audience; In the context of Feature-Oriented Model-Driven Development , round-trip engineering remains challenging because of the one-to-many relationship that exists between a source model and its implementation parts. In this paper, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7ac95c897d42d8bd9660571c9e538a
https://hal.univ-brest.fr/hal-01448784
https://hal.univ-brest.fr/hal-01448784
Publikováno v:
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France
International audience; Dans des travaux antérieurs, nous avons proposé un formalisme basé sur les transformations de graphes pour définir des opérations géométriques à base topologique. Une règle de transformation définit une opération su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db0d21e64184d164dd2a47a28b13adc8
https://hal.archives-ouvertes.fr/hal-01817884
https://hal.archives-ouvertes.fr/hal-01817884
Autor:
Luigi Liquori, Arnaud Spiwack
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
Theoretical Computer Science, Elsevier, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
Theoretical Computer Science, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
Theoretical Computer Science, Elsevier, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
International audience; In the context of Featherweight Java by Igarashi, Pierce, and Wadler, and its recent extension FeatherTrait Java (FTJ) by the authors, we investigate classes that can be extended with trait composition. A trait is a collection
Autor:
Arnaud Spiwack, Luigi Liquori
Publikováno v:
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩
In the context of statically typed, class-based languages , we investigate classes that can be extended with trait composition. A trait is a collection of methods without state; it can be viewed as an incomplete stateless class . Traits can be compos