Termorshuizen, F., Wierdsma, A., Visser, E., Drukker, M., Sytema, S., Laan, W., Smeets, H.M. & Selten, J.P. (2012). Psychosis and suicide risk by ethnic origin and history of migration in the Netherlands. Schizophrenia Research, 138(2-3), 268-273.
|
Wierdsma, A., Driessen, G.A., Smeets, H.M. & Visser, E. (2012). [Regional differences in the care and treatment of compulsory admissions in the Netherlands]. Tijdschrift voor Psychiatrie, 54(9), 777-783.
|
Smit, C., Boon, W.P.C., Evers, M.P.J., Meyboom, R.H.B. & Visser, E. (2010). Tweede evaluatie WMO: Aandacht voor de positie van het prefpersonenlid en de patient is dringend gewenst. Tijdschrift voor Gezondheidsrecht, 4, 305-306.
|
Dolstra, E. & Visser, E. (2007). Automated Software Testing and Release with Nix Build Farms. In Verification and Validation of Software Systems (VVSS-2007).
|
Bravenboer, M. & Visser, E. (2007). Designing Syntax Embeddings and Assimilations for Language Libraries. In Proceedings of the 4th International Workshop on Software Language Engineering (ATEM 2007).
|
Visser, E., Pijl, Y.J., Stolk, R.P., Neeleman, J. & Rosmalen, J.G. (2007). Accident proneness, does it exist? A review and meta-analysis. Accident Analysis & Prevention, 39(3), 556-564.
|
Bouwers, E., Bravenboer, M. & Visser, E. (2007). Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In Proceedings of LDTA'07, Seventh Workshop on Language Descriptions, Tools and Applications at ETAPS'07.
|
Bravenboer, M., Dolstra, E. & Visser, E. (2007). Preventing Injection Attacks with Syntax Embeddings. A Host and Guest Language Independent Approach. In Proceedings of the Sixth International Conference on Generative Programming and Component Engineering (GPCE 2007).
|
Bravenboer, M. & Visser, E. Program Transformation with Stratego/XT. Braga, Portugal, the European Joint Conferences on Theory and Practice of Software (ETAPS 2006).
|
Kalleberg, K.T. & Visser, E. (2006). Combining Aspect-Oriented and Strategic Programming. In Horatiu Cirstea & Narciso Marti-Oliet (Eds.), Workshop on Rule-Based Programming (RULE'05) (pp. 5-30). Nara, Japan: Elsevier Science Publishers.
|
Junginger, H.M., Koornneef, J.M., Visser, E. & Faaij, A.P.C. Cost Reductions and Technological Learning in Biomass Combustion. ThermalNet Newsletter, pp. 28-29.
|
Bravenboer, M., Tanter, E. & Visser, E. (2006). Declarative, formal, and extensible syntax definition for AspectJ. In Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA'06) (pp. 209-228). Portland, Oregon, USA: ACM Press.
|
Bravenboer, M., Groot, R. de & Visser, E. (2006). MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT. In R. L"ammel & J. Saraiva (Eds.), Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05) (pp. 297-311). Braga, Portugal: Springer Verlag.
|
Bravenboer, M., Groot, R. de & Visser, E. (2006). MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT. (UU-CS2006-009 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Bravenboer, M., Dam, A. van, Olmos, K. & Visser, E. (2006). Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69, 123-178.
|
Bravenboer, M., Kalleberg, K.T., Vermaas, K. & Visser, E. (2006). Stratego/XT 0.16. Components for Transformation Systems. In ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM'06). Charleston, South Carolina: ACM SIGPLAN.
|
Junginger, H.M., Visser, E., Hjort-Gregersen, K., Koornneef, J.M., Raven, R., Faaij, A.P.C. & Turkenburg, W.C. (2006). Technological learning in bioenergy systems. Energy Policy, 34(18), 4024-4041.
|
Visser, E. (2005). A Survey of Strategies in Rule-Based Program Transformation Systems. (UU-CS2005-022 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Visser, E. (2005). A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of symbolic computation, 40, 831-873.
|
Bagge, A.H., Bravenboer, M., Kalleberg, K.T., Muilwijk, K. & Visser, E. (2005). Adaptive Code Reuse by Aspects, Cloning and Renaming. (UU-CS2005-031 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Kalleberg, Karl Trygv & Visser, E. (2005). Combining Aspect-Oriented and Strategic Programming. In Horatiu Cirstea & Narciso Marti-Oliet (Eds.), Workshop on Rule-Based Programming (RULE'05). Nara, Japan: Elsevier Science Publishers.
|
Olmos, K.R. & Visser, E. (2005). Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In Rastislav Bodik (Ed.), 14th International Conference on Compiler Construction (CC'05) (pp. 204-220). Springer-Verlag.
|
Olmos, K.R. & Visser, E. (2005). Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. (UU-CS2005-006 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Blok, K. & Visser, E. (2005). Energiebesparing: de onbegrensde mogelijkheden. Utrecht, the Netherlands: Ecofys BV.
|
Bravenboer, M., Vermaas, R.B., Vinju, J. & Visser, E. (2005). Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. In Robert Glück & Mike Lowry (Eds.), Proceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE'05) (pp. 157-172). Tallinn, Estonia: Springer.
|
Bravenboer, M., Vermaas, R.B., Vinju, J. & Visser, E. (2005). Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax. (UU-CS2005-035 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Ramirez, C.A., Faaij, A.P.C., Hendriks, C., Visser, E., Best-Waldhober, M. de & Daamen, D. (2005). Interim report decission support NGO's. Problem analysis and expert information on carbon dioxide emission reduction options for the Netherlands. Utrecht, the Netherlands: Department of Science, Technology and Society, Copernicus Institute.
|
Bravenboer, M., Groot, R. de & Visser, E. (2005). MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT. In Participants Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05). Braga, Portugal.
|
Kallenberg, T. & Visser, E. (2005). Proceedings of the Sixth Stratego Users Day. (UU-CS2005-053 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Bravenboer, M., Dam, A. van, Olmos, K.R. & Visser, E. (2005). Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69, 1-56.
|
Bravenboer, M., Dam, A. van, Olmos, K.R. & Visser, E. (2005). Program Transformation with Scoped Dynamic Rewrite Rules. (UU-CS2005-005 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Dolstra, E., Bravenboer, M. & Visser, E. (2005). Service Configuration Management. In Jr. E. James Whitehead & Annita.Per Dahlqvist (Eds.), 12th International Workshop on Software Configuration Management (SCM-12) (pp. 83-98). ACM.
|
Dolstra, E., Bravenboer, M. & Visser, E. (2005). Service Configuration Management. (UU-CS2005-039 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Bravenboer, M., Kallenberg, T., Vermaas, R.B. & Visser, E. (2005). Stratego/XT 0.16. Components for Transformation Systems. (CS-UU2005-052 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Bravenboer, M., Kalleberg, K.T., Vermaas, R.B. & Visser, E. (2005). Stratego/XT Tutorial, Examples, and Reference Manual for Stratego/XT 0.16.
|
Visser, E. (2005). The Stratego/XT BibTeX Tools. Tool documentation.
|
Visser, E. (2005). Transformations for Abstractions. In Jens Krinke & Giulio Antoniol (Eds.), Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) (pp. 3-12). Budapest, Hungary: IEEE Computer Society Press.
|
Visser, E. (2005). Transformations for Abstractions. (UU-CS2005-034 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Fischer, B. & Visser, E. (2004). Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). In M. Bruynooghe (Ed.), 13th International Symposium Logic Based Program Synthesis and Transformation (pp. 56-58). Heidelberg: Springer-Verlag.
|
Bravenboer, M. & Visser, E. (2004). Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In D.C. Schmidt (Ed.), Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA'04) (pp. 365-383). Vancouver, Canada: ACM Press.
|
Dolstra, E., Visser, E. & Jonge, M. de (2004). Imposing a Memory Management Discipline on Software Deployment. In J. Estublier & D. Rosenblum (Eds.), 26th International Conference on Software Engineering (ICSE 2004) (pp. 583-592). IEEE Computer Society.
|
Dolstra, E., Visser, E. & Jonge, M. de (2004). Imposing a Memory Management Discipline on Software Deployment. (UU-CS2004-44 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Dolstra, E., Jonge, M. de & Visser, E. (2004). Nix: A Safe and Policy-Free System for Software Deployment. (UU-CS2004-045 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Dolstra, E., Jonge, M. de & Visser, E. (2004). Nix: A Safe and Policy-Free System for Software Deployment. In L. Damon (Ed.), Proceedings of the 14th Systems Administration Conference (LISA 2004). USENIX Association.
|
Karsai, G. & Visser, E. (Eds.). (2004). Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE 2004). Vancouver, Canada: Springer.
|
Visser, E. (2004). Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9. (UU-CS2004-011 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Visser, E. (2004). Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In C. Lengauer (Ed.), Domain-Specific Program Generation (pp. 216-238). Spinger-Verlag.
|
Fischer, B. & Visser, E. (2004). Retrofitting the AutoBayes Program Synthesis System with Concrete Object Syntax. In C. Lengauer (Ed.), Domain-Specific Program Generation (pp. 239-253). Spinger-Verlag.
|
Fischer, B. & Visser, E. (2004). Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax. (UU-CS2004-012 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Bravenboer, M. & Visser, E. (2004). Reusable and Adaptable Strategies for Generative Programming. In M. Haveraaen (Ed.), GPCE Software Transformation Systems Workshop (STSW'04). Vancouver, Canada.
|
Junginger, H.M., Visser, E., Faaij, A.P.C. & Claeson Colpier, U. (2004). Technological learning and cost reductions of biomass CHP combustion plants-the case of Sweden. In W.P.M. van Swaaij, T. Fjallstrom, P. Helm & A. Grassi (Eds.), Proceedings of the Second World Conference and Technology Exhibition on Biomass for Energy, Industry and Climate Protection (pp. 86-91). Florence/Munich: ETA-Florence/WIP-Munich.
|
Dolstra, E., Florijn, G., Jonge, M. de & Visser, E. (2004). Transparantie in variabiliteit: Heldere keuzes in een eenduidige configuratieomgeving. Informatie, 46, 18-21.
|
Fischer, B. & Visser, E. (2003). Adding Concrete Syntax to a Prolog-based Program Synthesis System (Extended Abstract). In Maurice Bruynooghe (Ed.), Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR'03) (pp. 39-48). Uppsala, Sweden: Department of Computer Science, K. U. Leuven.
|
Dolstra, E., Florijn, G. & Visser, E. (2003). Capturing Timeline Variability with Transparent Configuration Environments. (UU-CS2003-051 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Dolstra, E., Florijn, G., Jonge, M. de & Visser, E. (2003). Capturing Timeline Variability with Transparent Configuration Environments. In Jan Bosch & Peter Knauber (Eds.), IEEE Workshop on Software Variability Management (SVM'03). Portland, Oregon: IEEE.
|
Bagge, O.S., Kalleberg, K.T., Haveraaen, M. & Visser, E. (2003). Design of the {CodeBoost} Transformation System for. In D. Binkley & P. Tonnela (Eds.), Third IEEE International Workshop on Source Code Analysis (pp. 65-74). Amsterdam: IEEE Computer Society Press.
|
Wijngaarden, J. van & Visser, E. (2003). Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems. (UU-CS2003-048 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Lämmel, R., Visser, E. & Visser, J. (2003). Strategic Programming Meets Adaptive Programming. In Proceedings of Aspect-Oriented Software Development (AOSD'03) (pp. 168-177). Boston, USA: ACM Press.
|
Johann, P. & Visser, E. (2003). Strategies for Fusing Logic and Control via Local, Application-Specific Transformations. (UU-CS2003-050 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Dolstra, E., Florijn, G. & Visser, E. (2003). Timeline Variability: The Variability of Binding Time of Variation Points. In Workshop on Software Variability Modeling (SVM'03). Groningen, The Netherlands.
|
Dolstra, E., Florijn, G. & Visser, E. (2003). Timeline Variability: The Variability of Binding Time of Variation Points. (UU-CS2003-052 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Olmos, K.R. & Visser, E. (2003). Turning Dynamic Typing into Static Typing by Program Specialization. In D. Binkley & P. Tonella (Eds.), Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03) (pp. 141-150). Amsterdam, The Netherlands: IEEE Computer Society Press.
|
Olmos, K.R. & Visser, E. (2003). Turning dynamic typing into static typing by program specialization. (UU-CS2003-049 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Dolstra, E. & Visser, E. (2002). Building interpreters with rewriting strategies. In M. van den Brand & R. Lämmel (Eds.), Workshop on Language Descriptions, Tools and Applications (LDTA'02), in Electronic Notes in Theoretical Computer Science. Grenoble, France: Elsevier Science Publishers.
|
Dolstra, E. & Visser, E. (2002). Building interpreters with rewriting strategies. (UU-CS2002-022 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Brand, M. van den, Scheerder, J., Vinju, J. & Visser, E. (2002). Disambiguation filters for scannerless generalized LR parsers. In N. Horspool (Ed.), Compiler Construction (CC'02) (pp. 143-158). Grenoble, France: Springer-Verlag.
|
Visser, E. (2002). Meta-programming with concrete object syntax. (UU-CS2002-028 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Visser, E. (2002). Meta-programming with concrete object syntax. In D. Batory, C. Concel & W. Taha (Eds.), Generative Programming and Component Engineering (GPCE'02) (pp. 299-315). Pittsburgh, PA, USA: Springer-Verlag.
|
Fischer, B. & Visser, E. (Eds.). (2002). Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02). Pittsburgh, PA, USA: Association for Computing Machinery.
|
Bravenboer, M. & Visser, E. (2002). Rewriting Strategies for Instruction Selection. (UU-CS2002-021 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Bravenboer, M. & Visser, E. (2002). Rewriting strategies for instruction selection. In S. Tison (Ed.), Rewriting Techniques and Applications (RTA'02) (pp. 237-251). Copenhagen, Denmark: Springer-Verlag.
|
Olmos, K.R. & Visser, E. (2002). Strategies for Source-to-Source Constant Propagation. (UU-CS2002-042 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Olmos, K.R. & Visser, E. (2002). Strategies for source-to-source constant propagation. In B. Gramlich & S. Lucas (Eds.), Workshop on Reduction Strategies (WRS'02) (pp. 20). Copenhagen, Denmark: Elsevier Science Publishers.
|
Visser, E. (Ed.). (2002). ACM Transactions on Programming Languages and Systems.
|
Visser, E. (Ed.). (2002). ACM Transactions on Software Engineering and Methodology..
|
Visser, E. (Ed.). (2002). International Conference on Functional Programming.
|
Visser, E. (Ed.). (2002). International Conference on Logic Programming.
|
Visser, E. (Ed.). (2002). Theoretical Computer Science.
|
Deursen, A. van & Visser, E. (2002). The reengineering wiki. In Proceedings 6th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 217-220). IEEE Computer Society.
|
Visser, E. (2001, May 26). A Survey of Rewriting Strategies in Program Transformation Systems. Utrecht, Workshop on Reduction Strategies in Rewriting and Programming.
|
Visser, E. (2001). A survey of rewriting strategies in program transformation systems. In B. Gramlich & S. Lucas (Eds.), Workshop on Reduction Strategies in Rewriting and Programming. The Netherlands: Elsevier Science.
|
Visser, E. (2001). A survey of rewriting strategies in program transformation systems. (UU-CS2001-31 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Bagge, O.S., Haveraaen, M. & Visser, E. (2001). CodeBoost. A framework for transforming C++ programs. (UU-CS2001-32 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Jonge, M.V. de, Visser, E. & Visser, J. (2001). Collaborative software development. Amsterdam, The Netherlands: CWI.
|
Brand, M.G.J. van den, Scheerder, J., Vinju, J.J. & Visser, E. (2001). Disambiguation filters for scannerless generalized LR parsers. (UU-CS2001-39 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Dolstra, E. & Visser, E. (2001). First-class rules and generic traversal. (UU-CS2001-38 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Johann, P. & Visser, E. (2001). Fusing logic and control with local transformations: An example optimization. In B. Gramlich & S. Lucas (Eds.), Workshop on Reduction Strategies in Rewriting and Programming. Utrecht: Elsevier Science Publishers.
|
Johann, P. & Visser, E. (2001). Fusing logic and control with local transformations: an example optimization. (UU-CS2001-30 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Jonge, M.V. de, Visser, E. & Visser, J. (2001). GrammarBase-0.9 ( Software).
|
Bravenboer, M. & Visser, E. (2001). Guiding visitors: separating navigation from computation. (UU-CS2001-42 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Visser, E. (2001). Proceedings of the Second Stratego Users Day. (UU-CS2001-54 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Visser, E. (2001). Scoped dynamic rewrite rules. (UU-CS2001-29 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Visser, E. (2001). Scoped dynamic rewrite rules. In M. van den Brand & R. Verma (Eds.), Rule Based Programming, Rule '01. The Netherlands: Elsevier Science Publishers.
|
Visser, E. (2001). Stratego-0.6 (Software).
|
Visser, E. (2001). Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. (UU-CS2001-28 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Visser, E. (2001). Stratego: A language for program transformation based on rewriting strategies: System description of Stratego 0.5. In A. Middeldorp (Ed.), Rewriting Techniques and Applications, RTA '01 (pp. 357-361). Utrecht: Springer-Verlag.
|
Visser, E. (Ed.). (2001). 19th International Symposium on Theoretical Aspects of Computer Science (STACS 2002).
|
Visser, E. (Ed.). (2001). ACM Transactions on Software Engineering.
|
Visser, E. (Ed.). (2001). Journal of Logic and Algebraic Programming.
|
Visser, E. (Ed.). (2001). Science of Computer Programming.
|
Visser, E. (Ed.). (2001). Workshop on Language Definitions, Tools and Applications (LDTA2001).
|
Visser, E. (Ed.). (2001). Workshop on Rule-Based Programming (RULE 2001).
|
Brand, M.G.J. van den, Heering, J., Jong, H.A. de, Kuipers, T., Klint, P., Moonen, L., Olivier, P., Scheerder, J., Vinju, J.J., Visser, E., Visser, J. & Jonge, M.V. de (2001). The Asf+Sdf Meta-Environment: a component-based language laboratory. In R. Wilhelm (Ed.), Compiler Construction 2001 (pp. 365-368). Genova, Italy: Springer-Verlag.
|
Visser, E. (2001). Tiger in Stratego: An Exercise in Compilation by Transformation.
|
Jonge, M.V. de, Visser, E. & Visser, J. (2001). XT-0.9. (Software).
|
Jonge, M.V. de, Visser, E. & Visser, J. (2001). XT: A bundle of program transformation tools. In M.G.J. van den Brand & D. Perigot (Eds.), Electronic Notes in Theoretical Computer Science: Workshop on Language Descriptions, Tools and Applications. Elsevier Science Publishers.
|
Bagge, O.S., Haveraaen, M. & Visser, E. (2000). A C++ Transformation Framework (Extended Abstract). In Proceedings of the Nordic Workshop on programming Theory (NWPT2000). Bergen, Noorwegen.
|
Visser, E. (2000). Language Independent Traversals for Program Transformation. In J. Jeuring (Ed.), Workshop on Generic Programming. Utrecht: University Utrecht.
|
Visser, E. (2000). The Stratego Compiler, 0.5.
|
Visser, E. (2000). The Stratego Library, 0.5.
|
Visser, E. (2000). The Stratego Reference Manual.
|
Visser, E. (2000). The Stratego Tutorial, 0.5.
|
Johann, P. & Visser, E. (2000). Warm fusion in Stratego - A case study in the generation of program transformation systems. (UU-CS2000-43 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Johann, P. & Visser, E. (2000). Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of mathematical and artificial intelligence, 29(1-4), 1-34.
|
Visser, E. (1999). A Bootstrapped Compiler for Strategies (Extended Abstract). In B. Gramlich, H. Kirchner & F. Pfenning (Eds.), Strategies in Automated Deduction (STRATEGIES'99) (pp. 73-83). Trento, Italy: TU Wien.
|
Visser, E. (1999). Strategic Pattern Matching. In P. Narendran & M. Rusinowitch (Eds.), Rewriting Techniques and Applications (RTA'99) (pp. 30-44). Berlin, Germany: Springer - Verlag.
|
Visser, E. & Benaissa, Z. (1998). A Core Language for Rewriting. In C. Kirchner & H. Kirchner (Eds.), Second International Workshop on Rewriting Logic and its Applications. Elsevier.
|
Visser, E., Benaissa, Z. & Tolmach, A. (1998). Building Program Optimizers with Rewriting Strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (pp. 13-26). ACM Press.
|
Visser, E. & Moor, O. de (1986). How to prove the first and second incompleteness theorem using concatenation. (RUU-CS86-15 ). Utrecht.
|
webmaster@cs.uu.nl,
Sun, 26 May 2013 05:01:54 +0200
←
Departement Informatica, Universiteit Utrecht