|
| |
| | Workshop on Generic Programming |
 | | Generic programming is about parameterising programs by datatypes. | | | The Workshop on Generic Programming is an informal one-day event for the discussion of recent and ongoing developments in the area of generic programming. | | | Universe constructions as a medium for generic programming |
|
http://www.cs.nott.ac.uk/~gmh/wgp01.html
(848 words)
|
|
| |
| | Generic Programming Techniques |
| | Generic programming is about generalizing software components so that they can be easily reused in a wide variety of situations. | | | An object generator may be more useful than a plain constructor when the exact type to be generated is difficult or impossible to express and the result of the generator can be passed directly to a function rather than stored in a variable. | | | In C++, class and function templates are particularly effective mechanisms for generic programming because they make the generalization possible without sacrificing efficiency. |
|
http://www.boost.org/more/generic_programming.html
(1393 words)
|
|
| |
| | Amazon.com: Generic Programming and the STL: Using and Extending the C++ Standard Template Library: Books: Matthew H. ... |
| | Generic programming, unlike object-oriented programming, does not require you to call functions through extra levels of indirection; it allows you to write a fully general and reusable algorithm that is just as efficient as an algorithm handcrafted for a specific data type. | | | Exploring the idea of a generic algorithm leads naturally to the central ideas of concepts, modeling, and refinement, ideas that are as basic to generic programming as polymorphism and inheritance are to object-oriented programming. | | | A generic algorithm is written by abstracting algorithms on specific types and specific data structures so that they apply to arguments whose types are as general as possible. |
|
http://www.amazon.com/exec/obidos/ASIN/0201309564
(4605 words)
|
|
| |
| | Workshop on Datatype-Generic Programming |
| | Generic functional programming is based on the idea of functors for data structures. | | | Refactorings are meaning-preserving source-to-source program transformations, usually with the goal to implement design-level changes at the level of program source code. | | | Polytypic Programming in the Context of Logic Programming |
|
http://web.comlab.ox.ac.uk/oucl/research/areas/ap/dgp/workshop2004
(1811 words)
|
|
| |
| | The PacSoft WWW Server |
| | Generic programming is about making programs more adaptable by making them more general. | | | Johan Jeuring In my research I focus on the construction of both programs that work for large classes of datatypes (`polytypic programs'), and a programming language feature that supports writing polytypic programs. | | | Recent developments in functional and object-oriented programming lead the organizers of this workshop to believe that there is sufficient interest to warrant the organisation of a one-day workshop on the theme of generic programming. |
|
http://www.cse.ogi.edu/PacSoft/conf/wgp
(1672 words)
|
|
| |
| | SSGP: Further Information |
| | Generic programming adds a new dimension to the parametrisation of programs by allowing programs to be dependent on the structure of the data that they manipulate. | | | A generic program is one that the programmer writes once, but which can be applied to values of many different data types. | | | Category theory provides a very general language within which one can study mathematical objects via transformations of the objects, rather than the internal structure of the objects themselves; for example we might describe a set simply by stating that it is in bijection with another set. |
|
http://web.comlab.ox.ac.uk/oucl/research/pdt/ap/ssgp/info.html
(1132 words)
|
|
| |
| | Generic Programming Resources [Guntram Berti, TU Cottbus] |
| | Generic programming is a technique aiming at writing programs as general as possible, without sacrificing efficiency by doing overgeneralization. | | | VIGRA (Vision with Generic Algorithm) - Ullrich Köthe's Computer vision and image processing library. | | | This is an ``open'' interface in the sense that any graph library that implements this interface will be interoperable with the BGL generic algorithms and with other algorithms that also use this interface. |
|
http://www.math.tu-cottbus.de/~berti/research/generic.html
(983 words)
|
|
| |
| | Generic Programming |
| | A large part of the activity of generic programming, particularly in the design of generic software components, consists of concept development--identifying sets of requirements that are general enough to be met by a large family of abstractions but still restrictive enough that programs can be written that work efficiently with all members of the family. | | | My working definition of generic programming is "programming with concepts," where a concept is defined as a family of abstractions that are all related by a common set of requirements. | | | My current research is largely focused on generic programming technology, including theory, concept development/formalization, and component development. |
|
http://www.cs.rpi.edu/~musser/gp
(253 words)
|
|
| |
| | Dr. Dobb's Journal Interview with Alex Stepanov |
| | In one sense, generic programming is a natural continuation of the fundamental ideas of object-oriented programming---separating the interface and implementation and polymorphic behavior of the components. | | | The fundamental idea of generic programming is to classify abstract software components and their behavior and come up with a standard taxonomy. | | | I think that generic programming can influence language research and that we will have practical languages, which are easy to use and are well suited for that style of programming. |
|
http://www.sgi.com/tech/stl/drdobbs-interview.html
(6689 words)
|
|
| |
| | Prototyping Generic Programming using Template Haskell |
| | Functional generic programming extends functional programming with the ability to parameterize functions on the structure of a datatype. | | | The topic of this dissertation is the implementation of functional generic programming. | | | In answer to the second question we show how generic programming can be embedded in Haskell by exploiting the class system. |
|
http://www.cs.chalmers.se/~ulfn/papers/lic.html
(237 words)
|
|
| |
| | Book Guide - Generic Programming and the STL |
| | The STL is an example of the generic programming paradigm. | | | Generic Programming and the STL is unique because of the approach it takes in describing the STL in terms of "concepts." | | | It is a collection of predefined class and function templates, but it is also a collection of "concepts" that specify how the STL components collaborate and how the STL can be extended. |
|
http://archive.devx.com/free/books/bookview.asp?content_id=1335
(184 words)
|
|
| |
| | Generic Programming for XML Tools - Jeuring, Hagg (ResearchIndex) |
| | Abstract: A generic program is written once, and works on values of a large class of data types (or DTD's, schemas, structures, class hierarchies). | | | This paper shows how generic programming can be used to implement XML tools such as XML editors, databases, and compressors, that depend on the DTD of an input XML document. | | | 0.4: Generic Haskell: A Language for Generic Programming (NWO-EW.. |
|
http://citeseer.ist.psu.edu/jeuring02generic.html
(671 words)
|
|
| |
| | andrew cooke: an introduction to programming languages |
| | Structure and Interpretation of Computer Programs is a good book on programming in general that uses Scheme. | | | Programming, therefore, is at a higher level than in the imperative languages. | | | Mercury is another logic programming language (it can also be used as a general-purpose functional language) that trades some slight losses in generality for much faster execution. |
|
http://www.acooke.org/andrew/writing/lang.html
(6766 words)
|
|
| |
| | Generic Programming Links |
| | The foundation of the Matrix Template Library is generic programming, which means that the user of MTL should have some familiarity with the concepts associated with generic programming, and especially with the STL. | | | The principal idea behind generic programming is that many algorithms can be abstracted away from the particular data structures on which they operate. | | | If data structures provide a standard interface for these operations, generic algorithms can be freely mixed and matched with data structures (called Containers in STL). |
|
http://www.osl.iu.edu/research/mtl/generic.php3
(670 words)
|
|
| |
| | Programming with Universes |
| | In programming we are interested in much smaller universes, modelling a collection of datatypes over which we want to use in generic programming. | | | There are a number of well known programs which are generic for that universe, e.g. | | | Sich a universe is given by a type of codes for types, Data : * and a family of values, indexed by data, Val : Data -> *. |
|
http://www.cs.nott.ac.uk/~txa/oxford04
(427 words)
|
|
| |
| | Datatype-Generic Programming |
| | Moreover, datatype-generic programming is a precisely-defined notion with a rigorous mathematical foundation, in contrast to generic programming in general and the C++ template mechanism in particular, and thereby offers the prospect of better static checking and a greater ability to reason about generic programs. | | | We aim to develop a calculus for constructing datatype-generic programs, with the ultimate goal of improving the state of the art in generic object-oriented programming, as occurs for example in the C++ Standard Template Library. | | | The project is to develop a novel mechanism for parametrizing programs, namely parametrization by a datatype or type constructor. |
|
http://www.comlab.ox.ac.uk/research/areas/ap/dgp
(826 words)
|
|
| |
| | Programming Language Comparison |
| | Reflection is the ability for a program to determine various pieces of information about an object at run-time. | | | When one considers that most living objects in a program are stored in container classes, and that containers in Java are untyped due to lack of generics, it is questionable whether Java's type system provides any benefit over the more flexible dynamic counterparts. | | | Thus, while object-oriented languages strive to remain at a fairly high level of abstraction, to be suitable for systems programming a language must provide such features or relegate such low-level tasks to a language with which it can interact. |
|
http://www.jvoegele.com/software/langcomp.html
(5997 words)
|
|
| |
| | The Problem with .NET Generics - OSNews.com |
| | Another area where generic arithmetic types are important is the very large field of numerical programming, including mundane types such as vectors and matrices as well as more esoteric types like complex numbers and quaternions. | | | The most obvious application of generics in the framework class library are the generic collections in the new System.Collections.Generic namespace. | | | See for example the Point and PointF structures in the System.Drawing namespace, which could be implemented as a single type using generics. |
|
http://www.osnews.com/story.php?news_id=7930
(724 words)
|
|
| |
| | Polytypic programming at Chalmers |
| | Universes for Generic Programs and Proofs in Dependent Type Theory, In press for Nordic Journal of Computing, 2004. | | | Functional Generic Programming and Type Theory, Master's thesis, Computing Science, Chalmers, 2002. | | | Polytypic Programming and Dependent Types, Project report, Computing Science, Chalmers, 2001. |
|
http://www.cs.chalmers.se/~patrikj/poly
(515 words)
|
|
| |
| | Motor: Windows PC Generic Programming |
| | So the EPA led a move to "generic programming" a single device for all makes-which is covered by SAE document J2534. | | | In a typical scenario, the specific program checks the software level in the car computer and compares it with what's available at the factory website. | | | With other on-board computers, you might have to check the calibration and compare it with an on-website chart of the latest numbers to determine if there's an upgrade to install. |
|
http://www.findarticles.com/p/articles/mi_qa3828/is_200409/ai_n9452047
(703 words)
|
|
| |
| | [No title] |
| | The generic definition is more like a blueprint; the runtime constructs the type-specific instances, modifying the general syntax based on whether the type argument is a reference or value type. | | | In the example, both the generic and template stack classes support a string and an integer class out of the same parameterized class source code. | | | Unlike type arguments for functions instantiations, the type arguments for class instantiations are never deduced from the context in which the class instantiation is usedâ”what that means will be made clear in a future column on parameterized functions and function type deduction. |
|
http://msdn.microsoft.com/msdnmag/issues/05/04/PureC/default.aspx
(2257 words)
|
|
| |
| | Scrap your boilerplate: a practical approach to generic programming |
| | These generic programs are much more robust to data structure evolution because they contain many fewer lines of type-specific code. | | | The "scrap your boilerplate" approach to generic programming allows the programmer to generic functions that can traverse arbitrary data structures, and yet have type-specific cases. | | | Our technique allows most of this boilerplate to be written once and for all (perhaps even mechanically generated), leaving the programmer free to concentrate on the important part of the algorithm. |
|
http://research.microsoft.com/~simonpj/papers/hmap
(428 words)
|
|
| |
| | Generic and Polytypic Programming |
| | "Scrap your boilerplate: a practical approach to generic programming". | | | Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture. | | | International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002). |
|
http://haskell.readscheme.org/generic.html
(203 words)
|
|
| |
| | Java Programming, Main Index |
| | ELCOME TO Introduction to Programming Using Java, the fourth edition of a free, on-line textbook on introductory programming, which uses Java as the language of instruction. | | | On any versin of Windows, this archive can be extracted with WinZip, or with the free program, Aladdin Stuffit Expander for Windows, available from http://www.stuffit.com/expander/. | | | Previous versions have been used as a textbook for an introductory programming class at Hobart and William Smith Colleges. |
|
http://math.hws.edu/javanotes
(587 words)
|
|
| |
| | [No title] |
| | That is, you might want to provide a template that matches a general template except that some of the template parameters have been replaced by actual types or values. | | | Ordinarily, I would use the generic min algorithm, but that would only help me as a programmer, not as author of an article on template specialization. | | | The reasoning behind this is that an explicitly implemented function is in a sense more real than an instance created from a general blueprint. |
|
http://msdn.microsoft.com/msdnmag/issues/05/08/PureC/default.aspx
(2779 words)
|
|
| |
| | Stroustrup: The C++ Programming Language (Third Edition) |
| | His research interests include distributed systems, operating systems, simulation, and programming. | | | That is what it takes to write a good programming book (and even so some errors got missed). | | | templates as the basis for type safe generic software |
|
http://www.research.att.com/~bs/3rd.html
(721 words)
|
|
| |
| | Generic Programming / Dagstuhl |
| | A Generic Programming Environment for High-Performance Mathematical Libraries. | | | Applications of the Generic Programming Paradigm in the Design of CGAL. | | | Software Development in PVS Using Generic Development Steps. |
|
http://www.informatik.uni-trier.de/~ley/db/conf/dagstuhl/generic1998.html
(167 words)
|
|
| |
| | generic programming - OneLook Dictionary Search |
| | generic programming : Free On-line Dictionary of Computing [home, info] | | | Jump to: General, Art, Business, Computing, Medicine, Miscellaneous, Religion, Science, Slang, Sports, Tech, Phrases | | | We found 2 dictionaries with English definitions that include the word generic programming: |
|
http://www.onelook.com/cgi-bin/cgiwrap/bware/dofind.cgi?word=generic+programming
(81 words)
|
|
| |
| | Stroustrup: C++ |
| | High-performance numerical libraries provide excellent tests for interesting new programming techniques: The Object-Oriented Numerics Page is a list of libraries, projects, and mailing lists. | | | This should be of particular interest to programmers of embedded systems. | | | C++ is a general purpose programming language with a bias towards systems programming that |
|
http://www.research.att.com/~bs/C++.html
(923 words)
|
|
|
