المؤلفون: Polonowski, Emmanuel

المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)

المصدر: The Third Coq Workshop (Coq'3) ; https://hal.archives-ouvertes.fr/hal-00648397 ; The Third Coq Workshop (Coq'3), Aug 2011, Nijmegen, Netherlands

مصطلحات موضوعية: Coq, type theory, typing, generic, typing environment, type system, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Nijmegen, Netherlands

Relation: hal-00648397; https://hal.archives-ouvertes.fr/hal-00648397; https://hal.archives-ouvertes.fr/hal-00648397/document; https://hal.archives-ouvertes.fr/hal-00648397/file/TR_coq_ws_2011.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-00648397
https://hal.archives-ouvertes.fr/hal-00648397/document
https://hal.archives-ouvertes.fr/hal-00648397/file/TR_coq_ws_2011.pdf

المؤلفون: Waleed Al-Nuaimy, Hilal Al-Libawy, Ali Al-Ataby, Majid A. Al-Taee, Ahmad Al-Taee

المصدر: DeSE

مصطلحات موضوعية: Cognitive model, Adaptive control, Computer science, business.industry, Mental fatigue, 05 social sciences, Frame (networking), Work (physics), Machine learning, computer.software_genre, Visualization, 03 medical and health sciences, Typing environment, 0302 clinical medicine, Task analysis, 0501 psychology and cognitive sciences, Artificial intelligence, business, computer, 050107 human factors, 030217 neurology & neurosurgery

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::290f75f1eb33d388747fc8c9236154f4
https://doi.org/10.1109/dese.2017.36

المؤلفون: Enrique Calot, Jorge Salvador Ierache, Nahuel Francisco Gonzalez

المصدر: BIOSIG

مصطلحات موضوعية: Context model, Computer science, business.industry, 020207 software engineering, 02 engineering and technology, Machine learning, computer.software_genre, Typing environment, Keystroke dynamics, Stress (linguistics), Replication (statistics), 0202 electrical engineering, electronic engineering, information engineering, Spite, 020201 artificial intelligence & image processing, Relevance (information retrieval), False alarm, Artificial intelligence, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::056bb1b7329db7253b10df0cfb0657fe
https://doi.org/10.1109/biosig.2016.7736905

المؤلفون: Conor McBride, Nick Benton, Chung-Kil Hur, Andrew Kennedy

المصدر: Journal of Automated Reasoning. 49:141-159

مصطلحات موضوعية: Theoretical computer science, Programming language, Computer science, Substitution (logic), Proof assistant, Metalanguage, Term (logic), Object (computer science), computer.software_genre, Syntax, Typing environment, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Artificial Intelligence, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Object type, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bd34f097d4146930121c8c99d58b899a
https://doi.org/10.1007/s10817-011-9219-0

المؤلفون: Idegbekwe Destiny

المصدر: English Linguistics Research. 8:1

مصطلحات موضوعية: World Wide Web, Class (computer programming), Typing environment, English as a second language, Grammar, Mobile phone, Computer science, Learning environment, media_common.quotation_subject, Destiny, On Language, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::76d8cf78a2eb9672125e0558596cf456
https://doi.org/10.5430/elr.v8n1p1

المؤلفون: Tamara Rezk, Alan Schmitt, José Fragoso Santos, Thomas Jensen

المساهمون: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Software certification with semantic analysis (CELTIQUE), LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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)-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)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-14-CE28-0008,AJACS,Applications JavaScript: Analyses Certifiées et Sécurité(2014), 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), 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)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Schmitt, Alan, Appel à projets générique - Applications JavaScript: Analyses Certifiées et Sécurité - - AJACS2014 - ANR-14-CE28-0008 - Appel à projets générique - VALID

المصدر: International Symposium on Trustworthy Global Computing
International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Trustworthy Global Computing ISBN: 9783319287652
TGC

مصطلحات موضوعية: Statement (computer science), Soundness, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Semantics (computer science), Computer science, Programming language, Manifest typing, JavaScript, computer.software_genre, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Typing environment, Code (cryptography), Information flow (information theory), computer, computer.programming_language

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6556a8a7e91a13cf4e659a79b24c5b63
https://hal.archives-ouvertes.fr/hal-01243029/file/paper_7.pdf

المؤلفون: Sima Soltani, Amin Mahnam

المصدر: Computers in biology and medicine. 70

