Search Results - Semantic Programming Language

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python by 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…”
Get full text

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java by 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…”
Get full text

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

“…Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging…”
Get full text

Interfacing Programming Language Semantics and Pragmatics: What Does “Hello, World” Mean? by 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…”
Get full text

Conceptualising Programming Language Semantics by Astarte, Troy Kaighin

“…The semantics of programming languages tend to be discussed with high levels of formality…”
Get full text

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning by 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…”
Get full text

Nominal Sets: Names and Symmetry in Computer Science by 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…”
Get full text

Mathematical Aspects of Logic Programming Semantics by 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…”
Get full text

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

“…The semantics of programming languages is one of the core topics in computer science…”
Get full text

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

“…Mathematical models are an important tool in the development of software technology, including programming languages and algorithms…”
Get full text

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

“…Game semantics is a powerful method of semantic analysis for programming languages…”
Get full text

A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu by 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…”
Get full text

Denotational semantics for programming languages, balanced quasi-metrics and fixed points by 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…”
Get full text

Learning Deep Semantics for Test Completion by 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…”
Get full text

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

“…We describe the usage of programming language constraints to achieve program security and portability, which are especially important for large projects…”
Get full text

Cognitive Modeling and Verbal Semantics: A Representational Framework Based on UML by 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…”
Get full text

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning by 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…”
Get full text

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS by 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…”
Get full text

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

“… The starting point is to interpret a functional programming language as a suitable freely generated categorical structure…”
Get full text

Semantics of programming languages: Using Asf+Sdf by 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…”
Get full text