2,568 research outputs found
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs
A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every function and parameterizing the semantics by this choice we abstract from the parameter-passing mechanism. Thus common and distinguishing features of all instances of the sigma-semantics, especially call-by-value and call-by-name semantics, are highlighted. Furthermore, a property can be validated for all instances of the sigma-semantics by a single proof. This is employed for proving the equivalence of the given denotational (fixed-point based) and two operational (reduction based) definitions of the sigma-semantics. We present and apply means for very simple proofs of equivalence with the denotational sigma-semantics for a large class of reduction-based sigma-semantics. Our basis are simple first-order constructor-based functional programs with patterns
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs
A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every function and parameterizing the semantics by this choice we abstract from the parameter-passing mechanism. Thus common and distinguishing features of all instances of the sigma-semantics, especially call-by-value and call-by-name semantics, are highlighted. Furthermore, a property can be validated for all instances of the sigma-semantics by a single proof. This is employed for proving the equivalence of the given denotational (fixed-point based) and two operational (reduction based) definitions of the sigma-semantics. We present and apply means for very simple proofs of equivalence with the denotational sigma-semantics for a large class of reduction-based sigma-semantics. Our basis are simple first-order constructor-based functional programs with patterns
On the analytic systole of Riemannian surfaces of finite type
In our previous work we introduced, for a Riemannian surface , the
quantity , where denotes the
first Dirichlet eigenvalue of and the infimum is taken over all compact
subsurfaces of with smooth boundary and abelian fundamental group. A
result of Brooks implies , the bottom of the
spectrum of the universal cover . In this paper, we discuss the
strictness of the inequality. Moreover, in the case of curvature bounds, we
relate with the systole, improving a result by the last named
author.Comment: 35 pages, 1 figure; v2: slightly reorganized, fixed a technical
problem in the proof of Thm. 7.3 (v2), added some references, to appear in
GAF
On variational eigenvalue approximation of semidefinite operators
Eigenvalue problems for semidefinite operators with infinite dimensional
kernels appear for instance in electromagnetics. Variational discretizations
with edge elements have long been analyzed in terms of a discrete compactness
property. As an alternative, we show here how the abstract theory can be
developed in terms of a geometric property called the vanishing gap condition.
This condition is shown to be equivalent to eigenvalue convergence and
intermediate between two different discrete variants of Friedrichs estimates.
Next we turn to a more practical means of checking these properties. We
introduce a notion of compatible operator and show how the previous conditions
are equivalent to the existence of such operators with various convergence
properties. In particular the vanishing gap condition is shown to be equivalent
to the existence of compatible operators satisfying an Aubin-Nitsche estimate.
Finally we give examples demonstrating that the implications not shown to be
equivalences, indeed are not.Comment: 26 page
TermEval 2020 : shared task on automatic term extraction using the Annotated Corpora for term Extraction Research (ACTER) dataset
The TermEval 2020 shared task provided a platform for researchers to work on automatic term extraction (ATE) with the same dataset: the Annotated Corpora for Term Extraction Research (ACTER). The dataset covers three languages (English, French, and Dutch) and four domains, of which the domain of heart failure was kept as a held-out test set on which final f1-scores were calculated. The aim was to provide a large, transparent, qualitatively annotated, and diverse dataset to the ATE research community, with the goal of promoting comparative research and thus identifying strengths and weaknesses of various state-of-the-art methodologies. The results show a lot of variation between different systems and illustrate how some methodologies reach higher precision or recall, how different systems extract different types of terms, how some are exceptionally good at finding rare terms, or are less impacted by term length. The current contribution offers an overview of the shared task with a comparative evaluation, which complements the individual papers by all participants
A Backward Analysis for Constraint Logic Programs
One recurring problem in program development is that of understanding how to
re-use code developed by a third party. In the context of (constraint) logic
programming, part of this problem reduces to figuring out how to query a
program. If the logic program does not come with any documentation, then the
programmer is forced to either experiment with queries in an ad hoc fashion or
trace the control-flow of the program (backward) to infer the modes in which a
predicate must be called so as to avoid an instantiation error. This paper
presents an abstract interpretation scheme that automates the latter technique.
The analysis presented in this paper can infer moding properties which if
satisfied by the initial query, come with the guarantee that the program and
query can never generate any moding or instantiation errors. Other applications
of the analysis are discussed. The paper explains how abstract domains with
certain computational properties (they condense) can be used to trace
control-flow backward (right-to-left) to infer useful properties of initial
queries. A correctness argument is presented and an implementation is reported.Comment: 32 page
- ā¦