Suchergebnisse - "Declarative Programming Languages"

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

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

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

Lifted Reasoning for Combinatorial Counting.

Autoren: Totis, Pietro Davis, Jesse De Raedt, Luc et al.

Quelle: Journal of Artificial Intelligence Research. 2023, Vol. 76, p1-58. 58p.

Schlagwörter: Combinatorics, Natural languages, Artificial intelligence, Constraint programming, Declarative programming languages

Bounded Exhaustive Search of Alloy Specification Repairs.

Autoren: Gutiérrez Brida, Simón Regis, Germán Guolong Zheng et al.

Quelle: ICSE: International Conference on Software Engineering; 5/22/2021, p1135-1147, 13p

Schlagwörter: DECLARATIVE programming languages, DEBUGGING, ARTIFICIAL intelligence, COMPUTER science, SOFTWARE engineers

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

Autoren: Guolong Zheng ThanhVu Nguye Brida, Simón Gutiérrez et al.

Quelle: ICSE: International Conference on Software Engineering; 5/22/2021, p637-648, 12p

Schlagwörter: COMPUTER software development, ARTIFICIAL intelligence, SOFTWARE engineering, JAVA programming language, DECLARATIVE programming languages

A SURVEY OF E-COMMERCE SECURITY THREATS AND SOLUTIONS.

Autoren: Dakov, Stanislav Malinova, Anna

Quelle: Proceedings of CBU in Natural Sciences & ICT; 2021, Vol. 2, p1-9, 9p

Schlagwörter: ELECTRONIC commerce, INTERNET security, COMPUTER security, SQL, DECLARATIVE programming languages

An Efficient Scalable Runtime System for Macro Data Flow Processing Using S- Net.

Autoren: Gijsbers, Bert Grelck, Clemens

Quelle: International Journal of Parallel Programming. Dec2014, Vol. 42 Issue 6, p988-1011. 24p.

Schlagwörter: *COMPUTER networks, *SCALABILITY, *SOFTWARE engineering, DATA flow computing, DECLARATIVE programming languages, PARALLEL computers, MULTICORE processors

The Answer Set Programming Competition.

Autoren: Calimeri, Francesco Ianni, Giovambattista Krennwallner, Thomas et al.

Quelle: AI Magazine. Winter2012, Vol. 33 Issue 4, p114-118. 5p.

Schlagwörter: *COMPUTER programming, *COMPUTER architecture, *BENCHMARKING (Management), DECLARATIVE programming languages, ARTIFICIAL intelligence competitions, COMPUTING platforms, CONTESTS

Compiling What to How.

Autoren: Bodik, Rastislav

Quelle: Communications of the ACM. Feb2012, Vol. 55 Issue 2, p102-102. 1p.

Schlagwörter: *PROGRAMMING languages, *COMPUTER programming, *ALGORITHMS, DECLARATIVE programming languages

Extending OCL for OLAP querying on conceptual multidimensional models of data warehouses

Autoren: Pardillo, Jesús Mazón, Jose-Norberto Trujillo, Juan

Quelle: Information Sciences. Mar2010, Vol. 180 Issue 5, p584-601. 18p.

Schlagwörter: *OLAP technology, *DATA warehousing, *DATA analysis, *COMPUTER network architectures, *MATHEMATICAL models, DECLARATIVE programming languages, QUERY languages (Computer science), MULTIDIMENSIONAL databases, CODE generators

Specification of temporal properties with OCL.

Autoren: Kanso, Bilal Taha, Safouan

Quelle: Science of Computer Programming. Dec2014 Part 4, Vol. 96, p527-551. 25p.

Schlagwörter: *DECLARATIVE programming languages, *UNIFIED modeling language, *OBJECT-oriented methods (Computer science), *TECHNICAL specifications, *FORMAL methods (Computer science), *MATHEMATICAL models

SEMoLa: A simple and easy modelling language.

Autoren: Danuso, Francesco Rocca, Alvaro

Quelle: Ecological Modelling. Aug2014, Vol. 285, p54-77. 24p.

Schlagwörter: *DECLARATIVE programming languages, *SIMULATION methods & models, *ONTOLOGY, *STOCHASTIC analysis, *CONTINUOUS processing, *SCRIPTING languages (Computer science)

Questions similarity computation based on question classification.

Autoren: TIAN Wei-dong QIANG Ji-peng

Quelle: Application Research of Computers / Jisuanji Yingyong Yanjiu. Apr2014, Vol. 31 Issue 4, p1090-1093. 4p.

Schlagwörter: *DECLARATIVE programming languages, *SEMANTIC Web, *COMPUTATIONAL complexity, *QUESTION (Logic), *INFORMATION processing

Using Well-Founded Relations for Proving Operational Termination.

Autoren: Lucas, Salvador

Quelle: Journal of Automated Reasoning; Feb2020, Vol. 64 Issue 2, p167-195, 29p

Schlagwörter: DECLARATIVE programming languages, MAUDE (Computer program language), INFERENCE (Logic), NATURAL numbers, PROOF theory

A Co-Relational Model of Data for Large Shared Data Banks.

Autoren: MEIJER, ERIK BIERMAN, GAVIN

Quelle: Communications of the ACM; Apr2011, Vol. 54 Issue 4, p49-58, 10p, 15 Diagrams, 1 Chart

Schlagwörter: SQL, ECONOMIC competition, PERFECT competition, DECLARATIVE programming languages, RELATIONAL databases

People: CODD, Ted

On-demand strategy annotations revisited: An improved on-demand evaluation strategy

Autoren: Alpuente, M. Escobar, S. Gramlich, B. et al.

Quelle: Theoretical Computer Science. Jan2010, Vol. 411 Issue 2, p504-541. 38p.

Schlagwörter: *ON-demand computing, *DECLARATIVE programming languages, *NATURAL numbers, *RINGS of integers, *COMPUTATIONAL complexity, *PROGRAMMING languages

Erlang.

Autoren: ARMSTRONG, JOE

Quelle: Communications of the ACM; Sep2010, Vol. 53 Issue 9, p68-75, 8p, 1 Black and White Photograph, 2 Diagrams

Schlagwörter: ERLANG (Computer program language), FAULT-tolerant computing, DECLARATIVE programming languages, PROGRAMMING languages, OPEN source software, COMPUTER multitasking

Functional Logic Programming.

Autoren: ANTOY, SERGIO HANUS, MICHAEL

Quelle: Communications of the ACM; Apr2010, Vol. 53 Issue 4, p74-85, 12p, 4 Diagrams

Schlagwörter: COMPUTER programming, PROGRAMMING languages, PREDICATE (Logic), LOGIC programming languages, DECLARATIVE programming languages, FUNCTIONAL programming (Computer science)

On the algebraic structure of declarative programming languages

Autoren: Amato, Gianluca Lipton, James McGrail, Robert

Quelle: Theoretical Computer Science. Nov2009, Vol. 410 Issue 46, p4626-4671. 46p.

Schlagwörter: *DECLARATIVE programming languages, *PROGRAMMING language semantics, *ORDERED algebraic structures, *MODEL theory, *LOGIC programming, *PROOF theory, *GROUP extensions (Mathematics), *AXIOMATIC set theory