Search Results

Documents authored by Kollár, Ján


Document
Towards Automated Program Abstraction and Language Enrichment

Authors: Sergej Chodarev, Emília Pietriková, and Ján Kollár

Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)


Abstract
This paper focuses on the presentation of a method for automated raise of programming language abstraction level. The base concept for the approach is a code pattern -- recurring structure in program code. In contrast to design patterns it has a specific representation at a code level and thus can be parameterized and replaced by a new language element. In the article two algorithms for automated recognition of patterns in samples of programs are described and examined. The paper also presents an approach for language extension based on the found patterns. It is based on an interactive communication with the programming environment, where recognized patterns are suggested to a programmer and can be injected into the language in a form of new elements. Conducted experiments are evaluated in regard to the future perspective and contributions.

Cite as

Sergej Chodarev, Emília Pietriková, and Ján Kollár. Towards Automated Program Abstraction and Language Enrichment. In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 51-64, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InProceedings{chodarev_et_al:OASIcs.SLATE.2013.51,
  author =	{Chodarev, Sergej and Pietrikov\'{a}, Em{\'\i}lia and Koll\'{a}r, J\'{a}n},
  title =	{{Towards Automated Program Abstraction and Language Enrichment}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{51--64},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.51},
  URN =		{urn:nbn:de:0030-drops-40300},
  doi =		{10.4230/OASIcs.SLATE.2013.51},
  annote =	{Keywords: Abstraction, code patterns, language extension, projectional editing}
}
Document
Role of Patterns in Automated Task-Driven Grammar Refactoring

Authors: Ján Kollár and Ivan Halupka

Published in: OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013)


Abstract
Grammarware engineering, and grammar-dependent software development has received considerable attention in recent years. Despite of this fact, grammar refactoring as a significant cornerstone of grammarware engineering is still weakly understood and little practiced. In this paper, we address this issue by proposing universal algorithm for automated refactoring of context-free grammars called mARTINICA, and formal specification language for preserving knowledge of grammar engineers called pLERO. Significant advantage of mARTINICA with respect to other automated refactoring approaches is that it performs grammar refactoring on the bases of user-defined refactoring task, rather then operating under some fixed objective of refactoring process. In order to be able to understand unified refactoring process of mARTINICA this paper also provides brief insight in grammar refactoring operators, which in our approach provide universal refactoring transformations for specific context-free grammars. For preserving of knowledge considering refactoring process we propose formalism based on patterns which are well-proven method of knowledge preservation in variety of other domains, such as software architectures.

Cite as

Ján Kollár and Ivan Halupka. Role of Patterns in Automated Task-Driven Grammar Refactoring. In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 171-186, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InProceedings{kollar_et_al:OASIcs.SLATE.2013.171,
  author =	{Koll\'{a}r, J\'{a}n and Halupka, Ivan},
  title =	{{Role of Patterns in Automated Task-Driven Grammar Refactoring}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{171--186},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.171},
  URN =		{urn:nbn:de:0030-drops-40378},
  doi =		{10.4230/OASIcs.SLATE.2013.171},
  annote =	{Keywords: Automated grammar refactoring, refactoring operators, grammar refactoring patterns, evolutionary algorithms, task-driven transformations}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail