Daniel Lincke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged generic programming

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]

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

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

Special Issue on Generic Programming EditorialRalf Hinze. JFP, 20(3-4):211-212, 2010. [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]

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]

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]

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

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

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

Automatic software fault localization using generic program invariantsRui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund. SAC 2008: 712-717 [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]

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]

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]

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

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

Towards Generic Programming with Sized TypesAndreas Abel. mpc 2006: 10-28 [doi]

Programmable Agents for Generic Distributed AuthorisationNick Antonopoulos, James Heather, Roger M. A. Peel. ic 2005: 174-180

Alphabets in generic programmingJuha Kärkkäinen. stringology 2005: 163-173

Generic Programming and High-Performance LibrariesDouglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp. ijpp, 33(2-3):145-164, 2005. [doi]

Generic programming for high-performance scientific applicationsLie-Quan Lee, Andrew Lumsdaine. concurrency, 17(7-8):941-965, 2005. [doi]

Code Flexibility and Program Efficiency by Genericity: Improving Cgal s ArrangementsEfi Fogel, Ron Wein, Dan Halperin. esa 2004: 664-676 [doi]

Parametric Fortran - A Program Generator for Customized Generic Fortran ExtensionsMartin Erwig, Zhe Fu. PADL 2004: 209-223 [doi]

Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java ProgramsDiarmuid O Donoghue, James F. Power. csreaESA 2004: 192-198

Generic proofs for combinator-based generic programsFermín Reig. sfp 2006: 17-32

The implementation of generic smart pointers for advanced defensive programmingAnthony Savidis. SPE, 34(10):977-1009, 2004. [doi]

Generic Programming and High-Performance LibrariesJaakko Järvi, Andrew Lumsdaine, D. P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp. ipps 2004: [doi]

Universes for Generic Programs and Proofs in Dependent Type TheoryMarcin Benke, Peter Dybjer, Patrik Jansson. njc, 10(4):265-289, 2003.

A Generic Program for Minimal Subsets with ApplicationsRudolf Berghammer. LOPSTR 2003: 144-157 [doi]

GUPRO - Generic Understanding of ProgramsJürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter. ENTCS, 72(2):47-56, 2002. [doi]

The Complexity of Generic Primal Algorithms for Solving General Integer ProgramsAndreas S. Schulz, Robert Weismantel. mor, 27(4):681-692, 2002. [doi]

Discussion: The Role of Types in Generic Programmingifip2-1 2003: 121-126

Developing the Generic Path Algorithmic Program and its Instantiations Using PAR MethodJinyun Xue. aplas 2001: 159-169

A Generic Programming Extension for CleanArtem Alimarine, Marinus J. Plasmeijer. IFL 2002: 168-185 [doi]

Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected PapersMehdi Jazayeri, Rüdiger Loos, David R. Musser, editors, Volume 1766 of Lecture Notes in Computer Science, Springer, 2000.

Next-generation generic programming and its application to sparse matrix computationsNikolay Mateev, Keshav Pingali, Paul Stodghill, Vladimir Kotlyar. ics 2000: 88-99 [doi]

Generic Programming Redesign of PatternsThierry Géraud, Alexandre Duret-Lutz. EuroPLoP 2001: 283-294 [doi]

A Generic Approach to Monitor Program ExecutionsErwan Jahier, Mireille Ducassé. ICLP 1999: 139-153

SUCHTHAT - Generic Programming WorksSibylle Schupp, Rüdiger Loos. Dagstuhl 2000: 133-145 [doi]

Generic Programming in POOMA and PETEJames Crotinger, Julian Cummings, Scott Haney, William Humphrey, Steve Karmesin, John Reynders, Stephen Smith, Timothy J. Williams. Dagstuhl 2000: 218-231 [doi]

Generic System Support for Deductive Program DevelopmentAbdelwaheb Ayari, David A. Basin. TACAS 1996: 313-328

Generic Program Representation and Evaluation of Systolic Computations on MulticomputersBrian J. d Auriol, Virendrakumar C. Bhavsar. pdpta 1996: 1213-1224

Generic Programming (Abstract)Alexander A. Stepanov. ershov 1996: 40

A Generic Program for Sequential Decision ProcessesOege de Moor. plilp 1995: 1-23

Deriving Programs Using Generic AlgorithmsV. R. Yakhnis, J. A. Farrell, S. S. Shultz. IBMSJ, 33(1):158-181, 1994.

Generic ProgrammingDavid R. Musser, Alexander A. Stepanov. issac 1989: 13-25

Corrective Hints for Type Incorrect Generic Java ProgramsNabil El Boustani, Jurriaan Hage. PEPM 2010:

runs on WebDSL