The Experts below are selected from a list of 276 Experts worldwide ranked by ideXlab platform
Nirmal Tej Kumar - One of the best experts on this subject based on the ideXlab platform.
-
[ Gentle Compiler Construction System/cool-Spe ] in the Context of [ Minsky Machines/nlp ] Towards Big Data Testing on Iot/hpc [ Hardware+software+firmware ] R&D Platforms – a General Approach in Using Minsky Machines+nlp.
viXra, 2019Co-Authors: Nirmal Tej KumarAbstract:[ Gentle Compiler Construction System/CooL-SPE ] in the Context of [ Minsky Machines/NLP ] towards BIG DATA Testing on IoT/HPC - [ Hardware+Software+Firmware ] R&D Platforms – A General Approach in Using Minsky Machines+NLP.
-
gentle Compiler Construction system cool spe in the context of minsky machines nlp towards big data testing on iot hpc hardware software firmware r d platforms a general approach in using minsky machines nlp
viXra, 2019Co-Authors: Nirmal Tej KumarAbstract:[ Gentle Compiler Construction System/CooL-SPE ] in the Context of [ Minsky Machines/NLP ] towards BIG DATA Testing on IoT/HPC - [ Hardware+Software+Firmware ] R&D Platforms – A General Approach in Using Minsky Machines+NLP.
-
an interesting insight into cool spe gccs gentle Compiler Construction system software in the context of computational complexity of ising spin glass models towards dna rna based high performance sequencing and theoretical analysis of gene therapy r
viXra, 2019Co-Authors: Nirmal Tej KumarAbstract:An Interesting Insight into [ CooL-SPE/GCCS-Gentle Compiler Construction System ] Software in the Context of Computational Complexity of Ising Spin Glass Models towards [DNA/RNA] based High Performance Sequencing and Theoretical Analysis of Gene Therapy R&D. [ Spin Glasses are always an inspiration – A Computational Challenge for the 21 st Century ? ] [The CooL-SPE is a programming environment specially designed to support the professional development of large-scale object-oriented application systems . Revisiting CooL-SPE in the Context of Bio-informatics ]
-
An Interesting Insight Into [ Cool-Spe/gccs-Gentle Compiler Construction System ] Software in the Context of Computational Complexity of Ising Spin Glass Models Towards [dna/rna] Based High Performance Sequencing and Theoretical Analysis of Gene Ther
viXra, 2019Co-Authors: Nirmal Tej KumarAbstract:An Interesting Insight into [ CooL-SPE/GCCS-Gentle Compiler Construction System ] Software in the Context of Computational Complexity of Ising Spin Glass Models towards [DNA/RNA] based High Performance Sequencing and Theoretical Analysis of Gene Therapy R&D. [ Spin Glasses are always an inspiration – A Computational Challenge for the 21 st Century ? ] [The CooL-SPE is a programming environment specially designed to support the professional development of large-scale object-oriented application systems . Revisiting CooL-SPE in the Context of Bio-informatics ]
-
an insight into cryo em imaging process architecture using gentle Compiler Construction system with an informatics design paradigm
International Journal of Applied Research on Information Technology and Computing, 2016Co-Authors: Nirmal Tej KumarAbstract:In this paper, it is proposed or intended to show a simple cryo-electron microscopy imaging architecture from a software design and development view point, using block diagram approach and implementing a simple architecture. Some pseudo code/algorithms would be highlighted to provide the readers with an idea in this important domain of nano-biosystems informatics domain. The GENTLE Compiler Construction System generates efficient Compilers from high-level specifications. The GENTLE Compiler description language provides a simple and uniform notation for such specifications.
Christiano Braga - One of the best experts on this subject based on the ideXlab platform.
-
π towards a simple formal semantic framework for Compiler Construction
ACM Symposium on Applied Computing, 2019Co-Authors: Christiano BragaAbstract:Compiler Construction is considered an intimidating discipline in Computer Science and related courses. This is perhaps captured quite graphically by the cover of the standard book on the subject, the so-called "Dragon book", by Alfred V. Aho, Jeffrey D. Ullman and later on with Ravi Sethi and Monica S. Lam. There are "red", "green" and "purple dragon" editions, but the Dragon, representing how burdensome people think of the subject, is always there. The aim of this paper is to introduce π, a formal semantic framework for Compiler Construction together with program validation and its implementation in the Maude language that aims at easing the process of Compiler Construction in a rigorous way.
-
SAC - π: towards a simple formal semantic framework for Compiler Construction
Proceedings of the 34th ACM SIGAPP Symposium on Applied Computing, 2019Co-Authors: Christiano BragaAbstract:Compiler Construction is considered an intimidating discipline in Computer Science and related courses. This is perhaps captured quite graphically by the cover of the standard book on the subject, the so-called "Dragon book", by Alfred V. Aho, Jeffrey D. Ullman and later on with Ravi Sethi and Monica S. Lam. There are "red", "green" and "purple dragon" editions, but the Dragon, representing how burdensome people think of the subject, is always there. The aim of this paper is to introduce π, a formal semantic framework for Compiler Construction together with program validation and its implementation in the Maude language that aims at easing the process of Compiler Construction in a rigorous way.
-
pi towards a simple formal semantic framework for Compiler Construction
arXiv: Programming Languages, 2018Co-Authors: Christiano BragaAbstract:This paper proposes {\pi}, a formal semantic framework for Compiler Construction together with program validation. {\pi} is comprised by {\pi} Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics and {\pi} Automata, an automata-based formalism to describe the operational semantics of programming languages, that generalizes Gordon Plotkin's Interpreting Automata.
-
{\pi}: Towards a Simple Formal Semantic Framework for Compiler Construction
arXiv: Programming Languages, 2018Co-Authors: Christiano BragaAbstract:This paper proposes {\pi}, a formal semantic framework for Compiler Construction together with program validation. {\pi} is comprised by {\pi} Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics and {\pi} Automata, an automata-based formalism to describe the operational semantics of programming languages, that generalizes Gordon Plotkin's Interpreting Automata.
-
Compiler Construction with basic programming languages constructs and generalized interpreting automata
arXiv: Programming Languages, 2018Co-Authors: Christiano BragaAbstract:We have been developing and applying an approach to teach Compiler Construction that has been showing very promising results (reported by students and the author alike), and we believe that the main reasons for that are: (i) a hands-on approach, in teams, where students actually do the job and classes are essentially meetings to present and discuss the development of their project, very few lectures; (ii) a ludic approach, where they are stimulated, for instance, to create a logo to their project, relating it to things they identify with (such as a warlock on World of Warcraft); the use of real-world project development tools, and share their successes and failures; and, last but not least, (iii) a formal semantic framework that allows for efficient execution and yet a precise way to describe standard components of a Compiler together with additional validation components for programs in the language being compiled. Our formal framework is comprised by Generalized Interpreting Automata, an automata-based formalism to describe the operational semantics of programming languages that generalizes Gordon Plotkin's Interpreting Automata approach, and the Basic Programming Languages Constructs (BPLC) library, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics.
Akim Demaille - One of the best experts on this subject based on the ideXlab platform.
-
a set of tools to teach Compiler Construction
Technical Symposium on Computer Science Education, 2008Co-Authors: Akim Demaille, Roland Levillain, Benoit PerrotAbstract:Compiler Construction is a widely used software engineering exercise, but because most students will not be Compiler writers, care must be taken to make it relevant in a core curriculum. Auxiliary tools, such as generators and interpreters, often hinder the learning: students have to fight tool idiosyncrasies, mysterious errors, and other poorly educative issues. We introduce a set of tools especially designed or improved for Compiler Construction educative projects in C++. We also provide suggestions about new approaches to Compiler Construction. We draw guidelines from our experience to make tools suitable for education purposes.
-
ITiCSE - A set of tools to teach Compiler Construction
ACM SIGCSE Bulletin, 2008Co-Authors: Akim Demaille, Roland Levillain, Benoit PerrotAbstract:Compiler Construction is a widely used software engineering exercise, but because most students will not be Compiler writers, care must be taken to make it relevant in a core curriculum. Auxiliary tools, such as generators and interpreters, often hinder the learning: students have to fight tool idiosyncrasies, mysterious errors, and other poorly educative issues. We introduce a set of tools especially designed or improved for Compiler Construction educative projects in C++. We also provide suggestions about new approaches to Compiler Construction. We draw guidelines from our experience to make tools suitable for education purposes.
-
making Compiler Construction projects relevant to core curriculums
Technical Symposium on Computer Science Education, 2005Co-Authors: Akim DemailleAbstract:Having 300 students a year implement a Compiler is a debatable enterprise, since the industry will certainly not recruit them for this competence. Yet we made that decision five years ago, for reasons not related to Compiler Construction. We detail these motivations, the resulting Compiler design, and how we manage the assignment. The project meets its goals, since the majority of former students invariably refer to it as the project that taught them the most.
-
ITiCSE - Making Compiler Construction projects relevant to core curriculums
Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '05, 2005Co-Authors: Akim DemailleAbstract:Having 300 students a year implement a Compiler is a debatable enterprise, since the industry will certainly not recruit them for this competence. Yet we made that decision five years ago, for reasons not related to Compiler Construction. We detail these motivations, the resulting Compiler design, and how we manage the assignment. The project meets its goals, since the majority of former students invariably refer to it as the project that taught them the most.
Marjan Mernik - One of the best experts on this subject based on the ideXlab platform.
-
A tool for Compiler Construction based on aspect-oriented specifications
31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 2007Co-Authors: Damijan Rebernak, Marjan MernikAbstract:Aspect-oriented programming (AOP) provides a way to modularize crosscutting concerns. Crosscuting concerns can be found in various representations of software artifacts and in different steps of software life cycle (e.g., source code, models, requirements, language grammars). This paper provides an introduction to the AspectLISA tool and its aspect-oriented specification language for programming language definition and Compiler Construction. AspectLISA is a mature, well-tested system for automatically generating Compilers, interpreters, and other language related tools from formal incremental and reusable aspect-oriented attribute grammar-based specifications. In the paper we discuss about the issues involved in the design and implementation of domain-specific aspect language for Compiler Construction, as well as some benefits of aspect-oriented specifications.
-
COMPSAC (2) - A tool for Compiler Construction based on aspect-oriented specifications
31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007), 2007Co-Authors: Damijan Rebernak, Marjan MernikAbstract:Aspect-oriented programming (AOP) provides a way to modularize crosscutting concerns. Crosscuting concerns can be found in various representations of software artifacts and in different steps of software life cycle (e.g., source code, models, requirements, language grammars). This paper provides an introduction to the AspectLISA tool and its aspect-oriented specification language for programming language definition and Compiler Construction. AspectLISA is a mature, well-tested system for automatically generating Compilers, interpreters, and other language related tools from formal incremental and reusable aspect-oriented attribute grammar-based specifications. In the paper we discuss about the issues involved in the design and implementation of domain-specific aspect language for Compiler Construction, as well as some benefits of aspect-oriented specifications.
-
aspectlisa an aspect oriented Compiler Construction system based on attribute grammars
Electronic Notes in Theoretical Computer Science, 2006Co-Authors: D Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria Joao Varanda PereiraAbstract:The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensibility. Additional improvements can be achieved with aspect-oriented techniques since semantic aspects also crosscut many language constructs. Indeed, aspect-oriented constructs have been already added to some language specifications. The LISA Compiler Construction system follows an object-oriented approach and has already implemented mechanisms for inheritance, modularity and extensibility. Adding aspects to LISA will lead to more reusable language specifications. In the paper, aspect-oriented attribute grammars are introduced, and the underlying ideas are incorporated into AspectLISA, an aspect-oriented Compiler generator based on attribute grammars.
-
a two dimensional separation of concerns for Compiler Construction
ACM Symposium on Applied Computing, 2005Co-Authors: Xiaoqing Wu, Suman Roychoudhury, Barrett R Bryant, Jeff Gray, Marjan MernikAbstract:During language evolution, Compiler Construction is usually performed along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilitate such changes, two software design patterns (i.e., the inheritance pattern and the visitor pattern) are widely used to help modularize the language constructs. However, as each design pattern is only suitable for one dimension of extension, neither of these two patterns can independently fulfill the evolution needs during the Compiler Construction process. In this paper, we analyze two dimensions of concerns in Compiler Construction and develop a paradigm allowing Compiler evolution across these two dimensions using both object-orientation and aspect-orientation. Moreover, this approach provides an ability to perform pattern transformation based on pluggable aspects. A simple implementation of an expression language and its possible extension is demonstrated using Java and AspectJ.
-
SAC - A two-dimensional separation of concerns for Compiler Construction
Proceedings of the 2005 ACM symposium on Applied computing - SAC '05, 2005Co-Authors: Xiaoqing Wu, Suman Roychoudhury, Barrett R Bryant, Jeff Gray, Marjan MernikAbstract:During language evolution, Compiler Construction is usually performed along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilitate such changes, two software design patterns (i.e., the inheritance pattern and the visitor pattern) are widely used to help modularize the language constructs. However, as each design pattern is only suitable for one dimension of extension, neither of these two patterns can independently fulfill the evolution needs during the Compiler Construction process. In this paper, we analyze two dimensions of concerns in Compiler Construction and develop a paradigm allowing Compiler evolution across these two dimensions using both object-orientation and aspect-orientation. Moreover, this approach provides an ability to perform pattern transformation based on pluggable aspects. A simple implementation of an expression language and its possible extension is demonstrated using Java and AspectJ.
Martin Ruckert - One of the best experts on this subject based on the ideXlab platform.
-
teaching Compiler Construction and language design making the case for unusual Compiler projects with postscript as the target language
Technical Symposium on Computer Science Education, 2007Co-Authors: Martin RuckertAbstract:This paper presents an unusual programming language, textttklx, illustrating the type of Compiler Construction projects the author uses successfully to accompany a mostly traditional lecture on Compilers.The target processor of textttklx is the PostScript interpreter, and the paper argues that this is a very good choice. A PostScript interpreter simulates an elegant stack machine with built-in graphic capabilities. It is the perfect target for languages like textttklx, making them easy to implement and fun to use. The exact definition of the source language is an integral part of the student project.The use of non standard languages and a non standard target fosters student creativity in language design and implementation. It invites "out of the box" thinking, and prepares the knowledge transfer from the rich tradition of Compiler Construction to new and forthcoming areas of computer science.
-
SIGCSE - Teaching Compiler Construction and language design: making the case for unusual Compiler projects with postscript as the target language
Proceedinds of the 38th SIGCSE technical symposium on Computer science education - SIGCSE '07, 2007Co-Authors: Martin RuckertAbstract:This paper presents an unusual programming language, textttklx, illustrating the type of Compiler Construction projects the author uses successfully to accompany a mostly traditional lecture on Compilers.The target processor of textttklx is the PostScript interpreter, and the paper argues that this is a very good choice. A PostScript interpreter simulates an elegant stack machine with built-in graphic capabilities. It is the perfect target for languages like textttklx, making them easy to implement and fun to use. The exact definition of the source language is an integral part of the student project.The use of non standard languages and a non standard target fosters student creativity in language design and implementation. It invites "out of the box" thinking, and prepares the knowledge transfer from the rich tradition of Compiler Construction to new and forthcoming areas of computer science.