Zobrazeno 1 - 10
of 1 283
pro vyhledávání: '"Algorithmic program debugging"'
Publikováno v:
ACM Transactions on Programming Languages and Systems. 42:1-35
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications that model analysi
Publikováno v:
DBPL
The debugging of database queries is a research topic of increasing interest in recent years. The Semantic Web query language SPARQL should be equipped with a debugger for helping users to detect bugs which usually cause empty results as well as wron
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 107:1-37
One of the main advantages of declarative languages is their clearly established formal semantics, that allows programmers to reason about the properties of programs and to establish the correctness of tools. In particular, declarative debugging is a
Autor:
Dietmar Jannach, Birgit Hofer, Patrick Koch, Franz Wotawa, Konstantin Schekotihin, Thomas Schmitz
Publikováno v:
Automated Software Engineering. 26:203-239
Faults in spreadsheets can represent a major risk for businesses. To minimize such risks, various automated testing and debugging approaches for spreadsheets were proposed. In such approaches, often one main assumption is that the spreadsheet develop
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 101:22-41
Despite the growing number of concurrent applications in nowadays systems, debugging concurrent programs remains an open issue due to its intrinsic complexity. In this work, we present a declarative debugger for the concurrent language Erlang. Follow
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783030731120
PROLEG is a legal reasoning system that specializes in representing rules and exceptions separately. This system, as well as most of the computational legal reasoning systems, works based on the literal interpretation of legal rules. However, in some
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcc4165ee2d727c24f0d5d6cbf6974ff
https://doi.org/10.1007/978-3-030-73113-7_3
https://doi.org/10.1007/978-3-030-73113-7_3
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783030674373
PADL
PADL
In this paper we present the elements of an algorithmic debugger for XQuery. Given a XQuery program/query, a debugging tree is built in which the root is the query and the answer, and non-root nodes contain the results of function calls and XPath exp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b6d92bb61c12ecffc661ddeb5168cb3
https://doi.org/10.1007/978-3-030-67438-0_10
https://doi.org/10.1007/978-3-030-67438-0_10
Autor:
Josep Silva, David Insa
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[EN] Algorithmic debugging is a semi-automatic debugging technique that abstracts the operational details of computations, allowing the programmers to debug their code from an abstract point of view. However, its use in practice is still marginal, an
Publikováno v:
IEEE Transactions on Dependable and Secure Computing. 15:321-335
Traditional malware analysis relies on virtualization or emulation technology to run samples in a confined environment, and to analyze malicious activities by instrumenting code execution. However, virtual machines and emulators inevitably create art
Publikováno v:
ACM Transactions on Embedded Computing Systems. 17:1-26
A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first checks for e