Annual Review of Information Science and Technology, 44, Blaise Cronin (Ed.) |
Published by American Society for Information Science and Technology | 2010 | Annual Review of Information Science and Technology, 44, Blaise Cronin (Ed.) edition
Dminor is a data-modeling language based on M, the data-modeling language of Microsoft Oslo. Dminor provides extended compile-time checking of code, making use of an SMT (Satisfiability Modulo Theories) solver.