Camlp4 - PDFSEARCH.IO - Document Search Engine

Camlp4
Results: 11

#	Item
1	ocp-lint A Plugin-based Style-Checker with Semantic Patches C ¸ a˜gda¸s Bozman Th´eophane Hufschmitt Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:03:59 Software engineering Computer programming Software OCaml Program analysis Lint Camlp4 Type system Caml
2	Parsifal: a pragmatic solution to the binary parsing problem Olivier Levillain Agence Nationale de la S´ecurit´e des Syst`emes d’Information (ANSSI) https://github.com/ANSSI-FR Abstract Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:31 Parsing Compiler construction OCaml Camlp4 JSON Parsifal Portable Network Graphics LR parser
3	Programming the Xen Cloud using OCaml David Scott, Anil Madhavapeddy and Richard Mortier The Xen Cloud Platform (XCP)1 is an open-source software distribution that converts clusters of physical computers into many virtua Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:11:40 Virtual machines University of Cambridge Computer Laboratory Xen OCaml Camlp4 Hypervisor Hyper-V Microkernel Extended Copy Protection System software Software Computing
4	OCaml Companion Tools Xavier Clerc – July 25, 2012 Abstract The objective of this talk is to present several tools that aim to ease the development of software written with the OCaml language. These Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-31 10:33:34 Cross-platform software OCaml Programming tool QuickCheck Camlp4 Code coverage C Software Computing Software testing
5	Extension points for OCaml Leo White September 24, 2013 Camlp4 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-22 11:06:10 Functional languages Camlp4 Parsing OCaml Preprocessor Caml Group extension ML Software engineering Computing Computer programming
6	Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-06-30 10:10:16 Functional languages OCaml Camlp4 Caml Ocsigen Arbitrary-precision arithmetic Sage Maple Symbolic computation Software Computing Mathematical software
7	Xen And the Art  of OCaml  Anil Madhavapeddy  Senior Architect and Director, Products  Virtualiza?on & Management Division  Add to Reading List Source URL: cufp.org Language: English - Date: 2014-05-11 14:35:47 University of Cambridge Computer Laboratory Xen Remote desktop Citrix Systems Hypervisor VHD OCaml Camlp4 Software System software Computing
8	OCaml◎Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 04:38:59 Functional languages OCaml Camlp4 ML Caml Type class Software engineering Computing Computer programming
9	1 How to obtain Objective Caml The various programs used in this work are “free” software 1 . They can be found either on the CD-ROM accompanying this work, or by downloading them from the Internet. This is the case Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 OCaml System administration Caml Filesystem Hierarchy Standard Cd Preprocessor Library Read–eval–print loop Camlp4 Computing Software Computer programming
10	PDF Document Add to Reading List Source URL: www.danielzingaro.com Language: English - Date: 2009-02-24 14:19:29 Programming language implementation Transformation languages C programming language Camlp4 Parsing Macro programming languages Preprocessor OCaml Hygienic macro Computing Software engineering Computer programming