Search Results - Object-oriented declarative programming

I+: A multiparadigm language for object-oriented declarative programming by Ng, K.W., Luk, C.K.

“… In addition, two levels of parallelism may be exploited in I + programming. Therefore I + is a multiparadigm language for object-oriented declarative programming as well…”
Get full text

Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages by V. A. Semenov, D. V. Ilyin, S. V. Morozov, O. V. Sidyaka

“…Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary programming paradigms, namely…”
Get full text

A declarative framework for object-oriented programming with genetic inheritance by Lago, Joaquı́n Mateos, Artalejo, Mario Rodrı́guez

“…Seeking the integration of the object-oriented and declarative programming paradigms offers advantages for the software life-cycle activities…”
Get full text

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming by Oetsch, Johannes, Pührer, Jörg, Tompits, Hans

“… In this paper, we propose to use answer-set programming (ASP)---a well-established declarative programming paradigm from the area of artificial intelligence---for instantiating objects in standard object-oriented programming languages…”
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

Declarative integration of object-oriented programming and knowledge representation by Wallis, Steven Kim

“… Object-oriented programming provides facilities for encapsulation and code reuse. It is argued that their integration on a declarative basis yields significant benefits, including more modular knowledge bases and more reliable programs…”
Get full text

Extending Languages by Leveraging Compilers: From Modelica to Optimica by Hedin, Görel, Åkesson, J, Ekman, Torbjörn

“…Constructing compilers using ordinary object-oriented programming takes advantage of parser generators to construct abstract syntax trees (ASTs…”
Get full text

R++: adding path-based rules to C++ by Litman, D., Patel-Schneider, P.F., Mishra, A., Crawford, J., Dvorak, D.

“… Path-based rules provide a useful level of abstraction that encourages a more declarative style of programming and are valuable in object-oriented designs as a means of modeling…”
Get full text

Temporal constrained objects for modelling neuronal dynamics by Nair, Manjusha, Manchan Kannimoola, Jinesh, Jayaraman, Bharat, Nair, Bipin, Diwakar, Shyam

“…Several new programming languages and technologies have emerged in the past few decades in order to ease the task of modelling complex systems…”
Get full text

DEPS: a model- and property-based language for system synthesis problems by Yvars, Pierre-Alain, Zimmer, Laurent

“… with a view to its automatic resolution. Compared with other declarative problem modeling languages, DEPS is a declarative structured and property-based language that combines structural modeling features specific to object-oriented…”
Get full text

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

Efficient control representation in Digital Twins: an imperative challenge for declarative languages by Cimino, Chiara, Terraneo, Federico, Ferretti, Gianni, Leva, Alberto

“… Declarative equation-based modelling languages, in turn, enable the creation of large-scale simulation-based DTs, as they relieve the analyst from creating the solution code…”
Get full text

Smoothly Navigating between Functional Reactive Programming and Actors by Webster, N, Servetto, M

“…We formally define an elegant multi-paradigm unification of Functional Reactive Programming, Actor Systems, and Object-Oriented Programming…”
Get full text

MoTion: A new declarative object matching approach in Pharo by Hosry, Aless, Aranega, Vincent, Anquetil, Nicolas

“… Other main stream programming languages also offer pattern matching capabilities as part of the language…”
Get full text

On complementary principles of object-oriented constraint programming by Semenov, V. A., Dragalov, K. V., Ilyin, D. V., Morozov, S. V., Sidyaka, O. V.

“…The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP…”
Get full text

Logic Channels: a coordination approach to distributed programming by Diaz, M., Rubio, B., Troya, J.M.

“… (imperative, declarative or object oriented). Used together, they allow the development of distributed programs in a compositional way, by assembling different independent pieces…”
Get full text

Cropbox: a declarative crop modelling framework by Yun, Kyungdahm, Kim, Soo-Hyung

“… Cropbox adopts a declarative approach providing a domain-specific language to reduce technical debt and assist modellers to focus on high-level abstraction formed by relations between variables…”
Get full text

MSEMT: An Advanced Modelica Library for Power System Electromagnetic Transient Studies by Masoom, Alireza, Mahseredjian, Jean, Ould-Bachir, Tarek, Guironnet, Adrien

“…Electromagnetic Transient (EMT) simulation tools are typically developed using conventional procedural programming languages…”
Get full text

DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES by Astafurov, A

“…Declarative approach for automata-based objects in object-oriented imperative programming languages with static type checking is discussed in this paper…”
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