Suchergebnisse - "Declarative programming"

Efficient Declarative Programming in OCaml

Autoren: Silvério, Diogo Rafael Rebocho Dias, Artur Pereira, Mário et al.

Weitere Verfasser: Silvério, Diogo Rafael Rebocho Dias, Artur Pereira, Mário et al.

Schlagwörter: Efficient Declarative Programming, OCaml PreProcessor eXtensions, Code Optimization, Program Transformations, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10362/138812

Dynamic Swarming Autonomous Underwater Vehicles through Behavioral Rules Using Declarative Programming

Autoren: José-Luis Vilchis-Medina Benoit Zerr

Quelle: OCEANS 2025 Brest. :1-8

Template based Program synthesis with Declarative Programming for RESTful APIs

Autoren: Arjun Singh Saud Tenish Shrestha

Schlagwörter: Declarative Programming, Program Synthesis, RESTful API

Neural network agents trained by declarative programming tutors

Autoren: Julian Szymanski Jan Dobrosolski Higinio Mora et al.

Quelle: 2024 IEEE Congress on Evolutionary Computation (CEC). :1-7

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation

Autoren: Gumin, Maxim Han, Do Heon Yoo, Seung Jean et al.

Schlagwörter: FOS: Computer and information sciences, Computer Science - Graphics, Computer Science - Programming Languages, Graphics (cs.GR), Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2504.05482

Declarative Programming Approach for Fake Review Detection

Autoren: Nour Jnoub Wolfgang Klas

Quelle: 2020 15th International Workshop on Semantic and Social Media Adaptation and Personalization (SMA. :1-7

Schlagwörter: 102028 Knowledge Engineering, 102035 Data science, Answer Set Programming, Declarative Programming, 102027 Web Engineering, 0202 electrical engineering, electronic engineering, information engineering, 102035 Data Science, 102028 Knowledge engineering, 102027 Web engineering, Online Fake Review Detection, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/conf/smap/smap2020.html#JnoubK20

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming

Autoren: A. Bruni A. Momigliano

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/2434/1115240
https://doi.org/10.1145/3678232

Assessing the Usability of Two Declarative Programming Languages to Model Geometric Events

Autoren: Llopis, Marcel Franch Gutiérrez, Javier Soria Guerrero, Manel et al.

Weitere Verfasser: Llopis, Marcel Franch Gutiérrez, Javier Soria Guerrero, Manel et al.

Quelle: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Schlagwörter: Programming languages (Electronic computers) -- Development, Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, 0501 psychology and cognitive sciences, 02 engineering and technology, Llenguatges de programació -- Desenvolupament

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/2117/390405
https://doi.org/10.2514/1.i011207

Sustainable goal-oriented smart environments: a declarative programming approach

Autoren: Bisicchia, G Forti, S Brogi, A

Quelle: Journal of Logic and Computation. 33:864-899

Schlagwörter: 7. Clean energy, Goal-oriented systems, logic programming, sustainability, IoT, smart environments, 12. Responsible consumption

Zugangs-URL: https://hdl.handle.net/11568/1187647
https://doi.org/10.1093/logcom/exad015

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Autoren: López-García, Pedro Gallagher, John P. Giacobazzi, Roberto et al.

Weitere Verfasser: López-García, Pedro Gallagher, John P. Giacobazzi, Roberto et al.

Quelle: Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)

Schlagwörter: Software testing and debugging, Functional languages, Formal software verification: Automated static analysis, Software design techniques

Zugangs-URL: http://hdl.handle.net/10261/351580

GALVIS: Visualization Construction through Example-Powered Declarative Programming

Autoren: Leixian Shen Enya Shen Zhiwei Tai et al.

Quelle: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. :4975-4979

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Predicate Construct for Declarative Programming in Imperative Languages

Autoren: James Smith Xiangyu Guo Ajay Bansal

Quelle: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. :1-13

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

International Symposium on Principles and Practice of Declarative Programming

Genetic Algorithms in a Visual Declarative Programming

Autoren: Emilia Golemanova Tzanko Golemanov

Quelle: WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS. 19:138-152

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Generalized Search Construct for Imperative Languages to Facilitate Declarative Programming

Autoren: James Smith Chris Henderson Ajay Bansal

Quelle: International Journal of Semantic Computing. 16:315-338

Schlagwörter: 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Declarative Programming with Intensional Sets in Java Using JSetL

Autoren: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

Quelle: The Computer Journal. 66:763-784

Schlagwörter: Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Zugangs-URL: http://arxiv.org/pdf/2002.11562
http://arxiv.org/abs/2002.11562

Declarative Programming and Knowledge Management

Autoren: Seipel, Dietmar Hanus, Michael Abreu, Salvador

Relation: Seipel, D., Hanus, M., & Abreu, S. (2018). Declarative Programming and Knowledge Management.; nao; nd; 283

Verfügbarkeit: http://hdl.handle.net/10174/24751

DECLARATIVE PROGRAMMING IN MODERN IMPERATIVE LANGUAGES

Quelle: Proceedings of the 20th International Conference on Applied Computing 2023 and 22nd International Conference on WWW/Internet 2023, held in Madeira Island, Portugal from 21 to 23 October 2023.

Synthesis of the development model of declarative programming training system

Autoren: I. V. Hileta A. I. Hileta

Quelle: Scientific Papers (Ukrainian Academy of Printing). 2:147-154

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Quelle: Lecture Notes in Computer Science ISBN: 9783031314759