المؤلفون: Girardi M., Zunino R., Benini M.

المساهمون: AA. VV., G. Cordasco, L. Gargano, A. Rescigno, Girardi, M., Zunino, R., Benini, M.

مصطلحات موضوعية: Higher inductive type, Homotopy type theory

وصف الملف: ELETTRONICO

Relation: ispartofbook:CEUR Workshop Proceedings. 21st Italian Conference on Theoretical Computer Science, ICTCS 2020; 21st Italian Conference on Theoretical Computer Science, ICTCS 2020; volume:2756; firstpage:223; lastpage:229; numberofpages:7; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:G. Cordasco, L. Gargano, A. Rescigno; https://hdl.handle.net/11383/2164411; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85097573829; https://ceur-ws.org/Vol-2756/paper_26.pdf

الاتاحة: https://hdl.handle.net/11383/2164411
https://ceur-ws.org/Vol-2756/paper_26.pdf

المؤلفون: Pitts, Andrew M.

المساهمون: Andrew M. Pitts

مصطلحات موضوعية: dependent type theory, quotient, quotient inductive type, theorem-proving systems

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 167, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.3

الاتاحة: https://doi.org/10.4230/LIPIcs.FSCD.2020.3
https://nbn-resolving.org/urn:nbn:de:0030-drops-123256
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.3

المؤلفون: L. V. CHERKESSOVA

المصدر: Вестник Донского государственного технического университета, Vol 10, Iss 2, Pp 161-171 (2018)

مصطلحات موضوعية: parametric transformer, parametric generator of inductive type, resonant contour, nonlinear resonator., Mechanics of engineering. Applied mechanics, TA349-359

وصف الملف: electronic resource

Relation: https://vestnik.donstu.ru/jour/article/view/959; https://doaj.org/toc/1992-5980; https://doaj.org/toc/1992-6006

URL الوصول: https://doaj.org/article/a8de62ae877d4913b89b6adc047bf220

المؤلفون: Buisson, Jérémy, Rehab, Seidali

المساهمون: Centre de recherche des écoles de Saint-Cyr Coëtquidan Guer (CREC), Ecoles de Saint-Cyr Coëtquidan Guer, ArchWare, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Advanced Technologies for Operated Networks (ARCHWARE), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Modélisation et d'Implémentation des Systèmes Complexes Constantine (MISC), Université de Constantine 2 Abdelhamid Mehri Constantine

المصدر: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.science/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019

مصطلحات موضوعية: Xtext, Ecore, Coq, Model-Driven Engineering, Model Transformation, Inductive Type, QVT-Operational, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: hal-02021361; https://hal.science/hal-02021361; https://hal.science/hal-02021361/document; https://hal.science/hal-02021361/file/Modelsward2018_Model__CCIS___HAL_.pdf

الاتاحة: https://hal.science/hal-02021361
https://hal.science/hal-02021361/document
https://hal.science/hal-02021361/file/Modelsward2018_Model__CCIS___HAL_.pdf

المؤلفون: Adi Sutrisno

المصدر: English Language Teaching Educational Journal, Vol 2, Iss 2 (2020)

مصطلحات موضوعية: types of paragraph writing, deductive type, inductive type, international journal, Education, English language, PE1-3729

وصف الملف: electronic resource

Relation: http://journal2.uad.ac.id/index.php/eltej/article/view/924; https://doaj.org/toc/2621-6485

URL الوصول: https://doaj.org/article/0dcd22f0dbb343c29d8e557a7048ead6

المؤلفون: Sabotič, Luka

المساهمون: Bauer, Andrej

مصطلحات موضوعية: rekurzivni tip, induktivni tip, koinduktivni tip, funkcijsko programiranje, vsota tipov, recursive type, inductive type, coinductive type, functional programming, sum type

وصف الملف: application/pdf

Relation: https://repozitorij.uni-lj.si/IzpisGradiva.php?id=150093; https://repozitorij.uni-lj.si/Dokument.php?id=174637&dn=; https://plus.cobiss.net/cobiss/si/sl/bib/168211203; http://hdl.handle.net/20.500.12556/RUL-150093

الاتاحة: https://repozitorij.uni-lj.si/IzpisGradiva.php?id=150093
https://repozitorij.uni-lj.si/Dokument.php?id=174637&dn=
https://plus.cobiss.net/cobiss/si/sl/bib/168211203
https://hdl.handle.net/20.500.12556/RUL-150093

المؤلفون: Mohanasankar Sivaprakasam, V. Jagadeesh Kumar, Aparna Mohan

المصدر: IEEE Sensors Journal. 20:14253-14261