مصطلحات موضوعية: Male, Adaptive algorithm, Eye Movements, Computer science, 0206 medical engineering, Control (management), Electro oculogram, Eye movement, Wearable computer, Health Informatics, 02 engineering and technology, 020601 biomedical engineering, Saccadic masking, Computer Science Applications, Computer game, Typing environment, User-Computer Interface, Human–computer interaction, 0202 electrical engineering, electronic engineering, information engineering, Humans, 020201 artificial intelligence & image processing, Disabled Persons, Algorithms

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57fadadcf325d7faf6fe51cd9cbf02e1
https://pubmed.ncbi.nlm.nih.gov/26848728

المؤلفون: Matthew Hennessy

المصدر: The Journal of Logic and Algebraic Programming. 63:3-34

مصطلحات موضوعية: Theoretical computer science, Observer (quantum physics), Logic, Computer science, Process (engineering), Testing equivalences, Context (language use), Computer security model, Distributed systems, Pi-calculus, Theoretical Computer Science, Range (mathematics), Typing environment, Non-interference, Computational Theory and Mathematics, Asynchronous communication, Pi calculus, Security types, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::420effacc592407f6c34df6bbf49ad2b
https://doi.org/10.1016/j.jlap.2004.01.003

المؤلفون: Julien Cretin, Didier Rémy

المساهمون: Programming languages, types, compilation and proofs (GALLIUM), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Thomas A. Henzinger, Dale Miller, INRIA

المصدر: CSL-LICS 2014: Joint Meeting of the Annual Conference on Computer Science Logic and the Annual Symposium on Logic in Computer Science
CSL-LICS 2014: Joint Meeting of the Annual Conference on Computer Science Logic and the Annual Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. pp.34, ⟨10.1145/2603088.2603128⟩
[Research Report] RR-8456, INRIA. 2014, pp.36
CSL-LICS

مصطلحات موضوعية: Theoretical computer science, Semantics (computer science), Coercion, Recursive coercions, computer.software_genre, Type containment, Full reduction, Recursive types, Typing environment, Subtyping, GADTs, Bounded quantification, Type, Polymorphism, Coercion (linguistics), Language construct, Mathematics, Soundness, Typings, Step-Indexed seman-tics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Programming language, System F, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, Type constraints, Bounded polymorphism, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.13: Polymorphism, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, F-eta, computer, Retyping functions

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a23bef5d876bd2a5163728c38213117
https://inria.hal.science/hal-01093239/file/Cretin-Remy!fcc@lics2014.pdf

المؤلفون: John H. Reppy

المصدر: Concurrent Programming in ML. :275-292

مصطلحات موضوعية: Action semantics, Typing environment, Theoretical computer science, Syntax (programming languages), Semantics (computer science), Computer science, Concurrent computing, Type scheme, Value restriction, Expression (computer science)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::648818950175e18819169a9e0dfd035f
https://doi.org/10.1017/cbo9780511574962.014

المؤلفون: Ivan Scagnetto, Alberto Ciaffaglione

المصدر: LFMTP

مصطلحات موضوعية: Higher-order abstract syntax, Logical Frameworks, Theoretical computer science, Type Theory, System F, Representation (systemics), Higher-Order Abstract Syntax, Formal system, Bookkeeping, Typing environment, Type theory, Abstract syntax, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b655a24bb1aec815289226157601a509
http://hdl.handle.net/11390/1036350

المؤلفون: Filipe Militão, Luís Caires, Jonathan Aldrich

المصدر: ECOOP 2014 – Object-Oriented Programming ISBN: 9783662442012
ECOOP

مصطلحات موضوعية: 80399 Computer Software not elsewhere classified, FOS: Computer and information sciences, Typing environment, Distributed shared memory, Alias, Shared memory, Computer science, Distributed computing, State (computer science), Aliasing (computing), Substructural type system, Abstraction (linguistics)

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

المؤلفون: Anna Philippou, Dimitrios Kouzapas

المصدر: Software Engineering and Formal Methods ISBN: 9783319050317
SEFM Workshops

