Macro-engineering - PDFSEARCH.IO - Document Search Engine

Macro-engineering
Results: 1454

#	Item
71	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. GoannaSMT – A Static Analyzer with SMT-based Refinement Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:59 Formal methods Logic in computer science Model checking Satisfiability Modulo Theories Static program analysis Abstract interpretation Abstraction C Software bug Theoretical computer science Software engineering Computing
72	Programming by demonstration using version space algebra DRAFT to appear in Machine Learning Tessa Lau () IBM T.J. Watson Research, 30 Saw Mill River Parkway, Hawthorne, NY 10532 Add to Reading List Source URL: tlau.org Language: English - Date: 2001-11-02 08:12:07 Software engineering Programming paradigms User interfaces User interface techniques Learning theory Programming by demonstration User interface Macro Concept learning Computing Computer programming Machine learning
73	The Revised R6RS Status Report Marc Feeley ´ Universite´ de Montreal Add to Reading List Source URL: schemers.org Language: English - Date: 2004-10-20 19:21:36 Functional languages Scheme Scheme programming language Racket Lisp programming language Hygienic macro Lisp Continuation Matthew Flatt Software engineering Programming language theory Computing
74	First-class Macros Have Types Alan Bawden∗ Boston University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2001-04-26 13:39:35 Functional languages Procedural programming languages Transformation languages Meta-programming Lisp programming language Macro Scheme Hygienic macro Common Lisp Software engineering Computing Computer programming
75	IC-386 Compiler User’s Guide RadiSys Corporation 5445 NE Dawson Creek Drive Hillsboro, OR 97124 Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-03-29 23:03:11 Procedural programming languages RMX Programming language implementation Macro Compiler C Inline function Computing Computer programming Software engineering
76	Well-Shaped Macros Ryan Culpepper, Matthias Felleisen Northeastern University Boston, MAEmail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Type theory Transformation languages Procedural programming languages Functional languages Lisp programming language Macro Hygienic macro Scheme C preprocessor Software engineering Computing Computer programming
77	A pattern matcher for miniKanren or How to get into trouble with CPS macros Andrew W. Keep Michael D. Adams Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:00 Type theory Transformation languages Procedural programming languages Logic programming Source code Hygienic macro Scheme Prolog Macro Computing Software engineering Computer programming
78	WEB USER MANUAL 1 The WEB System of Structured Documentation This memo describes how to write programs in the WEB language; and it also includes the full WEB documentation for WEAVE and TANGLE, the programs that read WE Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:27:21 C programming language Macro programming languages Procedural programming languages Pascal Cross-platform software Comparison of Pascal and C TeX WEB C preprocessor Computing Software engineering Computer programming
79	A Few Principles of Macro Design David Herman David Van Horn Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:45 Transformation languages Meta-programming Source code Lisp programming language Macro programming languages Hygienic macro Macro Scheme C preprocessor Computing Computer programming Software engineering
80	Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:23 Source code Functional languages C programming language Cross-platform software Transformation languages Hygienic macro C preprocessor Macro Racket Computing Computer programming Software engineering

UPDATE