Use the specification of the dictionary ADT (Abstract Data Type) shown below:- SPECIFICATION dictionary; INTERFACE USES string, Boolean, integer; FUNCTION empty_dictionary: dictionary; FUNCTION is_empty_dictionary (d: dictionary): boolean; FUNCTION insert_word_definition (word: string meaning: string d: dictionary ): dictionary; FUNCTION in_dictionary (word: string; d: dictionary): boolean; FUNCTION meaning_of (word: string; d: dictionary): string; FUNCTION cardinality (d: dictionary): integer; AXIOMS VAR s1: string; s2: string; d: dictionary; is_empty_dictionary (empty_dictionary) = true; is_empty (insert_word_definition (s1, s2, d)) = false; in_dictionary (s1, empty_dictionary) = false; in_dictionary (s1, insert_word_definition (s2, s3, d) = IF s1 = s2 THEN true ELSE in_dictionary (s1, d_; meaning_of (s1, empty_dictionary) = error; meaning_of (s1, insert_word_definition (s2, s3, d)) = IF s1= s2 THEN s3 ELSE meaning_of (s1, d); cardinality (empty_dictionary) = 0; cardinality (insert_word_definition (s1, s2, d)) = 1 + cardinality (d); END. Develop two implantations of the type dictionary using C++ and Java (or two other object-oriented programming languages).
1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done. 2) Installation package that will install the software (in ready-to-run condition) on the platform(s) specified in this bid request. 3) Complete ownership and distribution copyrights to all work purchased.
The software must be implemented i 2 different object oriented codes