Suchergebnisse - "Declarative Programming"

On Correctness and Completeness of an n Queens Program

Autoren: Drabent, Wlodzimierz, 1954

Quelle: Theory and Practice of Logic Programming. 22(1):37-50

Schlagwörter: logic programming, declarative programming, program completeness, program correctness, specification, nonground answers

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-190500
https://liu.diva-portal.org/smash/get/diva2:1718654/FULLTEXT01.pdf

A Novel Tool for Graph Theory Education: Interactive Exploration of the Hamiltonian Problem with Z3 and the Keçeci Layout

Autoren: Keçeci, Mehmet

Schlagwörter: Graph Visualization, Computational Logic, Automated Reasoning, Data Visualization, Hamiltonian Cycle, Z3 Theorem Prover, Z3, Keçeci Layout, CSP, Graph Layout Algorithms, Declarative Programming, Graph Theory, Symbolic Computation, Constraint Satisfaction Problem, NP-Complete Problems, SMT Solver

Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report

Autoren: Casadei R. Viroli M.

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

Schlagwörter: aggregate computing, collective adaptive systems, declarative programming, macro-programming, self-organisation

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment

Autoren: Casadei, Roberto Pianini, Danilo Placuzzi, Andrea et al.

Quelle: Future Internet. 12(11):1-28

Schlagwörter: self-organization, decentralized control, deployment independence, declarative programming, aggregate computing, Data- och informationsvetenskap, Computer and Information Sciences Computer Science

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-99971
https://doi.org/10.3390/fi12110203

Secure Partitioning of Cloud Applications, with Cost Look-Ahead

Autoren: Bocci, Alessandro Forti, Stefano Guanciale, Roberto et al.

Quelle: Future Internet. 15(7)

Schlagwörter: data confidentiality, trusted execution environments, separation kernels, information-flow security, deployment costs, declarative programming

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-334315
https://doi.org/10.3390/fi15070224

Declarative Deployment Planning for Green Pulverised Collective Computational Systems

Autoren: Antonio Brogi Roberto Casadei Nicolas Farabegoli et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783031955884

Schlagwörter: Aggregate computing, Collective systems, Declarative programming, Deployment, Edge-cloud continuum, Pulverisation

Zugangs-URL: https://hdl.handle.net/11568/1317907
https://doi.org/10.1007/978-3-031-95589-1_6

Geometric rule check with Answer Set Programming for barrier-free navigation

Autoren: Kurzawa, Marian

Schlagwörter: Rule check | Declarative Programming | Algorithms, Computer Science, Information and General Works::004: Computer Sciences, Declarative Programming, Technology::690: Building, Construction, Rule check, Arts::720: Architecture, Algorithms

A General Purpose Representation and Adaptive EA for Evolving Graphs

Autoren: Eric Medvet Simone Pozzi Luca Manzoni et al.

Weitere Verfasser: Eric Medvet Simone Pozzi Luca Manzoni et al.

Quelle: Proceedings of the Genetic and Evolutionary Computation Conference. :1156-1164

Schlagwörter: Declarative Programming, Prolog, 0202 electrical engineering, electronic engineering, information engineering, Graph Evolutionary Algorithm, Adaptive Evolutionary Algorithm, 02 engineering and technology

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11368/3053906
https://dl.acm.org/doi/10.1145/3583131.3590431
https://hdl.handle.net/11368/3053906
https://doi.org/10.1145/3583131.3590431
https://dl.acm.org/doi/10.1145/3583131.3590431

Cost Optimisation Tool for Multicommodity Network Flow Problem in Telecommunications

Autoren: Snežana MLADENOVIĆ Ivana STEFANOVIĆ Slađana JANKOVIĆ et al.

Quelle: Promet (Zagreb), Vol 36, Iss 4, Pp 608-622 (2024)

Schlagwörter: data transmission cost optimisation, capacity of telecommunication links, network flow, link failure, declarative programming, Transportation engineering, TA1001-1280

Dateibeschreibung: electronic resource

Relation: https://traffic2.fpz.hr/index.php/PROMTT/article/view/577; https://doaj.org/toc/0353-5320; https://doaj.org/toc/1848-4069

Zugangs-URL: https://doaj.org/article/a6636523e25248c49a4905bb4b38f52b

Interactive Exploration of the Hamiltonian Problem with Z3 and the Keçeci Layout

Autoren: Mehmet Keçeci

Schlagwörter: Computer graphics, Graph Visualization, Hamiltonian Cycle, Z3 Theorem Prover, SMT Solver, Constraint Satisfaction Problem, CSP, Graph Theory, Graph Layout Algorithms, Keçeci Layout, Declarative Programming, Symbolic Computation, NP-Complete Problems, Computational Logic, Automated Reasoning, Data Visualization

Relation: https://figshare.com/articles/journal_contribution/Interactive_Exploration_of_the_Hamiltonian_Problem_with_Z3_and_the_Ke_eci_Layout/29959778

Verfügbarkeit: https://doi.org/10.6084/m9.figshare.29959778.v2
https://figshare.com/articles/journal_contribution/Interactive_Exploration_of_the_Hamiltonian_Problem_with_Z3_and_the_Ke_eci_Layout/29959778

Teaching logic programming: a review

Autoren: Semerikov, Serhiy O. Mintii, Iryna S. Moiseienko, Natalia V.

Quelle: CTE Workshop Proceedings; Vol. 12 (2025); 399-425 ; 2833-5473 ; 10.55056/cte.v12

