-
1Academic Journal
Authors: Douence, Rémi, Fradet, Pascal
Contributors: Fradet, Pascal, Objects, aspects and components (OBASCO), Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Inria Grenoble - Rhône-Alpes
Source: Higher-Order and Symbolic Computation. 20:237-255
Subject Terms: program transformation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Krivine machine, Functional Programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, compilation, 0202 electrical engineering, electronic engineering, information engineering, abstract machines, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, functional language implementations
File Description: application/pdf
Linked Full TextAccess URL: https://hal.inria.fr/inria-00000940/file/HOSC06.pdf
https://inria.hal.science/inria-00000940v1
https://inria.hal.science/inria-00000940v1/document
https://doi.org/10.1007/s10990-007-9016-y -
2Conference
Authors: Courtès, Ludovic
Contributors: Chercheur indépendant
Source: European Lisp Symposium ; https://hal.inria.fr/hal-00824004 ; European Lisp Symposium, Jun 2013, Madrid, Spain
Subject Terms: Package management, Functional programming, Scheme, Embedded domain-specific language, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.9: Systems Programs and Utilities, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Spain
Time: Madrid, Spain
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1305.4584; hal-00824004; https://hal.inria.fr/hal-00824004; https://hal.inria.fr/hal-00824004/document; https://hal.inria.fr/hal-00824004/file/guix.pdf; ARXIV: 1305.4584
-
3Conference
Contributors: Facultad de Informatica, Universidad Complutense de Madrid = Complutense University of Madrid Madrid (UCM), Proof-oriented development of computer-based systems (MOSEL), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Technische Universität München
Source: 22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009
https://inria.hal.science/inria-00408964
22nd International Conference on Theorem Proving in Higher-Order Logics : emerging trends session - TPHOLs 2009, Technische Universität München, Aug 2009, Munich, GermanySubject Terms: theorem proving, Isabelle, higher-order logic, functional-logic programming, CRWL logic, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.6: Logic Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/0908.0494; ARXIV: 0908.0494
-
4Conference
Authors: Kow, Eric
Contributors: Human-machine dialogue with a significant language component (LANGUE ET DIALOGUE), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
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]
-
5Conference
Authors: Mikac, Jan, Caspi, Paul
Contributors: VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), T. Margaria and M. Massink
Source: FMICS ; https://inria.hal.science/inria-00466170 ; FMICS, Sep 2005, Lisbon, Portugal. pp.27-34, ⟨10.1145/1081180.1081185⟩
Subject Terms: synchronous language, refinement, temporal refinement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.3: Tools, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.3: Data-flow languages, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
6Academic Journal
Authors: Audebaud, Philippe, Paulin-Mohring, Christine
Contributors: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Proof of Programs (PROVAL), Université Paris-Sud - Paris 11 (UP11)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ANR-07-SESU-0010,SCALP,Security of Cryptographic Algorithms with Probabilities(2007)
Source: ISSN: 0167-6423 ; Science of Computer Programming ; https://inria.hal.science/inria-00431771 ; Science of Computer Programming, 2009, ⟨10.1016/j.scico.2007.09.002⟩.
Subject Terms: randomized algorithms, proof of partial and total correctness, functional language, axiomatic semantics, probability framing, call-by-value, monadic interpretation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
7Book
Authors: Conchon, Sylvain, Filliâtre, Jean-Christophe
Contributors: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source: https://inria.hal.science/hal-01063853 ; Eyrolles, pp.429, 2014, Noire, 9782212136784.
Subject Terms: OCaml Algorithmes Structures de données, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, ACM: E.: Data/E.1: DATA STRUCTURES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Availability: https://inria.hal.science/hal-01063853