Výsledky vyhľadávania - Semantic Programming Language

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python Autor Hardin, Therese, Jaume, Mathieu, Pessaux, Francois, Viguie Donzeau-Gouge, Veronique

“…This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate…”
Získať plný text

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java Autor Therese Hardin, Mathieu Jaume, Veronique Viguie Donzeau-Gouge, François Pessaux

“…This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects…”
Získať plný text

Programming language semantics: It’s easy as 1,2,3 Autor HUTTON, GRAHAM

“…Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging…”
Získať plný text

Interfacing Programming Language Semantics and Pragmatics: What Does “Hello, World” Mean? Autor Sack, Warren

“…? Who is greeting whom? Unfortunately, the bulk of formal means for defining programming languages provides very little help for assigning a meaning to the “hello, world” program…”
Získať plný text

Nominal Sets: Names and Symmetry in Computer Science Autor Pitts, Andrew M.

“…Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs…”
Získať plný text

Conceptualising Programming Language Semantics Autor Astarte, Troy Kaighin

“…The semantics of programming languages tend to be discussed with high levels of formality…”
Získať plný text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning Autor Riguzzi, Fabrizio

“… Combining the two is a very active field of study. Probabilistic Programming extends programming languages with probabilistic primitives that can be used to write complex probabilistic models…”
Získať plný text

Mathematical Aspects of Logic Programming Semantics Autor Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs…”
Získať plný text

A Theorem Proving Approach to Programming Language Semantics Autor Roy, Subhajit

“…The semantics of programming languages is one of the core topics in computer science…”
Získať plný text

Cognitive Modeling and Verbal Semantics: A Representational Framework Based on UML Autor Schalley, Andrea C

“…This book presents a unique approach to the semantics of verbs. It develops and specifies a decompositional representation framework for verbal semantics that is based on the Unified Modeling Language (UML…”
Získať plný text

Games in the Semantics of Programming Languages: An Elementary Introduction Autor Jürjens, Jan

“…Mathematical models are an important tool in the development of software technology, including programming languages and algorithms…”
Získať plný text

On the Learnability of Programming Language Semantics Autor Ghica, Dan R., Alyahya, Khulood

“…Game semantics is a powerful method of semantic analysis for programming languages…”
Získať plný text

A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu Autor Lima, Guilherme F., Santos, Rodrigo C.M., Ierusalimschy, Roberto, Haeusler, Edward H., Sant’Anna, Francisco

“…Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features in the presence of shared-memory…”
Získať plný text

Denotational semantics for programming languages, balanced quasi-metrics and fixed points Autor Rodríguez-López, J., Romaguera, S., Valero, O.

“…A new mathematical model is introduced for the study of the domain of words. We do it by means of the introduction of a suitable balanced quasi-metric on the…”
Získať plný text

Learning Deep Semantics for Test Completion Autor Nie, Pengyu, Banerjee, Rahul, Li, Junyi Jessy, Mooney, Raymond J., Gligoric, Milos

“… We develop TECo-a deep learning model using code semantics for test completion. The key insight underlying TECO is that predicting the next statement in a test method…”
Získať plný text

Static analysis usage for customizable checks of programming languages semantic constraints Autor Valery Ignatyev

“…We describe the usage of programming language constraints to achieve program security and portability, which are especially important for large projects…”
Získať plný text

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning Autor Alvarez, Mario M

“…Formalizing the semantics of a programming language enables powerful techniques for understanding the correctness of tooling related to that language (e.g. compilers…”
Získať plný text

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS Autor TKACHUK, STANISLAV, MELNYK, OLEKSII

“…) education, the inclusion of a block of questions devoted to the semiotics of programming languages into the content of learning languages and programming methods will contribute to the successful…”
Získať plný text

Automatic differentiation for ML-family languages: Correctness via logical relations Autor Lucatelli Nunes, Fernando, Vákár, Matthijs

“… The starting point is to interpret a functional programming language as a suitable freely generated categorical structure…”
Získať plný text

Semantics of programming languages: Using Asf+Sdf Autor Mosses, Peter D.

“…A semantic specification of a programming language can be relevant for programmers to understand software written in the language, as well as for the implementers of a language to understand…”
Získať plný text