CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Treating JSON as a subset of XML In Proceedings
February 2012
-
State Space Reduction for Model Checking Agent Programs In Proceedings
S.-S.T.Q. Jongmans (Sung), K.V. Hindriks and M.B. van Riemsdijk
February 2012
-
Rascal Release 0.4.17 (alpha) Software
J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia) and T. van der Storm (Tijs)
February 2012 -
Rascal Release 0.4.18 (alpha) Software
J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)
February 2012 -
Rascal Release 0.4.16 (alpha) Software
J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy) and A. Izmaylova (Anastasia)
February 2012 -
Rascal Release 0.5.0 (alpha) Software
J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)
March 2012 -
Notation-Parametric Grammar Recovery In Proceedings
March 2012
-
Programming and Deployment of Active Objects with Application-Level Scheduling In Proceedings
B. Nobakht (Behrooz), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)
March 2012