OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
201	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
202	Part II Development Tools 193 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Compiler construction Cross-platform software Functional languages OCaml Bytecode Compiler Preprocessor Compiled language Interpreter Computing Software Programming language implementation
203	Part III Application Structure 401 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Data types Type theory Source code Holism Type system OCaml Abstract data type Caml Software engineering Computer programming Computing
204	12 Interoperability with C Developing programs in a given language very often requires one to integrate libraries written in other languages. The two main reasons for this are: • Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Procedural programming languages OCaml Caml ML Declaration Objective-C Printf format string C Software engineering Computing Computer programming
205	Real-world debugging in OCaml Mark Shinwell Jane Street Europe OCaml Users and Developers Workshop 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Debuggers Debugging GNU Debugger Computer errors Strace OCaml Core dump Gdbserver Computer programming Computing Software
206	Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions David Scott Richard Sharp Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Functional languages OCaml Caml Xen ML Foreach loop Citrix Systems Monad Structural type system Computing Software engineering Computer programming
207	Conclusion Although computer science has become an industrial activity, in many respects the success of a programming language is a subjective affair. If “the heart has its reasons of which reason knows nothing,” the Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Programming paradigms OCaml Caml ML Functional programming Objective-C Conditional Object-oriented programming Software engineering Computer programming Computing
208	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
209	The OCaml system release 3.12 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-07-29 09:33:47 Object-oriented programming OCaml Caml Coupling Comparison of programming languages Preprocessor Information hiding Perl module Software engineering Computing Computer programming
210	8 Libraries Every language comes with collections of programs that are reusable by the programmer, called libraries. The quality and diversity of these programs are often some of the criteria one uses to assess the ease Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Data types C++ Standard Library Functional languages Procedural programming languages Object-oriented programming Sequence container ALGOL 68 OCaml Fold Computing Software engineering Computer programming

UPDATE