Search Results - "ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features"

Code Staging in GNU Guix

Authors: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest et al.

Contributors: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest et al.

Source: 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

Subject Terms: 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]

Subject Geographic: 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

Availability: 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

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

Authors: Lelli, Valéria Blouin, Arnaud Baudry, Benoit et al.

Contributors: Lelli, Valéria Blouin, Arnaud Baudry, Benoit et al.

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Brussels, Belgium

Availability: 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

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

Authors: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim et al.

Contributors: Gauthier, Valentin Bellet, Thomas Belhaouari, Hakim et al.

Source: 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

Subject Terms: 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]

Subject Geographic: Besançon, France

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

Set-Theoretic Types for Polymorphic Variants

Authors: Castagna, Giuseppe Petrucciani, Tommaso Nguyen, Kim et al.

Contributors: Castagna, Giuseppe Petrucciani, Tommaso Nguyen, Kim et al.

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Nara, Japan

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

Availability: 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

Dynamic Round-Trip Engineering in the context of FOMDD

Authors: Cavarlé, Glenn Plantec, Alain Costiou, Steven et al.

Contributors: Cavarlé, Glenn Plantec, Alain Costiou, Steven et al.

Source: 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

Subject Terms: 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]

Subject Geographic: Prague, Czech Republic

Availability: 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

Aspectizing Java Access Control

Authors: Toledo, Rodolfo Núñez, Angel Tanter, Éric et al.

Contributors: Toledo, Rodolfo Núñez, Angel Tanter, Éric et al.

Source: 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

Subject Terms: [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]

File Description: application/pdf

Access URL: 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

Scoping strategies for distributed aspects

Authors: Tanter, Éric Fabry, Johan Douence, Rémi et al.

Contributors: Tanter, Éric Fabry, Johan Douence, Rémi et al.

Source: 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

Subject Terms: 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

Access URL: 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

Extending FeatherTrait Java with Interfaces

Authors: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) et al.

Contributors: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) et al.

Source: Theoretical Computer Science. 398:243-260

Subject Terms: [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)

File Description: application/pdf

Access URL: 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

FeatherTrait: A modest extension of Featherweight Java

Authors: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) et al.

Contributors: Liquori, Luigi Spiwack, Arnaud Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems (LOGNET) et al.

Source: ACM Transactions on Programming Languages and Systems. 30:1-32

Subject Terms: [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

File Description: application/pdf

Access URL: 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

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

Authors: Bekkouche, Mohammed Collavizza, Hélène Rueher, Michel et al.

Contributors: Bekkouche, Mohammed Collavizza, Hélène Rueher, Michel et al.

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

Subject Terms: 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]

Subject Geographic: Salamanca, Spain

Availability: 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

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

Authors: Marr, Stefan Seaton, Chris Ducasse, Stéphane et al.

Contributors: Marr, Stefan Seaton, Chris Ducasse, Stéphane et al.

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Portland, OR, USA, France

Availability: 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

A unified framework for control structures in interactive software

Authors: Chatty, Stéphane Ecole Nationale de l'Aviation Civile (ENAC)

Contributors: Chatty, Stéphane Ecole Nationale de l'Aviation Civile (ENAC)

Source: https://hal.science/hal-01800741 ; 2018.

Subject Terms: process, state machine, data flow, control structure, programming language, interactive software, 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-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Availability: https://hal.science/hal-01800741
https://hal.science/hal-01800741v1/document
https://hal.science/hal-01800741v1/file/djnn2015.pdf

Smart Contracts that are Smart and can function as Legal Contracts ; Smart Contracts that are Smart and can function as Legal Contracts : A Review of Semantic Blockchain and Distributed Ledger Technologies

Authors: von Wendland, Marcelle Bancstreet Capital Partners Ltd (BST)

Contributors: von Wendland, Marcelle Bancstreet Capital Partners Ltd (BST)

Source: https://hal.inria.fr/hal-01777510 ; 2018.

Subject Terms: Blockchain Technology, Smart Contracts, Distributed Ledger Technology, Semantic technology, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]

Relation: hal-01777510; https://hal.inria.fr/hal-01777510; https://hal.inria.fr/hal-01777510/document; https://hal.inria.fr/hal-01777510/file/SemBlockChain_OpenAccess_April2018.pdf

