generic programming - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi]

2011

Generic Optimality Conditions for Semialgebraic Convex ProgramsJérôme Bolte, Aris Daniilidis, Adrian S. Lewis. mor, 36(1):55-70, 2011. [doi]

Efficient run-time dispatching in generic programming with minimal code bloatLubomir D. Bourdev, Jaakko Järvi. SCP, 76(4):243-257, 2011. [doi]

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic codeJacques Carette, Oleg Kiselyov. SCP, 76(5):349-375, 2011. [doi]

Data and Process Abstraction in PIPS Internal RepresentationFabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. WIR 2011: 77-84

A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsBenoit Combemale, Laure Gonnord, Vlad Rusu. In Seventh European Conference on Modelling Foundations and Applications. 2011:

Generic Model Transformations: Write Once, Reuse EverywhereJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT 2011: 62-77

MinIR, a Minimalistic Intermediate RepresentationJulien Le Guen, Christophe Guillon, Fabrice Rastello. WIR 2011: 5-12

A language for generic programming in the largeJeremy G. Siek, Andrew Lumsdaine. SCP, 76(5):423-465, 2011. [doi]

A Generic Component-Based Approach for Programming, Composing and Tuning Sensor SoftwareAmirhosein Taherkordi, Frédéric Loiret, Romain Rouvoy, Frank Eliassen. cj, 54(8):1248-1266, 2011. [doi]

From Programming to Modeling - and Back AgainMarkus Völter. IEEE Software, , 2011.

A generic optimising feature extraction method using multiobjective genetic programmingYang Zhang, Peter Rockett. asc, 11(1):1087-1097, 2011. [doi]

2010

Generic programming with C++ concepts and Haskell type classes - a comparisonJean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp. JFP, 20(3-4):271-302, 2010. [doi]

Corrective hints for type incorrect generic Java programsNabil El Boustani, Jurriaan Hage. PEPM 2010: 5-14 [doi]

Preventing injection attacks with syntax embeddingsMartin Bravenboer, Eelco Dolstra, Eelco Visser. SCP, 75(7):473-495, July 2010. [doi]

Weaving generic programming and traversal performanceBryan Chadwick, Karl J. Lieberherr. AOSD 2010: 61-72 [doi]

Algorithms for traversal-based generic programmingBryan Chadwick, Karl J. Lieberherr. ICFP 2010: 61-72 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

Prototyping a tool environment for run-time assertion checking in JML with Communication HistoriesStijn de Gouw, Frank S. de Boer, Jurgen J. Vinju. FTfJP 2010: [doi]

Experiments with a Generic Dantzig-Wolfe Decomposition for Integer ProgramsGerald Gamrath, Marco E. Lübbecke. wea 2010: 239-252 [doi]

Specifying generic Java programs: two case studiesAlain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko. LDTA 2010: 8 [doi]

Generic multiset programming for language-integrated queryingFritz Henglein, Ken Friis Larsen. ICFP 2010: 49-60 [doi]

Special Issue on Generic Programming EditorialRalf Hinze. JFP, 20(3-4):211-212, 2010. [doi]

A Generic Operational Metatheory for Algebraic EffectsPatricia Johann, Alex Simpson, Janis Voigtländer. lics 2010: 209-218 [doi]

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010Bruno C. d. S. Oliveira, Marcin Zalewski, editors, ACM, 2010.

Formal polytypic programs and proofsWendy Verbruggen, Edsko de Vries, Arthur Hughes. JFP, 20(3-4):213-269, 2010. [doi]

Reduce, Reuse, Recycle, Type-check. A survey of typed generic programming approachesVlad Vergu. SMP 2010:

Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing NetworksPascal Vicaire, Zhiheng Xie, Enamul Hoque, John A. Stankovic. rtas 2010: 269-278 [doi]

Arity-generic datatype-generic programmingStephanie Weirich, Chris Casinghino. plpv 2010: 15-26 [doi]

2009

Generic operations and capabilities in the JR concurrent programming languageHiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Yi Lin William Au Yeung, Aaron W. Keen, Ronald A. Olsson. Comp. Lang., Syst. \& Struct., 35(3):293-305, 2009. [doi]

Type-based termination of generic programsAndreas Abel. SCP, 74(8):550-567, 2009. [doi]

Checkmate: A Generic Static Analyzer of Java Multithreaded ProgramsPietro Ferrara. sefm 2009: 169-178 [doi]

A programmable, generic forwarding element approach for dynamic network functionalityRan Giladi, Niv Yemini. sigcomm 2009: 19-24 [doi]

A generic top-down dynamic-programming approach to prefix-free codingMordecai Golin, Xiaoming Xu, Jiajin Yu. soda 2009: 758-767 [doi]

Generating safe template languagesFlorian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme. GPCE 2009: 99-108 [doi]

