Search Results - Declarative Meta Programming

Soploon: A virtual assistant to help teachers to detect object‐oriented errors in students’ source codes by Vallejos, Sebastián, Berdun, Luis S., Armentano, Marcelo G., Soria, Álvaro, Teyseyre, Alfredo R.

“…When checking students’ source codes, teachers tend to overlook some errors. This work introduces Soploon, a tool that automatically detects novice programmer…”
Get full text

RT-Trust: Automated refactoring for different trusted execution environments under real-time constraints by Liu, Yin, An, Kijin, Tilevich, Eli

“… To address these problems, this paper presents novel program analyses and transformation techniques, accessible to the developer via a declarative meta-programming model…”
Get full text

Using Declarative Meta Programming for Design Flaws Detection in Object-Oriented Software by Mekruksavanich, S., Muenchaisri, P.

“… This paper proposes a declarative-based approach in which the design flaws of an object-oriented system can be detected at the meta-level in the declarative meta programming…”
Get full text

Effective meta-programming in declarative languages (BL) by Bowers, A.F

“…Declarative meta-programming is vital, since it is the most promising means by which programs can be made to reason about other programs…”
Get full text

A Method for Detecting Bad Smells and ITS Application to Software Engineering Education by Ito, Yuki, Hazeyama, Atsuo, Morimoto, Yasuhiko, Kaminaga, Hiroaki, Nakamura, Shoichi, Miyadera, Youzou

“… Therefore, we propose a method for detecting bad smells using declarative meta programming that can be applied to software development training…”
Get full text

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming by BRY, FRANÇOIS

“… Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques…”
Get full text

Esfinge Virtual Lab - A Virtual Laboratory Platform With a Metadata-based API and Based on Dynamic Component by Pereira, F., Franca, D., Paschoal, V., Nardes, M., Rosa, R. R., Guerra, E.

“… Using declarative programming techniques and a metadata-based APIs, a software developer may focus on business principles and processes rather than expend energy on the retrieval of information…”
Get full text

Meta-interpretive learning: application to grammatical inference by Muggleton, Stephen H., Lin, Dianhuan, Pahlavi, Niels, Tamaddoni-Nezhad, Alireza

“… We develop a framework in which predicate invention and recursive generalisations are implemented using abduction with respect to a meta-interpreter…”
Get full text

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming by Bry, François

“… Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques…”
Get full text

Supporting software development through declaratively codified programming patterns by Mens, Kim, Michiels, Isabel, Wuyts, Roel

“… To explicitly codify these patterns, we adopt a declarative meta programming approach. In this approach, we reify the structure of a (object-oriented…”
Get full text

DataForge: Modular platform for data storage and analysis by Nozik, Alexander

“… Also the framework extensively uses declarative programming principles via meta-data concept which allows a certain degree of meta-programming and improves results…”
Get full text

A Prolog-based Approach to Self-Evaluated, Declarative and Zero-Knowledge Verifiable Policies by Farkas, Martin, Toldi, Balazs Adam, Peter, Bertalan Zoltan, Kocsis, Imre

“…In most domains where declarative policies are employed, it is typically the executor of the policy who performs policy evaluation, and not the subjects of policies…”
Get full text

Demand-driven evaluation of collection attributes by Magnusson, Eva, Ekman, Torbjörn, Hedin, Görel

“… In this paper we show how collection attributes and the combined formalism, circular collection attributes, have been implemented in our declarative meta programming system JastAdd, and how they…”
Get full text

How to Build Your Own ASP-based System? by KAMINSKI, ROLAND, ROMERO, JAVIER, SCHAUB, TORSTEN, WANKO, PHILIPP

“…Answer Set Programming, or ASP for short, has become a popular and sophisticated approach to declarative problem solving…”
Get full text

Programming languages by Ari, Niyazi, Mamatnazarova, Nuraiym

“… The features of this paper can be summarized as follows: 1. It introduces the basic classification of programming languages and explain the declarative programming languages. 2…”
Get full text

Proceedings 35th International Conference on Logic Programming (Technical Communications) by Bogaerts, Bart, Erdem, Esra, Fodor, Paul, misano, Andrea, Ianni, Giovambattista, Inclezan, Daniela, Vidal, German, Villanueva, Alicia, De Vos, Marina, Yang, Fangkai

“… Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques…”
Get full text

Prospects for Declarative Mathematical Modeling of Complex Biological Systems by Mjolsness, Eric

“…Declarative modeling uses symbolic expressions to represent models. With such expressions, one can formalize high-level mathematical computations on models…”
Get full text

Adaptive large-neighbourhood search for optimisation in answer-set programming by Eiter, Thomas, Geibinger, Tobias, Higuera Ruiz, Nelson, Musliu, Nysret, Oetsch, Johannes, Pfliegler, Dave, Stepanova, Daria

“…Answer-set programming (ASP) is a prominent approach to declarative problem solving that is increasingly used to tackle challenging optimisation problems…”
Get full text

Defining Actions in Concurrent Declarative Programming by Echahed, Rachid, Serwe, Wendelin

“… In this paper, we tackle the problem of the definition of actions within the context of a component-based approach to concurrent declarative programming…”
Get full text

Model Transformation of Declarative User Interface from Platform Specific Model to Platform Independent Model using Graphical Notation by Agarwal, Smita, Aggarwal, Alok, Dixit, S.

“… A framework based on mathematical graphical notation is presented and relational mapping to re-engineer declarative user interface model transformation through a platform independent model (PIM) is presented…”
Get full text