Metaprogramming - PDFSEARCH.IO - Document Search Engine

Metaprogramming
Results: 77

#	Item
31	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17
32	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
33	ZU064-05-FPR expmodel 27 March 2012 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-27 14:37:19 Metaprogramming Transformation languages Scheme Functional languages Source code Hygienic macro Macro C preprocessor Anonymous function Constant Lisp Make
34	§1 LESSONS FROM CHEZWEB INTRODUCTION Add to Reading List Source URL: scheme2011.ucombinator.org Language: English - Date: 2014-01-06 09:39:58 Transformation languages Source code Dylan Hygienic macro Metaprogramming Scheme Macro Anonymous function Scope Preprocessor Namespace IMP
35	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:20 Method Object-oriented programming Java programming language Type theory C++ Constructor Multiple inheritance Trait Java syntax Software engineering Computing Computer programming
36	Ur: Statically-Typed Metaprogramming with Type-Level Record Computation Adam Chlipala PLDI 2010 Strength of Guarantee Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2012-09-05 20:22:17 Data management Programming paradigms Data types SQL Metaprogramming Type system Computing Relational database management systems Software engineering
37	gloc : Metaprogramming WebGL Shaders with OCaml David William Wallace Sheets, Ashima Arts June 7, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:11:48 Cross-platform software OpenGL Functional languages Application programming interfaces Web development OCaml WebGL Preprocessor Caml Computing Software Computer programming
38	Runtime metaprogramming via java.lang.invoke.MethodHandle c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia May 14th , 2012 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2012-05-14 04:06:58 Java programming language Subroutines Data types Cross-platform software Java virtual machine Just-in-time compilation Java syntax Type conversion Anonymous function Software engineering Computing Computer programming
39	Making a Boost Library Robert Ramey Software Developer 830 Cathedral Vista Lane Santa Barbara, CA3793 Add to Reading List Source URL: rrsd.com Language: English - Date: 2011-04-29 13:38:34 Computer programming Boost Library Template metaprogramming Template Perforce Jam C Serialization Boost controller Software engineering Computing C++
40	Enabling cross-library optimization and compile-time error checking in the presence of procedural macros ∗ Andrew W. Keep R. Kent Dybvig Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:08 Cross-platform software Scheme C Library Template metaprogramming Eval D Lisp JavaScript Computing Software engineering Computer programming