On Language-Independent Model ModularisationFlorian Heidenreich, Jakob Henriksson, Jendrik Johannes, Steffen Zschaler. TAOSD, 5560, 2009.

tm_db: A Generic Debugging Library for Transactional ProgramsMaurice Herlihy, Yossi Lev. IEEEpact 2009: 136-145 [doi]

Generic programming in 3DRalf Hinze, Andres Löh. SCP, 74(8):590-628, 2009. [doi]

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [doi]

Synthesis of Functions Using Generic ProgrammingPieter W. M. Koopman, Rinus Plasmeijer. AAIP 2010: 25-49 [doi]

A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded SystemsDuhee Lee, Chang-Gun Lee, Kanghee Kim. rtss 2009: 93-104 [doi]

Type-safe diff for families of datatypesEelco Lempsink, Sean Leather, Andres Löh. In WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. 2009: [doi]

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in HaskellDaniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu. DSL 2009: 236-261 [doi]

Bridging the Gap between Algebraic Specification and Object-Oriented Generic ProgrammingIsabel Nunes, AntÃ³nia Lopes, Vasco Thudichum Vasconcelos. RV 2009: 115-131 [doi]

A generic platform for estimation of multi-threaded program performance on heterogeneous multiprocessorsAryabartta Sahu, M. Balakrishnan, Preeti Ranjan Panda. date 2009: 1018-1023 [doi]

Minimizing dependencies within generic classes for faster and smaller programsDan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup. OOPSLA 2009: 425-444 [doi]

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path ProblemsChangjing Wang, Jinyun Xue. faw 2009: 27-39 [doi]

Reusable, generic program analyses and transformationsJeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan. GPCE 2009: 5-14 [doi]

Generic programming with fixed points for mutually recursive datatypesAlexey Rodriguez Yakushev, Stefan Holdermans, Andres LÃ¶h, Johan Jeuring. ICFP 2009: 233-244 [doi]

A Generic Multi-dimensional Feature Extraction Method Using Multiobjective Genetic ProgrammingYang Zhang, Peter Rockett. ec, 17(1):89-115, 2009. [doi]

2008

Automatic software fault localization using generic program invariantsRui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund. SAC 2008: 712-717 [doi]

A comparison of c++ concepts and haskell type classesJean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz. ICFP 2008: 37-48 [doi]

Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning SystemsSanti Caballé. cisis 2008: 94-100 [doi]

Generic programming techniques for parallelizing and extending procedural finite element programsFehmi Cirak, Julian C. Cummings. ewc, 24(1):1-16, 2008. [doi]

Generating customized verifiers for automatically generated codeEwen Denney, Bernd Fischer. GPCE 2008: 77-88 [doi]

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party DevelopersMary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum. padl 2008: 133-149 [doi]

Generalized Semi-Infinite Programming: on generic local minimizersHarald GÃ¼nzel, Hubertus Th. Jongen, Oliver Stein. jgo, 42(3):413-421, 2008. [doi]

Extending grammars and metamodels for reuse: the Reuseware approachJakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann. IET Software, 2(3), 2008. [doi]

Expressive and safe static reflection with MorphJShan Shan Huang, Yannis Smaragdakis. PLDI 2008: 79-89 [doi]

DelosDLMS. From the DELOS vision to the implementation of a future digital library management systemYannis E. Ioannidis, Diego Milano, Hans-Jörg Schek, Heiko Schuldt. jodl, 9(2):101-114, 2008. [doi]

Generic framework for integration of programming languages into netbeans ideJan Jancura, Daniel Prusa. PEPM 2008: 123-124 [doi]

Libraries for Generic Programming in HaskellJohan Jeuring, Sean Leather, JosÃ© Pedro MagalhÃ£es, Alexey Rodriguez Yakushev. afp 2009: 165-229 [doi]

Language Parametric Module Management for IDEsPaul Klint, Taeke Kooiker, Jurgen J. Vinju. ENTCS, 203(2):3-19, 2008. [doi]

Aspect-oriented Prolog in a language processing contextWolfgang Lohmann, Günter Riedewald, Guido Wachsmuth. iee, 2(3), 2008. [doi]

A Generic Fault Countermeasure Providing Data and Program Flow IntegrityMarcel Medwed, Jörn-Marc Schmidt. fdtc 2008: 68-73 [doi]

A Model-Based Framework for Security Policy Specification, Deployment and TestingTejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon. MoDELS 2008: 537-552 [doi]

Comparing libraries for generic programming in haskellAlexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira. haskell 2008: 111-122 [doi]

Verification of Java Programs with GenericsKurt Stenzel, Holger Grandy, Wolfgang Reif. amast 2008: 315-329 [doi]

Oto, a generic and extensible tool for marking programming assignmentsGuy Tremblay, F. Guérin, A. Pons, Aziz Salah. SPE, 38(3):307-333, 2008. [doi]

