Search Results - "Declarative programming languages"

Recent advances in ADL, CutLang and adl2tnm.

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

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

Bounded Exhaustive Search of Alloy Specification Repairs.

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

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

Subjects: Declarative programming languages, Debugging, Artificial intelligence, Computer science, Software engineers

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

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

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

Time prediction on multi-perspective declarative business processes.

Authors: Jimenez-Ramirez, Andres Barba, Irene Fernandez-Olivares, Juan et al.

Source: Knowledge & Information Systems. Dec2018, Vol. 57 Issue 3, p655-684. 30p.

Subjects: Information storage & retrieval systems, Declarative programming languages, Constraint programming, Prediction theory, Decision support systems

MuAlloy.

Authors: Wang, Kaiyuan Sullivan, Allison Khurshid, Sarfraz

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p29-32, 4p

Efficient approaches for multi-agent planning.

Authors: Borrajo, Daniel Fernández, Susana

Source: Knowledge & Information Systems; Feb2019, Vol. 58 Issue 2, p425-479, 55p

Dynamic Update of Business Process Management.

Authors: Nahabedian, Leandro¹, lnahabedian@dc.uba.ar

Source: ICSE: International Conference on Software Engineering; 2017, p413-416, 4p

Efficient provenance tracking for datalog using top-k queries.

Authors: Deutch, Daniel Gilad, Amir Moskovitch, Yuval

Source: VLDB Journal International Journal on Very Large Data Bases; Apr2018, Vol. 27 Issue 2, p245-269, 25p

Ticker: A system for incremental ASP-based stream reasoning.

Authors: BECK, HARALD EITER, THOMAS FOLIE, CHRISTIAN

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p744-763. 20p.

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

Authors: CUTERI, BERNARDO DODARO, CARMINE RICCA, FRANCESCO et al.

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p780-799. 20p.

The Design of SQL Injection Analysis System based on Honeynet.

Authors: Zelong Yin Zhen Niu Feifan Tong

Source: Proceedings of the International MultiConference of Engineers & Computer Scientists 2013. 2013, p1-4. 4p.

Subjects: SQL, Declarative programming languages, Web services, Computer security, Security systems

Extending multimedia languages to support multimodal user interactions.

Authors: Guedes, Álan Azevedo, Roberto Barbosa, Simone

Source: Multimedia Tools & Applications; Feb2017, Vol. 76 Issue 4, p5691-5720, 30p

PERSONALISATION, PROFILING AND ADAPTATION FOR INCLUSIVE E-LEARNING SUPPORT.

Authors: Green, Steve Pearson, Elaine Gkatzidou, Stavroula

Source: Proceedings of the International Conference on Information Technologies; 2009, Vol. 1, p149-156, 8p

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

Authors: Gijsbers, Bert Grelck, Clemens

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

Subjects: Data flow computing, Declarative programming languages, Parallel computers, Computer networks, Scalability, Multicore processors, Software engineering

Modeling Constraint-based Processes: a Supervisory Control Theory Application.

Authors: Portela Santos, Eduardo Alves Vieira, Agnelo Denis Schaidt, Sauro et al.

Source: Computer Science & Information Systems. Oct2014, Vol. 11 Issue 4, p1229-1247. 19p.

Subjects: Control theory (Engineering), Declarative programming languages, Constraint programming, Supervisory control systems, Robots

ATTRIBUTES &CO - COLLABORATIVE APPLICATIONS WITH DECLARATIVE SHARED OBJECTS.

Authors: Kühn, Eva Schmied, Fabian

Source: Proceedings of the IADIS International Conference on WWW/Internet; Nov2005, p427-434, 8p, 4 Diagrams, 1 Chart

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction.

Authors: Haberman, Bruria¹ bruria.haberman@weizmann.ac.il

Source: Informatica. 2008, Vol. 19 Issue 1, p17-30. 14p. 1 Diagram, 5 Charts.

Subjects: Prolog (Computer program language), Declarative programming languages, Programming languages, Logic programming languages, Artificial intelligence

Lifted Reasoning for Combinatorial Counting.

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

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

Declarative Networking.

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

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

Subjects: Declarative programming languages, Declarative programming, Computer programming, Computer network protocols, Computer networks, Semantic network analysis

Erlang for Concurrent Programming.

Authors: LARSON, JIM jimlarson@google.com

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

Subjects: ERLANG (Computer program language), Declarative programming languages, User interfaces, Graphical user interfaces, Computer science, Computer software