Search Results - "ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General"
-
1
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-00760917 ; [Research Report] RR-8166, INRIA. 2012.
Subject Terms: termination, static analysis, modularity, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
2
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-00760917 ; [Research Report] RR-8166, INRIA. 2012.
Subject Terms: termination, static analysis, modularity, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
3
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-00760917 ; [Research Report] RR-8166, INRIA. 2012.
Subject Terms: termination, static analysis, modularity, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
4
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-00760917 ; [Research Report] RR-8166, INRIA. 2012.
Subject Terms: termination, static analysis, modularity, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
5
Authors: et al.
Contributors: et al.
Source: https://hal.inria.fr/hal-00760917 ; [Research Report] RR-8166, INRIA. 2012.
Subject Terms: termination, static analysis, modularity, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: Report N°: RR-8166; hal-00760917; https://hal.inria.fr/hal-00760917; https://hal.inria.fr/hal-00760917v2/document; https://hal.inria.fr/hal-00760917v2/file/RR-8166.pdf
-
6
Authors: et al.
Contributors: et al.
Source: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224283 ; Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.43-69, 2015, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_4⟩ ; http://www.springer.com/us/book/9783319261713
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, 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-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
7
Authors: et al.
Contributors: et al.
Source: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224283 ; Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.43-69, 2015, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_4⟩ ; http://www.springer.com/us/book/9783319261713
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, 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-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
8
Authors: et al.
Contributors: et al.
Source: Globalizing Domain-Specific Languages ; https://hal.inria.fr/hal-01224283 ; Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.43-69, 2015, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_4⟩ ; http://www.springer.com/us/book/9783319261713
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, 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-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-01224283; https://hal.inria.fr/hal-01224283
-
9
Authors:
Contributors:
Source: https://hal.archives-ouvertes.fr/hal-01542915 ; 2012.
Subject Terms: Common Lisp, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General/D.3.0.0: Standards, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO]Computer Science [cs]
Relation: hal-01542915; https://hal.archives-ouvertes.fr/hal-01542915; https://hal.archives-ouvertes.fr/hal-01542915/document; https://hal.archives-ouvertes.fr/hal-01542915/file/verna.12.cdr11.pdf
Nájsť tento článok vo Web of Science