Polytypic programming in COQWendy Verbruggen, Edsko de Vries, Arthur Hughes. ICFP 2008: 49-60 [doi]

Asymptotic Improvement of Computations over Free MonadsJanis Voigtländer. mpc 2008: 388-403 [doi]

2007

Preventing injection attacks with syntax embeddingsMartin Bravenboer, Eelco Dolstra, Eelco Visser. GPCE 2007: 3-12 [doi]

micrOMEGAs 2.0.7: a program to calculate the relic density of dark matter in a generic modelG. Bélanger, F. Boudjema, A. Pukhov, A. Semenov. cphysics, 177(11):894-895, 2007. [doi]

micrOMEGAs2.0: A program to calculate the relic density of dark matter in a generic modelG. Bélanger, F. Boudjema, A. Pukhov, A. Semenov. cphysics, 176(5):367-382, 2007. [doi]

A Generic Distributed Monitor Construct for Programming Process Synchronization in Distributed SystemsJiannong Cao, Miaomiao Wang, Weigang Wu, Xianbing Wang, Stephen C. F. Chan. ispa 2007: 695-706 [doi]

A Pretty Flexible API for Generic Peer-to-Peer ProgrammingGiuseppe Ciaccio. ipps 2007: 1-8 [doi]

A Prolog-oriented extension of Java programming based on generics and annotationsMaurizio Cimadamore, Mirko Viroli. pppj 2007: 197-202 [doi]

Transformation of structure-shy programs: applied to XPath queries and strategic functionsAlcino Cunha, Joost Visser. PEPM 2007: 11-20 [doi]

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problemJ. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt. TOPLAS, 29(3), 2007. [doi]

An extended comparative study of language support for generic programmingRonald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock. JFP, 17(2):145-205, 2007. [doi]

Generic Tableaux for Answer Set ProgrammingMartin Gebser, Torsten Schaub. ICLP 2007: 119-133 [doi]

Aspect Orientation for Your Language of ChoiceFlorian Heidenreich, Jendrik Johannes, Steffen Zschaler. In Proc. Workshop on Aspect-Oriented Modelling at MoDELS 2007. 2007:

Comparing approaches to generic programming in HaskellRalf Hinze, Johan Jeuring, Andres Löh. In SSDGP'06: Proceedings of the 2006 international conference on Datatype-generic programming. 2007: [doi]

Generic Binding of Object Oriented Programming Languages to RDF(S)Tobias Lehmann, Andreas Karcher. setp 2007: 125-132

On the Virtues of Generic Programming for Symbolic ComputationXin Li, Marc Moreno Maza, Éric Schost. iccS 2007: 251-258 [doi]

A new generic scheme for functional logic programming with constraintsFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. lisp, 20(1-2):73-122, 2007. [doi]

Optimizing java programs using generic typesEli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova. OOPSLA 2007: 829-830 [doi]

A Language for Generic Programming in the LargeJeremy G. Siek, Andrew Lumsdaine. corr, abs/0708.2255, 2007. [doi]

Creating Numerically Efficient FDTD Simulations Using Generic C++ ProgrammingIlya Valuev, A. Deinega, A. Knizhnik, B. Potapkin. iccsa 2007: 213-226 [doi]

Modular and generic programming with interpreterlibPhilip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander. ASE 2007: 473-476 [doi]

Practical generic programming in OCamlJeremy Yallop. ml 2007: 83-94 [doi]

PMT: a generic object-oriented parallel multithread programming interfaceXiaoqi Yang, Qilong Zheng, Guoliang Chen. infoscale 2007: 32 [doi]

Generic Component: A Generic Programming ApproachChen Yewang, Jiang Zhixiong, Zhao Wenyun, Peng Xin. IEEEcit 2007: 87-92 [doi]

2006

Generic feature modules: Two-staged program customizationSven Apel, Martin Kuhlemann, Thomas Leich. ICSOFT 2006: 127-132

In search of a program generator to implement generic transformations for high-performance computingAlbert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua. SCP, 62(1):25-46, 2006. [doi]

ALBA: A Generic Library for Programming Mobile Agents with PrologBenjamin Devèze, Caroline Chopinaud, Patrick Taillibert. promas 2007: 129-148 [doi]

A generic optimizer interface for programming-free optimization systemsHongbing Fang, Mark F. Horstemeyer. aes, 37(6):360-369, 2006. [doi]

Generic Process Algebra: A Programming ChallengePaula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa. jucs, 12(7):922-937, 2006. [doi]

On Optimising Shape-Generic Array Programs Using Symbolic Structural InformationKai Trojahner, Clemens Grelck, Sven-Bodo Scholz. IFL 2007: 1-18 [doi]

A generic view of Dantzig-Wolfe decomposition in mixed integer programmingFrançois Vanderbeck, Martin W. P. Savelsbergh. orl, 34(3):296-306, 2006. [doi]

PreviousNext