مصطلحات موضوعية: Capacitive coupling, Transducer, Computer science, Acoustics, 010401 analytical chemistry, Shaping, Electrical and Electronic Engineering, Inductive type, 01 natural sciences, Instrumentation, Displacement (vector), 0104 chemical sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::989726c052ab160c2fbd35e7008fde20
https://doi.org/10.1109/jsen.2020.3008472

المؤلفون: Sung-Kyu Kim, Kideok Sim, Dongmin Kim, Jeonwook Cho

المصدر: IEEE Transactions on Applied Superconductivity. 30:1-5

مصطلحات موضوعية: Computer science, business.industry, Electrical engineering, Transmission system, Condensed Matter Physics, Fault (power engineering), Electronic, Optical and Magnetic Materials, Magnetic field, Electric power system, Shield, Performance prediction, Power cable, Electrical and Electronic Engineering, Inductive type, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::28ce3a6cedafe74a6edeb3afcf11ba8c
https://doi.org/10.1109/tasc.2020.2970692

المؤلفون: L. V. CHERKESSOVA

المصدر: Advanced Engineering Research, Vol 10, Iss 2, Pp 161-171 (2010)

مصطلحات موضوعية: parametric transformer, parametric generator of inductive type, resonant contour, nonlinear resonator., Materials of engineering and construction. Mechanics of materials, TA401-492

وصف الملف: electronic resource

Relation: https://www.vestnik-donstu.ru/jour/article/view/959; https://doaj.org/toc/2687-1653

URL الوصول: https://doaj.org/article/1dcc4dc6e7304262b468442168c5dd5b

المؤلفون: Herbelin, Hugo, Spiwack, Arnaud

المساهمون: Hugo Herbelin and Arnaud Spiwack

مصطلحات موضوعية: Coq, Calculus of inductive constructions, Impredicativity, Strictly positive type families, Inductive type families

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 26, 19th International Conference on Types for Proofs and Programs (TYPES 2013); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.169

الاتاحة: https://doi.org/10.4230/LIPIcs.TYPES.2013.169
https://nbn-resolving.org/urn:nbn:de:0030-drops-46318
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.169

المؤلفون: Aleksandar S. Dimovski, Andrzej Wąsowski, Thomas Jensen, Ahmad Salim Al-Sibahi

المساهمون: University of Copenhagen = Københavns Universitet (KU), Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), IT University of Copenhagen, University of Copenhagen = Københavns Universitet (UCPH), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), IT University of Copenhagen (ITU)

المصدر: ACM Transactions on Software Engineering and Methodology
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A S & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5 . https://doi.org/10.1145/3409805
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5, pp. 1-33 . https://doi.org/10.1145/3409805

مصطلحات موضوعية: Program schemes, Computer science, • Software and its engineering → Translator writing systems and compiler generators, 02 engineering and technology, computer.software_genre, Operational semantics, CCS Concepts: • Theory of computation → Program verification, Abstract syntax, 0202 electrical engineering, electronic engineering, information engineering, Pattern matching, abstract interpretation, Functional constructs, Inductive type, Transformation languages, Backtracking, Programming language, Type inference, transformation languages, Program analysis, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, Abstract interpretation, Semantics, Code refactoring, static analysis, 020201 artificial intelligence & image processing, Control primitives, Abstraction, computer, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5746d51ad8611bdbf143f1bc721094a
https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf

المؤلفون: Leobardo Hernandez-Gonzalez, Eduardo S. Estevez Encarnacion, Oswaldo Ulises Juarez-Sandoval, Jazmin Ramirez-Hernandez, Juan Carlos Sanchez Garcia

المصدر: 2020 IEEE International Autumn Meeting on Power, Electronics and Computing (ROPEC).

مصطلحات موضوعية: Physics, business.industry, Control theory, Capacitive sensing, Electronic engineering, Wireless, Topology (electrical circuits), Wireless power transfer, Inductive type, business, Power (physics), Network analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::10b7423a31214028145a8aa2b4cee142
https://doi.org/10.1109/ropec50909.2020.9258713

المؤلفون: Luis Scoccola, Thorsten Altenkirch

المصدر: LICS

مصطلحات موضوعية: FOS: Computer and information sciences, Discrete mathematics, Computer Science - Logic in Computer Science, Recursion, Agda, 020207 software engineering, Natural number, Mathematics - Logic, 0102 computer and information sciences, 02 engineering and technology, Function (mathematics), Mathematical proof, 01 natural sciences, Logic in Computer Science (cs.LO), 010201 computation theory & mathematics, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Homotopy type theory, Inductive type, Logic (math.LO), computer, Universe (mathematics), computer.programming_language, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c44e066d7ecc17880cb9aa62d148e50c
https://doi.org/10.1145/3373718.3394760

المؤلفون: Evan Cavallo, Robert Harper

