Results 11 to 20 of about 174,815,442 (248)
Linear Dependent Type Theory for Quantum Programming Languages [PDF]
Logical Methods in Computer Science, 2022 Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum resources.
Peng Fu, Kohei Kishida, Peter Selinger
doaj +6 more sources
Using Category Theory to Design Programming Languages [PDF]
Lecture Notes in Computer Science, 2009 In a 1980 paper entitled "Using Category Theory to Design Conversions and Generic Operators", the author showed how the concepts of category theory can guide the design of a programming language to avoid anomalies in the interaction of implicit conversions and generic operators.
exaly +3 more sources
Consistent and Complementary Formal Theories of the Semantics of Programming Languages
Acta Informatica, 1974 This paper presents a comparative study of different methods for formal description of programming languages. These methods have been applied to a simple but realistically usable programming language; the more abstract definitions have been proved to be consistent relative to the more concrete ones.
P E Lauer
exaly +4 more sources
Programming Language Semantics in Foundational Type Theory [PDF]
, 1998 There are compelling benefits to using foundational type theory as a framework for programming language semantics. I give a semantics of an expressive programming calculus in the foundational type theory of Nuprl. Previous type-theoretic semantics have used less expressive type theories, or have sacrificed important programming constructs such as ...
exaly +3 more sources
A general theory of action languages [PDF]
, 1998 We present a general theory of action-based languages as a paradigm, for the description, of those computational systems which include elements of concurrency and networking, and extend this approach to describe dist.ributed systems and also t,o ...
Letichevsky, AA, Gilbert, D
core +4 more sources
Development and Application of a Software Tool to Support the Teaching of Formal Languages
Открытое образование (Москва), 2021 The purpose of the article is to present the results of a study on the possibility of using a deductive approach in the study of programming languages (from the theory of formal languages to specific programming languages) and the development of a ...
A. P. Sergushicheva, E. N. Davydova
doaj +1 more source
Implementation of hyperbolic complex numbers in Julia language
Discrete and Continuous Models and Applied Computational Science, 2022 Hyperbolic complex numbers are used in the description of hyperbolic spaces. One of the well-known examples of such spaces is the Minkowski space, which plays a leading role in the problems of the special theory of relativity and electrodynamics. However,
Anna V. Korolkova +2 more
doaj +1 more source
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages [PDF]
Logical Methods in Computer Science, 2023 A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or first-order logic.
Dino Mandrioli +2 more
doaj +1 more source
Programming Languages and Systems [PDF]
, 2022 This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS ...
core +2 more sources
Quantum Programming Made Easy [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu mildly merges
Luca Paolini +2 more
doaj +1 more source