Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!

dhr. prof. dr. P. (Paul) Klint

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Informatics Institute

  • Science Park 904
  • Publicaties


    • Klint, P. (2009). From Centaur to the Meta-Environment: A tribute to a great meta-technologist. In Y. Bertot, Y. Bertot, G. Huet, G. Huet, J-J. Lévy, & G. Plotkin (Eds.), From semantics to computer science: Essays in honour of Gilles Kahn (pp. 235-263). Cambridge: Cambridge University Press. [details]
    • Klint, P., Vinju, J., & van der Storm, T. (2009). Language design for meta-programming in the software composition domain. Lecture Notes in Computer Science, 5634, 1-4. https://doi.org/10.1007/978-3-642-02655-3_1 [details]


    • Bergstra, J. A., & Klint, P. (2008). The Software Invention Cube: A classification scheme for software inventions. Journal of Intellectual Property Rights, 13(4), 293-300. [details]
    • Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. S. (2008). Towards formal verification of ToolBus scripts. Lecture Notes in Computer Science, 5140, 160-166. https://doi.org/10.1007/978-3-540-79980-1_13 [details]


    • Klint, P., & Nawrocki, J. R. (1998). Software Engineering Education Symposium, SEES '98, November 18-20, 1998, Poznań, Poland: conference proceedings. Poznań: Scientific publishers OWN, Polish ac. of sciences. [details]


    • van Deursen, A., Heering, J., & Klint, P. (1996). Language prototyping: an algebraic specification approach. (AMAST series in computing; Vol. 5). Singapore: World Scientific Publishing Co. [details]


    • Landman, D. (2017). Reverse engineering source code: Empirical studies of limitations and opportunities. [details]
    • Steindorfer, M. J. (2017). Efficient Immutable Collections. [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden bekend