Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  15 نتائج ل ""Programming language""

فلترة النتائج

Collection : Archives Ouvertes Hal Imt Atlantique
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Deep Specification and Proof Preservation for the CoqTL Transformation Language

Subjects: Theorem Proving; Certification; Programming Language Implementation

  • Source: Software & Systems Modeling ; https://inria.hal.science/hal-03656144 ; Software & Systems Modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

A chemical programming language for orchestrating services : Application to interoperability problems ; Un langage de programmation chimique pour l’orchestration des services : Application aux problèmes d’interopérabilité

Subjects: Interoperability; SOC; Chemical programming

  • Source: https://theses.hal.science/tel-01127487 ; Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0011⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Information Flow Policy Defined by Users for Service Orchestration. Implementation in a BPEL orchestrator ; Politique de contrôle de flux d'information définie par les utilisateurs pour les orchestrations de services. Mise en oeuvre dans un orchestrateur BPEL

Subjects: Computer Science; Confidentiality; Privacy

  • Source: https://theses.hal.science/tel-00959447 ; Web. Télécom Bretagne, Université de Rennes 1, 2013. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Towards a Skill-based Self-Regulated Learning Recommendation System

Subjects: Self-Regulated Learning Online Learning Environment Learning Analytics Process Mining Skill Assessment Bayesian Knowledge Tracing; Self-Regulated Learning; Online Learning EnvironmentAveiro; Portugal

  • Source: Doctoral Consortium of the 18th European Conference on Technology Enhanced Learning ; https://imt-atlantique.hal.science/hal-04285013 ; Doctoral Consortium of the 18th European Conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Generative Programming Approach To Developing DSL Compilers

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Tallinn; EstoniaTallinn, Estonia

  • Source: International Conference on Generative Programming and Component Engineering ; International Conference on Generative Programming and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

A Generative Programming Approach To Developing DSL Compilers

Subjects: COMPILATION; DOMAIN-SPECIFIC LANGUAGES; GENERATIVE PROGRAMMING

  • Source: https://inria.hal.science/inria-00070457 ; [Research Report] RR-5550, INRIA. 2005, pp.21.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Typed Monadic Embedding of Aspects

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Fukuoka; Japan

  • Source: 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13)https://inria.hal.science/hal-0076369512th annual international conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Practical Monadic Aspect Weaver

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Potsdam; Germany

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

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A theory of distributed aspects

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Rennes; Saint-Malo; France

  • Source: 9th International Conference on Aspect-Oriented Software Development (AOSD '10)https://inria.hal.science/inria-004239969th International Conference on Aspect-Oriented Software Development

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Lazy Composition of Representations in Java

Subjects: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Lille; France

  • Source: SC'09 - International Conference on Software Composition ; https://inria.hal.science/inria-00403417 ; SC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  15 نتائج ل ""Programming language""