مصطلحات موضوعية: Typing environment, Theoretical computer science, Computer science, restrict, Simple (abstract algebra), Control (management), Information Dissemination, Information processing, Typing, Type (model theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5fb500f66ab8013d0dc3b0559879312e
https://doi.org/10.1007/978-3-319-05032-4_5

المؤلفون: Pedro Baltazar, Vasco T. Vasconcelos, Hugo Torres Vieira, Luís Caires

المصدر: Trustworthy Global Computing ISBN: 9783642411564
TGC

مصطلحات موضوعية: Typing environment, Computer science, business.industry, Business process, Distributed computing, Web application, business, Communications protocol, Security policy, Implementation, Protocol (object-oriented programming), Task (project management)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::286805a5d9d77b96893234b345f9a1a3
https://doi.org/10.1007/978-3-642-41157-1_6

المؤلفون: Daniel Seidel, Janis Voigtländer

مصطلحات موضوعية: Functional programming, Computer Networks and Communications, Programming language, Type (model theory), computer.software_genre, Term (time), Typing environment, Informatik, Theory of computation, Computer Science::Programming Languages, Haskell, Algorithm, computer, Software, Information Systems, Mathematics, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e9febdb43ab8daff4351ad8430c480b
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=79955144514

المؤلفون: Pierre-Yves Strub

المساهمون: Formal Methods for Embedded Systems (FORMES), Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées (LIAMA), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Chinese Academy of Sciences [Changchun Branch] (CAS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institute of Automation - Chinese Academy of Sciences-Centre National de la Recherche Scientifique (CNRS)-Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de la Recherche Agronomique (INRA)-Chinese Academy of Sciences [Changchun Branch] (CAS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institute of Automation - Chinese Academy of Sciences-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria), Anuj Dawar and Helmut Veith, ANR-08-BLAN-0326-01,SIVES,A Simulation and Verification based platform for developing Embedded Systems(2009), ANR-08-BLAN-0326,SIVES,Simulation rapide et sûre de systèmes embarqués complets(2008)

المصدر: 19th EACSL Annual Conference on Computer Science Logic
19th EACSL Annual Conference on Computer Science Logic, Aug 2010, Brno, Czech Republic. pp.529--543, ⟨10.1007/978-3-642-15205-4_40⟩
Computer Science Logic ISBN: 9783642152047
CSL

مصطلحات موضوعية: Discrete mathematics, Modulo, Proof assistant, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Extension (predicate logic), Mathematical proof, 01 natural sciences, Logical consequence, Typing environment, Development (topology), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Calculus of constructions, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79dad9def48c2e81e6e455261b3e2c20
https://hal.inria.fr/inria-00497404

المؤلفون: Christian W. Probst, Hanne Riis Nielson, René Rydhof Hansen, Rosario Pugliese, Rocco De Nicola, Flemming Nielson, Daniele Gorla

المصدر: De Nicola, R, Gorla, D, Hansen, R R, Nielson, F, Nielson, H R, Probst, C W & Pugliese, R 2010, ' From Flow Logic to Static Type Systems for Coordination Languages ', Science of Computer Programming, vol. 75, no. 6, pp. 376-397 . https://doi.org/10.1016/j.scico.2009.07.009
COORDINATION

مصطلحات موضوعية: Flow Logic, Correctness, Programming language, Computer science, Formal methods, Distributed computing, Type systems, Construct (python library), Static analysis, computer.software_genre, Global computing, Coordination languages, Typing environment, Tuple space, Tuple, type systems, formal methods, flow logic, coordination languages, global computing, Process migration, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ff46e677450ab180e45e2195ce479fc
https://vbn.aau.dk/da/publications/d6005291-e9d7-4784-ae44-956cea70306d

المؤلفون: Hao Xu

المصدر: Objects, Models, Components, Patterns ISBN: 9783642139529
TOOLS (48)

مصطلحات موضوعية: Domain-specific language, Syntax (programming languages), Programming language, Semantics (computer science), Computer science, Method chaining, computer.software_genre, Semantics, Syntax, Typing environment, Nesting (computing), Compiler, computer, Host (network)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::84c5dd3eac660af6b1fbc7eeba15ab69
https://doi.org/10.1007/978-3-642-13953-6_11

المؤلفون: Maribel Fernández, Murdoch J. Gabbay

المصدر: Lecture Notes in Computer Science ISBN: 9783540744634
TYPES

مصطلحات موضوعية: Typing environment, Theoretical computer science, Nominal terms, Computer science, Rank (computer programming), Subject reduction, Substitution (logic), Type inference, Nominal type system, Decidability

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c49f0e124696f024786da3509a64ddc7
https://doi.org/10.1007/978-3-540-74464-1_9

المؤلفون: Olaf Owe, Ingrid Chieh Yu, Einar Broch Johnsen

المصدر: Lecture Notes in Computer Science ISBN: 9783540348931
FMOODS

مصطلحات موضوعية: Runtime system, Object-oriented programming, Typing environment, Database, Computer science, Asynchronous communication, Distributed algorithm, Distributed computing, Type safety, Formal methods, computer.software_genre, computer, Encapsulation (networking)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0557d8d82432c2c59803957b520aeb04
https://doi.org/10.1007/11768869_16