المصدر: Proceedings of the ACM on Programming Languages. 3:1-27

مصطلحات موضوعية: Pure mathematics, Dimension (graph theory), Structure (category theory), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Type (model theory), 01 natural sciences, Schema (genetic algorithms), Type theory, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Homotopy type theory, Inductive type, Safety, Risk, Reliability and Quality, Software, Axiom, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::69ed7798eca32dcc3ba55cf1efab7da8
https://doi.org/10.1145/3290314

المؤلفون: Simon Hudon, Daniel Selsam, Leonardo de Moura

مصطلحات موضوعية: FOS: Computer and information sciences, Functional programming, Theoretical computer science, Computer Science - Programming Languages, Backtracking, Computer science, Proof assistant, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Memory address, 010201 computation theory & mathematics, Pointer (computer programming), 0202 electrical engineering, electronic engineering, information engineering, Automated reasoning, Inductive type, Safety, Risk, Reliability and Quality, Combinatory logic, Software, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c002877faa8a48561a4ff0b0c23632ae
http://arxiv.org/abs/2003.01685

المؤلفون: Dwi Risky Arifanti, N. Nisraeni

المصدر: JME (Journal of Mathematics Education); Vol 3, No 1 (2018): JME; 28-32

مصطلحات موضوعية: Class (computer programming), Deductive reasoning, Interview, Process (engineering), Mathematics education, Analogy, reasoning, problem solving, dimension three, inductive, deductive, Inductive type, Inductive reasoning, Pendidikan Matematika, Task (project management)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1f2ad1b6fb977ce648df4dfd98eca66
https://doi.org/10.31327/jomedu.v3i1.526

المؤلفون: Hugo Moeneclaey, Peter Dybjer

المصدر: MFPS

مصطلحات موضوعية: Surface (mathematics), Path (topology), Pure mathematics, General Computer Science, 010102 general mathematics, 0102 computer and information sciences, Intuitionistic type theory, 01 natural sciences, Theoretical Computer Science, 010201 computation theory & mathematics, Homotopy type theory, Finitary, Point (geometry), 0101 mathematics, Inductive type, Mathematics, Setoid

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4b33fa3588445982d0769e3e363ac53f
https://doi.org/10.1016/j.entcs.2018.03.019

المؤلفون: Buisson, J., rehab, seidali

المساهمون: #PLACEHOLDER_PARENT_METADATA_VALUE#, Faculty of Information and Communication Technology (ICT)

مصطلحات موضوعية: Model-driven engineering, Model transformation, Inductive type, QVT-Operational, Ecore, Xtext, Coq

Relation: Communications in Computer and Information Science; International Conference on Model-Driven Engineering and Software Development; 2-s2.0-85061475537; http://www.scopus.com/inward/record.url?eid=2-s2.0-85061475537&partnerID=MN8TOARS

الاتاحة: https://doi.org/10.1007/978-3-030-11030-7_14
http://www.scopus.com/inward/record.url?eid=2-s2.0-85061475537&partnerID=MN8TOARS

المؤلفون: Seidali Rehab, Jérémy Buisson

المساهمون: Centre de recherche des écoles de Saint-Cyr Coëtquidan [Guer] (CREC), Ecoles de Saint-Cyr Coëtquidan [Guer], ArchWare, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Advanced Technologies for Operated Networks (ARCHWARE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Modélisation et d'Implémentation des Systèmes Complexes [Constantine] (MISC), Université de Constantine 2 Abdelhamid Mehri [Constantine], Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)

المصدر: Model-Driven Engineering and Software Development. MODELSWARD 2018.
Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019
Communications in Computer and Information Science ISBN: 9783030110291
MODELSWARD (Revised Selected Papers)

مصطلحات موضوعية: Xtext, Semantics (computer science), Computer science, Programming language, Model Transformation, Model transformation, Proof assistant, 020207 software engineering, Model-Driven Engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Metamodeling, QVT-Operational, Ecore, Abstract syntax, Programming language specification, 0202 electrical engineering, electronic engineering, information engineering, Coq, 020201 artificial intelligence & image processing, Inductive type, Model-driven architecture, computer, Inductive Type, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c01fec296cf5320b8bdfc7367a3ed5f
https://hal.science/hal-02021361

المؤلفون: Christian Sattler, Andrea Vezzosi

المصدر: LICS

مصطلحات موضوعية: Path (topology), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Pure mathematics, Mathematics - Category Theory, Mathematics - Logic, Type (model theory), Container (type theory), Logic in Computer Science (cs.LO), Type theory, Homotopy type theory, FOS: Mathematics, Category Theory (math.CT), Uniqueness, Inductive type, Logic (math.LO), Axiom, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::454da8e4f114c37d20c66b0c0c69b994