# Please note that Dependent ML (DML) is no longer under active development. As a language, it has already been fully incorporated into ATS. # Dependent ML (DML) is a conservative extension of the functional programming language ML. The type system of DML enriches that of ML with a restricted form of dependent types. This allows many interesting program properties such as memory safety and termination to be captured in the type system of DML and therefore be verified at compiler-time. # DML The current (undocumented) implementation of a DML type-checker can be found here, which is written in Objective Caml. The syntax of DML can be readily learned from the various examples included in the distribution given that one is already familiar with Standard ML. Also, termination checking is supported in this implementation. # de Caml is the Caml-light compiler extended with a front-end supporting DML style dependent types.
SQLRunner is a simple JDBC Client which helps Java developers with various methods. You can build, test and run select, update and DML statements (also callable statements with out put parameters) and export or import data in/from csv-files or XML-fi
L. Iffländer, J. Walter, S. Eismann, and S. Kounev. Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, page 1--4. New York, NY, USA, ACM, (2018)
L. Iffländer, J. Walter, S. Eismann, and S. Kounev. Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, page 1--4. New York, NY, USA, ACM, (2018)
L. Iffländer, J. Walter, S. Eismann, and S. Kounev. Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, page 1--4. New York, NY, USA, ACM, (2018)
S. Kounev, F. Brosig, and N. Huber. Software Engineering 2015, Fachtagung des GI-Fachbereichs Softwaretechnik, 17. - 20. März 2015, Dresden, Deutschland, Bonn, Germany, GI, (March 2015)
S. Kounev, N. Huber, F. Brosig, S. Spinner, and M. Baehr. Jan Jürjens, Kurt Schneider (Hrsg.): Software Engineering 2017 (SE 2017), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Germany, Hannover, Germany, Gesellschaft für Informatik (GI), (February 2017)
V. Ackermann, J. Grohmann, S. Eismann, and S. Kounev. Proceedings of 13th International Workshop on Models@run.time (MRT), co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), (October 2018)
J. von Kistowski, S. Eismann, N. Schmitt, A. Bauer, J. Grohmann, and S. Kounev. Proceedings of the 26th IEEE International Symposium on the Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, page 223--236. IEEE Computer Society, (September 2018)Acceptance Rate: 29.5\% (23/78).
J. Walter, S. Eismann, J. Grohmann, D. Okanovic, and S. Kounev. Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, page 53--56. New York, NY, USA, Association for Computing Machinery (ACM), (2018)
J. von Kistowski, S. Eismann, N. Schmitt, A. Bauer, J. Grohmann, and S. Kounev. Proceedings of the 26th IEEE International Symposium on the Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, page 223--236. IEEE Computer Society, (September 2018)Acceptance Rate: 29.5\% (23/78).
J. von Kistowski, S. Eismann, N. Schmitt, A. Bauer, J. Grohmann, and S. Kounev. Proceedings of the 26th IEEE International Symposium on the Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, page 223--236. IEEE Computer Society, (September 2018)Acceptance Rate: 29.5\% (23/78).
V. Ackermann, J. Grohmann, S. Eismann, and S. Kounev. Proceedings of 13th International Workshop on Models@run.time (MRT), co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), (October 2018)