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

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [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]

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]

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]

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]

Transformation of structure-shy programs: applied to XPath queries and strategic functionsAlcino Cunha, Joost Visser. PEPM 2007: 11-20 [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]

Type-Safe Two-Level Data TransformationAlcino Cunha, José Nuno Oliveira, Joost Visser. FM 2006: 284-299 [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

Source model analysis using the JJTraveler visitor combinator frameworkArie van Deursen, Joost Visser. SPE, 34(14):1345-1379, 2004. [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 Traversal over Typed Source Code RepresentationsJoost Visser. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, 2003.

Object-oriented tree traversal with JJForesterTobias Kuipers, Joost Visser. SCP, 47(1):59-87, 2003. [doi]

A Strafunski Application LetterRalf Lämmel, Joost Visser. PADL 2003: 357-375 [doi]

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

Design Patterns for Functional Strategic ProgrammingRalf Lämmel, Joost Visser. corr, cs.PL/0204015, 2002. [doi]

Design patterns for functional strategic programmingRalf Lämmel, Joost Visser. RULE 2002: 1-14 [doi]

Typed Combinators for Generic TraversalRalf Lämmel, Joost Visser. PADL 2002: 137-154 [doi]

Strategic polymorphism requires just two combinators!Ralf Lämmel, Joost Visser. corr, cs.PL/0212048, 2002. [doi]

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

Visitor Combination and Traversal ControlJoost Visser. OOPSLA 2001: 270-282 [doi]

Object-oriented Tree Traversal with JJForesterTobias Kuipers, Joost Visser. ENTCS, 44(2):34-58, 2001. [doi]

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

Dealing with Large BananasRalf Lämmel, Joost Visser, Jan Kort. In Proceedings of WGP' 00. 2000: [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.

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