Suchergebnisse - "Declarative Programming"
-
1
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
-
2
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
-
3
Autoren:
Quelle: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. :1-5
-
4
Autoren: 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
-
5
Autoren: 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
-
6
Autoren: et al.
Quelle: Lecture Notes in Computer Science ISBN: 9783031955884
-
7
-
8
Autoren: et al.
Weitere Verfasser: 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
-
9
Autoren: 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
-
10
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
-
11
Autoren:
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
-
12
Autoren:
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
-
13
-
14
Autoren: et al.
Quelle: Communications of the ACM. Nov2009, Vol. 52 Issue 11, p87-95. 9p. 4 Diagrams.
-
15
Autoren: 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
-
16
Autoren: et al.
Weitere Verfasser: 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 SystemsSchlagwö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 -
17
Autoren: Vandeloise, Mikel
-
18
Autoren: LARSON, JIM jimlarson@google.com
Quelle: Communications of the ACM. Mar2009, Vol. 52 Issue 3, p48-56. 9p. 1 Color Photograph, 5 Diagrams.
-
19
Autoren: et al.
Weitere Verfasser: 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
-
20
Autoren:
Quelle: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-29. 29p.
Schlagwörter: *DECLARATIVE programming, *PUBLICATIONS, *FINITE state machines, *TEXTBOOKS, *MACHINERY
Full Text Finder
Nájsť tento článok vo Web of Science