Search Results - acm: d.: software/d.3: programming languages/d.3.3: language construct and features
-
1
Authors: et al.
Contributors: 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-2017Subject 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
-
2
Authors: et al.
Contributors: 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]
-
3
Authors: et al.
Contributors: 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1606.01106; ARXIV: 1606.01106
-
4
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/hal-03564252 ; 2022.
Subject Terms: 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
-
5
Authors: et al.
Contributors: 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]
Time: Florence, Italy
-
6
Authors: et al.
Contributors: 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 -
7
Authors: et al.
Contributors: 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 DesarrolloSubject 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 -
8
Authors: et al.
Contributors: 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
-
9
Authors: et al.
Contributors: 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 -
10
Authors: et al.
Contributors: 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:CONICYTSubject 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 -
11
Authors: et al.
Contributors: 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]
-
12
Authors: et al.
Contributors: 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
-
13
Authors: et al.
Contributors: 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, FranceSubject 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]
-
14
Authors: et al.
Contributors: et al.
Source: 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, FranceSubject Terms: [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]
-
15
Authors: et al.
Contributors: et al.
Source: 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-168Subject Terms: [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
File Description: application/pdf; text/html
-
16
Authors: et al.
Contributors: et al.
Source: Haskell'06 ; https://inria.hal.science/inria-00088787 ; Haskell'06, Sep 2006, Portland/USA
Subject Terms: 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]
-
17
Authors: et al.
Contributors: 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]
-
18
Authors: et al.
Contributors: et al.
Subject Terms: 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]
-
19
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00505085 ; [Research Report] RR-7346, INRIA. 2010.
Subject Terms: 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
-
20
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
Subject Geographic: New Orleans, United States
Nájsť tento článok vo Web of Science 
Full Text Finder