Eelco Visser - 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]

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]

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [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]

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 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]

Checkmate: A Generic Static Analyzer of Java Multithreaded ProgramsPietro Ferrara. SEFM 2009: 169-178 [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]

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

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]

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XTMartin Bravenboer, René de Groot, Eelco Visser. GTTSE 2006: 297-311 [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]

Design patterns as higher-order datatype-generic programsJeremy Gibbons. ICFP 2006: 1-12 [doi]

A survey of strategies in rule-based program transformation systemsEelco Visser. JSC, 40(1):831-873, 2005. [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

Imposing a Memory Management Discipline on Software DeploymentEelco Dolstra, Eelco Visser, Merijn de Jonge. ICSE 2004: 583-592 [doi]

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

Code Flexibility and Program Efficiency by Genericity: Improving Cgal s ArrangementsEfi Fogel, Ron Wein, Dan Halperin. esa 2004: 664-676 [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]

Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. Dagstuhl 2004: 239-253 [doi]

Strategic programming meets adaptive programmingRalf Lämmel, Eelco Visser, Joost Visser. AOSD 2003: 168-177 [doi]

Generic Programming - Advanced LecturesRoland Carl Backhouse, Jeremy Gibbons, editors, Volume 2793 of Lecture Notes in Computer Science, Springer, 2003.

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

A Generic Program for Minimal Subsets with ApplicationsRudolf Berghammer. LOPSTR 2003: 144-157 [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

Stratego: A Language for Program Transformation Based on Rewriting StrategiesEelco Visser. RTA 2001: 357-362 [doi]

Guiding visitors: separating navigation from computationMartin Bravenboer, Eelco Visser. Technical Report UU-CS-2001-42, 2001.

Fusing Logic and Control with Local Transformations: An Example OptimizationPatricia Johann, Eelco Visser. ENTCS, 57:144-162, 2001. [doi]

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]

Language Independent Traversals for Program TransformationEelco Visser. In Workshop on Generic Programming (WGP 2000). 2000:

Warm fusion in Stratego: A case study in generation of program transformation systemsPatricia Johann, Eelco Visser. AMAI, 29(1-4):1-34, 2000. [doi]

SUCHTHAT - Generic Programming WorksSibylle Schupp, Rüdiger Loos. Dagstuhl 2000: 133-145 [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