The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics (such as rewriting logic, hidden equational logic, or first order logic), and providing the powerful module system of parameterized programming...All the OBJ languages are rigorously based upon a logical system; more precisely, they are logical languages, in the sense that their programs are sets of sentences in some logical system, and their operational semantics is given by deduction in that logical system.
From the page: "Children whose father's vocabulary was more varied when they were 2 years old had more advanced language skills at age 3. Surprisingly, the dads spoke less and asked fewer questions than the mothers, suggesting it was not how much they spo
J. Choi, A. Khlif, and E. Epure. Proceedings of the 1st Workshop on NLP for Music and Audio (NLP4MusA), page 23--27. Online, Association for Computational Linguistics, (2020)
J. Choi, A. Khlif, and E. Epure. Proceedings of the 1st Workshop on NLP for Music and Audio (NLP4MusA), page 23--27. Online, Association for Computational Linguistics, (2020)
D. Schlör, J. Pfister, and A. Hotho. 2023 the 7th International Conference on Medical and Health Informatics (ICMHI), page 136–141. New York, NY, USA, Association for Computing Machinery, (2023)
M. Schwab, R. Jäschke, and F. Fischer. Proceedings of the 6th International Conference on Natural Language and Speech Processing, page 99--109. Association for Computational Linguistics, (2023)
D. Schlör, J. Pfister, and A. Hotho. 2023 the 7th International Conference on Medical and Health Informatics (ICMHI), page 136–141. New York, NY, USA, Association for Computing Machinery, (2023)