Results 21 to 30 of about 85,558 (251)
Denotational Semantics of A User-Oriented, Domain-Specific Language [PDF]
This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development.
Julien Mercadal+2 more
doaj +1 more source
Quantum Alternation: Prospects and Problems [PDF]
We propose a notion of quantum control in a quantum programming language which permits the superposition of finitely many quantum operations without performing a measurement.
Costin Bădescu, Prakash Panangaden
doaj +1 more source
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for experimentation with algebraic effects on a large scale.
Oleg Kiselyov, KC Sivaramakrishnan
doaj +1 more source
Abstract Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, it is shown that these principles are jointly inconsistent: They require that there is a distinct truth for any plurality of ...
Peter Fritz
wiley +1 more source
Abstract Interpretation as a Programming Language [PDF]
In David Schmidt's PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators.
Mads Rosendahl
doaj +1 more source
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications.
Jiri Adamek, Stefan Milius, Jiri Velebil
doaj +1 more source
Exercises in denotational semantics [PDF]
Krzysztof R. Apt, J. W. de Bakker
openalex +3 more sources
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory [PDF]
Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning about advanced programming language features using an abstract form of step ...
Bassel Mannaa+2 more
doaj +1 more source
Decorated proofs for computational effects: States [PDF]
The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we show that the equational proofs about an imperative language may hide the state, in the same way as the ...
Jean-Guillaume Dumas+3 more
doaj +1 more source
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.
Alberto Carraro+2 more
doaj +1 more source