Availability: https://hal.inria.fr/hal-01777510
https://hal.inria.fr/hal-01777510/document
https://hal.inria.fr/hal-01777510/file/SemBlockChain_OpenAccess_April2018.pdf

Manipulating Models Using Internal Domain-Specific Languages

Authors: Krikava, Filip Collet, Philippe France, Robert et al.

Contributors: Krikava, Filip Collet, Philippe France, Robert et al.

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

Subject Terms: 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]

Subject Geographic: Gyeongju, South Korea

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

Automating Variability Model Inference for Component-Based Language Implementations

Authors: Vacchi, Edoardo Cazzola, Walter Combemale, Benoit et al.

Contributors: Vacchi, Edoardo Cazzola, Walter Combemale, Benoit et al.

Source: 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

Subject Terms: 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]

Subject Geographic: Florence, Italy

Time: Florence, Italy

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

Improving X10 Program Performances by Clock Removal

Authors: Feautrier, Paul Violard, Eric Ketterlin, Alain et al.

Contributors: Feautrier, Paul Violard, Eric Ketterlin, Alain et al.

Source: 23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14
https://inria.hal.science/hal-00924206
23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France

Subject Terms: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Grenoble, France

Availability: https://inria.hal.science/hal-00924206
https://inria.hal.science/hal-00924206v1/document
https://inria.hal.science/hal-00924206v1/file/paper.pdf

Delegation Proxies: The Power of Propagation

Authors: Wernli, Erwann Nierstrasz, Oscar Teruel, Camille et al.

Contributors: Wernli, Erwann Nierstrasz, Oscar Teruel, Camille et al.

Source: Modularity ; https://inria.hal.science/hal-00958573 ; Modularity, Apr 2014, Lugano, Switzerland

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Lugano, Switzerland

Availability: https://inria.hal.science/hal-00958573
https://inria.hal.science/hal-00958573v1/document
https://inria.hal.science/hal-00958573v1/file/delegationProxies.pdf

Fine-grained and coarse-grained reactive noninterference

Authors: Attar, Pejman Castellani, Ilaria Secure Diffuse Programming (INDES) et al.

Contributors: Attar, Pejman Castellani, Ilaria Secure Diffuse Programming (INDES) et al.

Source: Lecture Notes in Computer Science ; Trustworthy Global Computing 2013 - 8th International Symposium, Revised Selected Papers ; https://inria.hal.science/hal-00915241 ; Trustworthy Global Computing 2013 - 8th International Symposium, Revised Selected Papers, Martín Abadi; Alberto Lluch-Lafuente, Aug 2013, Buenos Aires, Argentina. pp.21, ⟨10.1007/978-3-319-05119-2_10⟩ ; http://dx.doi.org/10.1007/978-3-319-05119-2

Subject Terms: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, 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/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Subject Geographic: Buenos Aires, Argentina

Availability: https://inria.hal.science/hal-00915241
https://inria.hal.science/hal-00915241v1/document
https://inria.hal.science/hal-00915241v1/file/tgc13.pdf
https://doi.org/10.1007/978-3-319-05119-2_10

Taming aspects with monads and membranes

Authors: Figueroa, Ismael Tabareau, Nicolas Tanter, Éric et al.

Contributors: Figueroa, Ismael Tabareau, Nicolas Tanter, Éric et al.

Source: FOAL'13: Foundations of aspect-oriented languages ; https://inria.hal.science/hal-00808983 ; FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Fukuoka, Japan

Availability: https://inria.hal.science/hal-00808983
https://inria.hal.science/hal-00808983v1/document
https://inria.hal.science/hal-00808983v1/file/main.pdf
https://doi.org/10.1145/2451598.2451600

Taming Aspects with Membranes

Authors: Tanter, Éric Tabareau, Nicolas Douence, Rémi et al.

Contributors: Tanter, Éric Tabareau, Nicolas Douence, Rémi et al.

Source: Foundations of Aspect-Oriented Languages ; https://inria.hal.science/hal-00690706 ; Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Potsdam, Germany

Availability: https://inria.hal.science/hal-00690706
https://inria.hal.science/hal-00690706v1/document
https://inria.hal.science/hal-00690706v1/file/main.pdf