Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
Page
%P
-
Chapter
Teaching Prolog with Active Logic Documents
Teaching materials for programming languages, and Prolog in particular, classically include textbooks, slides, notes, and exercise sheets, together with some Prolog programming environment. However, modern web...
-
Chapter
Types, Modes and so Much More – The Prolog Way
We present in a tutorial way some ideas developed in the context of the Ciao Prolog system that we believe could be useful for the future evolution of Prolog. We concentrate primarily on one area: the use of a...
-
Book and Conference Proceedings
-
Chapter
Some Thoughts on How to Teach Prolog
Prolog, and (Constraint) Logic Programming in general, represent a unique programming paradigm. Prolog has many characteristics that are not present in other styles of programming, and this is one of the reaso...
-
Chapter and Conference Paper
Testing Your (Static Analysis) Truths
Static analysis is nowadays an essential component of many software development toolsets. Despite some notorious successes in the validation of compilers, comparatively little work exists on the systematic val...
-
Chapter and Conference Paper
An Integrated Approach to Assertion-Based Random Testing in Prolog
We present an approach for assertion-based random testing of Prolog programs that is tightly integrated within an overall assertion-based program development scheme. Our starting point is the Ciao model, a framew...
-
Chapter and Conference Paper
A General Framework for Static Cost Analysis of Parallel Logic Programs
The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a wide variety of applications s...
-
Chapter and Conference Paper
Computing Abstract Distances in Logic Programs
Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provides the best precision-cost ...
-
Chapter and Conference Paper
Incremental Analysis of Logic Programs with Assertions and Open Predicates
Generic components are a further abstraction over the concept of modules, introducing dependencies on other (not necessarily available) components implementing specified interfaces. They have become a key concept...
-
Chapter and Conference Paper
Multivariant Assertion-Based Guidance in Abstract Interpretation
Approximations during program analysis are a necessary evil, as they ensure essential properties, such as soundness and termination of the analysis, but they also imply not always producing useful results. Aut...
-
Chapter and Conference Paper
Exploiting Term Hiding to Reduce Run-Time Checking Overhead
One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations....
-
Article
Open AccessStrings in bubbling geometries and dual Wilson loop correlators
We consider a fundamental string in a bubbling geometry of arbitrary genus dual to a half-supersymmetric Wilson loop in a general large representation R of the SU(N) gauge group in
-
Chapter and Conference Paper
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata
We present Rahft (Refinement of Abstraction in Horn clauses using Finite Tree automata), an abstraction refinement tool for verifying safety properties of programs expressed as Horn clauses. The paper describes t...
-
Article
Deformed Seiberg-Witten curves for ADE quivers
We derive Seiberg-Witten like equations encoding the dynamics of \( \mathcal{N}=2 \) ADE quiver gauge theories in presence of a non-trivial Ω-background along a two dimensional p...
-
Chapter and Conference Paper
Reversible Language Extensions and Their Application in Debugging
A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages on top of a base language. A simple yet powerful technique to t...
-
Chapter and Conference Paper
Modular Extensions for Modular (Logic) Languages
We address the problem of develo** mechanisms for easily implementing modular extensions to modular (logic) languages. By (language) extensions we refer to different groups of syntactic definitions and trans...
-
Article
Stringy instanton corrections to \( \mathcal{N} = 2 \) gauge couplings
We discuss a string model where a conformal four-dimensional \( \mathcal{N} = 2 \) gauge theory receives corrections to...
-
Article
Open AccessD1D5 microstate geometries from string amplitudes
We reproduce the asymptotic expansion of the D1D5 microstate geometries by computing the emission amplitudes of closed string states from disks with mixed D1D5 boundary conditions. Thus we provide a direct lin...
-
Article
Open AccessA special road to AdS vacua
We apply the techniques of special Kähler geometry to investigate AdS4 vacua of general \( \mathcal{N} \) = 2 gauged ...
-
Chapter
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a la...