Schlagwörter: logic programming, computer science education, Prolog, Answer Set Programming, Datalog, constraint logic programming, declarative programming, teaching methods

Dateibeschreibung: application/pdf

Relation: https://acnsci.org/journal/index.php/cte/article/view/838/860; https://acnsci.org/journal/index.php/cte/article/view/838

Verfügbarkeit: https://acnsci.org/journal/index.php/cte/article/view/838
https://doi.org/10.55056/cte.838

Towards Actor-Based Game Engines: A Vision for Swift-Native Interactive Systems ; GameEngine Programming via Concurrency

Autoren: BANG, JEAHOON orcid:0009-0007-1750-

Schlagwörter: Actor Model, Game Engine Architecture, Swift, Concurrency, Declarative Programming, Distributed Systems

Relation: https://zenodo.org/records/15628346; oai:zenodo.org:15628346; None; https://doi.org/10.5281/zenodo.15628346

Verfügbarkeit: https://doi.org/10.5281/zenodo.15628346
https://zenodo.org/records/15628346

Template based Program synthesis with Declarative Programming for RESTful APIs

Autoren: Arjun Singh Saud Tenish Shrestha

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

Declarative Networking.

Autoren: Boon Thau Loo Condie, Tyson Garofalakis, Minos et al.

Quelle: Communications of the ACM. Nov2009, Vol. 52 Issue 11, p87-95. 9p. 4 Diagrams.

Schlagwörter: *COMPUTER programming, *COMPUTER network protocols, *COMPUTER networks, DECLARATIVE programming languages, DECLARATIVE programming, SEMANTIC network analysis

Recent advances in ADL, CutLang and adl2tnm.

Autoren: Prosper, Harrison B. Sekmen, Sezen Unel, Gokhan et al.

Quelle: EPJ Web of Conferences. 8/23/2021, Vol. 251, p1-12. 12p.

Schlagwörter: *PARTICLE physics, *DECLARATIVE programming languages, *VECTOR algebra, *VISUALIZATION, *PHENOMENOLOGY

Varv: Reprogrammable Interactive Software as a Declarative Data Structure

Autoren: Borowski, Marcel Murray, Luke Bagge, Rolf et al.

Weitere Verfasser: Borowski, Marcel Murray, Luke Bagge, Rolf et al.

Quelle: Borowski, M, Murray, L, Bagge, R, Kristensen, J B, Satyanarayan, A & Klokmose, C N 2022, Varv : Reprogrammable Interactive Software as a Declarative Data Structure. in CHI '22 : Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems., 492, Association for Computing Machinery, New York, CHI '22, New Orleans, United States, 29/04/2022. https://doi.org/10.1145/3491102.3502064
CHI Conference on Human Factors in Computing Systems

Schlagwörter: liveness, real-time collaboration, 0202 electrical engineering, electronic engineering, information engineering, reprogramming, 02 engineering and technology, declarative programming, interactive software

Dateibeschreibung: application/pdf

Zugangs-URL: https://pure.au.dk/portal/en/publications/892155a5-7c1f-4989-a615-1c4557bfe0a1
https://pure.au.dk/portal/en/publications/892155a5-7c1f-4989-a615-1c4557bfe0a1
https://doi.org/10.1145/3491102.3502064
https://pure.au.dk/ws/files/266897013/CHI_2022_Varv_Reprogrammable_Interactive_Sofware_as_a_Declarative_Draft.pdf

Programming Paradigm Taxonomy Poster

Autoren: Vandeloise, Mikel

Schlagwörter: Software engineering, Multi-language Development, Functional programming, Collaboration Metrics, Programming paradigm, Object-oriented programming, Programming languages, Imperative programming, Academic Research, Declarative programming, Taxonomy, Programming methodology

Erlang for Concurrent Programming.

Autoren: LARSON, JIM jimlarson@google.com

Quelle: Communications of the ACM. Mar2009, Vol. 52 Issue 3, p48-56. 9p. 1 Color Photograph, 5 Diagrams.

Schlagwörter: *USER interfaces, *COMPUTER science, *COMPUTER software, ERLANG (Computer program language), DECLARATIVE programming languages, GRAPHICAL user interfaces

Symbolic Specialization of Rewriting Logic Theories withPresto

Autoren: Alpuente Frasnedo, María Escobar Román, Santiago Ballis, Demis et al.

Weitere Verfasser: Alpuente Frasnedo, María Escobar Román, Santiago Ballis, Demis et al.

Quelle: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, multi-paradigm declarative programming, narrowing, partial evaluation, rewriting logic, Partial evaluation, 0202 electrical engineering, electronic engineering, information engineering, Rewriting logic, Multi-paradigm declarative programming, 0102 computer and information sciences, 02 engineering and technology, Narrowing, LENGUAJES Y SISTEMAS INFORMATICOS, 01 natural sciences, Logic in Computer Science (cs.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/pdf/2112.10201
http://arxiv.org/abs/2112.10201
https://riunet.upv.es/handle/10251/195317

Protocol combinators for modeling, testing, and execution of distributed systems.

Autoren: ANDERSEN, KRISTOFFER JUST ARNDAL SERGEY, ILYA

Quelle: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-29. 29p.

Schlagwörter: *DECLARATIVE programming, *PUBLICATIONS, *FINITE state machines, *TEXTBOOKS, *MACHINERY