Suchergebnisse - Semantic Programming Language

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

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

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

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

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

Nominal Sets: Names and Symmetry in Computer Science von 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 …”
Volltext

Conceptualising Programming Language Semantics von Astarte, Troy Kaighin

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

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning von 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 …”
Volltext

Mathematical Aspects of Logic Programming Semantics von 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 …”
Volltext

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

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

Cognitive Modeling and Verbal Semantics: A Representational Framework Based on UML von 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 …”
Volltext

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

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

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

“… Game semantics is a powerful method of semantic analysis for programming languages …”
Volltext

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

Denotational semantics for programming languages, balanced quasi-metrics and fixed points von 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 …”
Volltext

Learning Deep Semantics for Test Completion von 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 …”
Volltext

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

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

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning von 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 …”
Volltext

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS von 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 …”
Volltext

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

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

Semantics of programming languages: Using Asf+Sdf von 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 …”
Volltext