Tworzenie języków specyfikacji dla zagadnień numerycznych

• Autorzy: Grosser A. , Sczygiol N.
• Języki publikacji: PL

Abstrakty

PL

Artykuł jest poświęcony zagadnieniu tworzenia języków specyfikacji dziedzinowej dla metod numerycznych. Pokazuje autorskie środowisko wspierające tworzenie takich języków ze szczególnym uwzględnieniem parserów i szablonów kodu. Opisano także wszystkie etapy budowy typowego, zewnętrznego jęezyka specyfikacji. Zaprezentowano również przykładowy język specyfikacji Finele, utworzony w wcześniej wymienionym środowisku, opisujący problemy rozwiązywane za pomoca˛metody elementów skończonych.

Słowa kluczowe

PL

tworzenie języków specyfikacji; generowanie kodu; gramatyki wyrażeń parsujących; metoda elementów skończonych

• Wydawca: Komisja Informatyki Polskiej Akademii Nauk, Oddział w Gdańsku
• Czasopismo: Metody Informatyki Stosowanej
• Rocznik: 2011
• Tom: nr 5
• Strony: 101--115
• Opis fizyczny: Bibliogr. 15 poz., rys., tab.

Twórcy

autor

Grosser A.

autor

Sczygiol N.

• Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Bibliografia

• [1] A. van Deursen, P. Klint, J. Visser. Domain-Specific Languages: An Annotated Bibliography. ACM SIGPLAN Notices, 35(6):26–36, June 2000.
• [2] M. Fowler. Domain Specific Languages. Addison-Wesley Professional, 2010.
• [3] B. Ford. Parsing Expression Grammars: A Recognition-Based Syntactic Foundation. Symposium on Principles of Programming Languages, pp. 111–122. ACM Press, 2004.
• [4] Maxima, a Computer Algebra System. http://maxima.sourceforge.net/ , 2003.
• [5] T. Parr. A Functional Language For Generating Structured Text. http://www.cs.usfca.edu/ ~parrt/papers/ST.pdf , 2006.
• [6] R. Ierusalimschy. A Text Pattern-Matching Tool based on Parsing Expression Grammars. Software: Practice and Experience, pp. 39(3):221–258, 2009.
• [7] N. Sharma, P. Wang. High-level User Input Specifications for Finite Element Code Generation. 1992. preprint.
• [8] B. Bagheri, R. Scott. About Analysa. http://people.cs.uchicago.edu/ ~ridg/ al/ aa.ps, 2003.
• [9] J. Riehl. Reflective techniques in extensible languages. PhD thesis, The University of Chicago, Department of Computer, 2008.
• [10] C. Prud’homme. Life: overview of a unified C++ implementation of the finite and spectral element methods in 1D, 2D and 3D. Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing, PARA’06, pp. 712–721. Springer-Verlag, 2007.
• [11] F. Hecht, O. Pironneau, A. L. Hyaric, K. Ohtsuka. Freefem++. Laboratoire Jacques-Louis Lions, Universit´e Pierre et Marie Curie, Paris, 2008.
• [12] P. Dular, C. Geuzaine. GetDP Reference Manual. University of Liege, 2012.
• [13] A. Grosser. Finele–Domain Specific Language for Linear Finite Element Method. 4th Polish and International PD Forum–Conference on Computer Science, pp. CD–ROM, 2008.
• [14] N. Sczygiol, A. Grosser. Finele–j˛ezyk specyfikacji dziedzinowej do automatycznego generowania kodu metody elementu sko´nczonego. Materiały XV Konferencji Komplastech 2008, pp. 201–206, 2008.
• [15] E. Gamma, R. Helm, R. Johnson, J. Vlissides. Wzorce projektowe: Elementy oprogramowania obiektowego wielokrotnego użytku. WNT, 2005.