Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 13
Number of items: 13
  • Open Access
    Dormans, J. (2012). Engineering emergence: applied theory for game design. [Thesis, externally prepared, Universiteit van Amsterdam]. Creative Commons.
  • Brunekreef, J. J., & Diertens, B. (1999). Toward a user-controlled software renovation factory. In C. Verhoef, & P. Nesi (Eds.), Proceedings of the Third European Conference on Maintainance and Reengineering (pp. 83-90). IEEE Computer Society.
  • Apt, K. R., Brunekreef, J. J., Partington, V., & Schaerf, A. (1998). Alma-0 : An imperative language that supports declarative programming. ACM Transactions on Programming Languages and Systems, 20(5), 1014-1066.
  • Brunekreef, J. J. (1998). Annotated algebraic specification of the syntax and the semantics of the programming language \sf Alma-0. WINS (oud WINS).
  • Brunekreef, J. J. (1997). A transformation tool for pure Prolog programs. In J. P. Gallagher (Ed.), Logic Program Synthesis and Transformation. Proceedings of the 6th International Workshop, LOPSTR'96 (pp. 130-145). (LNCS; No. 1207). Springer-Verlag.
  • Brunekreef, J. J. (1997). An Algebraic Specification of a Transformation Tool for Prolog Programs. In M. P. A. Sellink (Ed.), Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97) Springer-Verlag.
  • Apt, K. R., Brunekreef, J. J., Partington, V., & Schaerf, A. (1997). Alma-0: An imperative language that supports declarative programming. (Technical Report; No. PNA-R9713). CWI.
  • Brunekreef, J. J. (1996). A Transformation Tool for Pure Prolog Programs. In Y. Y. Deville (Ed.), Benelog 1996 --- Eight Benelux Workshop on Logic Programming Universit'e catholique de Louvain.
  • Brunekreef, J. J. (1996). A transformation tool for pure Prolog programs: the algebraic specification. (Technical Report; No. P9607). onbekend (FdL).
  • Brunekreef, J. J., Katoen, J. P., Koymans, R. L. C., & Mauw, S. (1996). Design and analysis of dynamic leader election protocols in broadcast networks. Distributed Computing, 9, 157-171. https://doi.org/10.1007/s004460050017
Page 1 of 2