Search results
Results: 99
Number of items: 99
-
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 University Press. http://homepages.cwi.nl/~paulk/publications/meta-technologist.pdf
-
Klint, P., Vinju, J., & van der Storm, T. (2009). Language design for meta-programming in the software composition domain. In A. Bergel, & J. Fabry (Eds.), Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings (pp. 1-4). (Lecture Notes in Computer Science; Vol. 5634). Springer. https://doi.org/10.1007/978-3-642-02655-3_1
-
Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. S. (2008). Towards formal verification of ToolBus scripts. In J. Meseguer, & G. Roşu (Eds.), Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 : proceedings (pp. 160-166). (Lecture Notes in Computer Science; Vol. 5140). Springer. https://doi.org/10.1007/978-3-540-79980-1_13
-
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. http://nopr.niscair.res.in/handle/123456789/1779
-
Bergstra, J. A., & Klint, P. (2007). About ``trivial'' software patents: The IsNot case. Science of Computer Programming, 64, 264-285. https://doi.org/10.1016/j.scico.2006.09.003
-
van den Brand, M. G. J., & Klint, P. (2007). ATerms for manipulation and exchange of structured data: It's all about sharing. Information and Software Technology, 49, 55-64. https://doi.org/10.1016/j.infsof.2006.08.009
Page 2 of 10