Výsledky vyhledávání - Declarative Meta Programming

Soploon: A virtual assistant to help teachers to detect object‐oriented errors in students’ source codes Autor 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…”
Získat plný text

RT-Trust: Automated refactoring for different trusted execution environments under real-time constraints Autor 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…”
Získat plný text

Using Declarative Meta Programming for Design Flaws Detection in Object-Oriented Software Autor 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…”
Získat plný text

Effective meta-programming in declarative languages (BL) Autor 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…”
Získat plný text

A Method for Detecting Bad Smells and ITS Application to Software Engineering Education Autor 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…”
Získat plný text

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming Autor 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…”
Získat plný text

Esfinge Virtual Lab - A Virtual Laboratory Platform With a Metadata-based API and Based on Dynamic Component Autor 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…”
Získat plný text

Meta-interpretive learning: application to grammatical inference Autor 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…”
Získat plný text

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming Autor 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…”
Získat plný text

Supporting software development through declaratively codified programming patterns Autor 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…”
Získat plný text

DataForge: Modular platform for data storage and analysis Autor 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…”
Získat plný text

A Prolog-based Approach to Self-Evaluated, Declarative and Zero-Knowledge Verifiable Policies Autor 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…”
Získat plný text

Demand-driven evaluation of collection attributes Autor 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…”
Získat plný text

How to Build Your Own ASP-based System? Autor 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…”
Získat plný text

Programming languages Autor 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…”
Získat plný text

Proceedings 35th International Conference on Logic Programming (Technical Communications) Autor 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…”
Získat plný text

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

“…Declarative modeling uses symbolic expressions to represent models. With such expressions, one can formalize high-level mathematical computations on models…”
Získat plný text

Adaptive large-neighbourhood search for optimisation in answer-set programming Autor 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…”
Získat plný text

Defining Actions in Concurrent Declarative Programming Autor 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…”
Získat plný text

Model Transformation of Declarative User Interface from Platform Specific Model to Platform Independent Model using Graphical Notation Autor 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…”
Získat plný text