A DSL for PIM Specifications: Design and Attribute Grammar based Implementation
Ivan Luković, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz, Pedro Rangel Henriques (2011)
Computer Science and Information Systems
Similarity:
Ivan Luković, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz, Pedro Rangel Henriques (2011)
Computer Science and Information Systems
Similarity:
Goran Nenadić (2004)
Review of the National Center for Digitization
Similarity:
Mieczysław Kłopotek, Adam Przepiórkowski, Sławomir Wierzchoń (2010)
Control and Cybernetics
Similarity:
Toma Tasovac (2005)
Review of the National Center for Digitization
Similarity:
Michal Stríženec (1974)
Kybernetika
Similarity:
Wolska, Magdalena
Similarity:
We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the...