Search Results - Semantics of Programming Languages

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

“… presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features…”
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

“… that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes…”
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

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

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

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages by Korablin, Y. P.

“… The programming language model presented in the paper contains basic constructs of sequential languages and is the core of the existing sequential programming languages…”
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

VDM semantics of programming languages: combinators and monads by Mosses, Peter D.

“… VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed operational interpretation…”
Get full text

Semantics-based generation of verification conditions via program specialization by De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.

“… Our method is parametric with respect to the semantics of the imperative programming language, as it generates the verification conditions by specializing, using unfold/fold transformation rules…”
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

The polychronous model of computation and Kahn process networks by Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc, Talpin, Jean-Pierre

“…In 1974, Gilles Khan defined a seminal semantic model for asynchronous dataflow programming that would then be called as the eponymous Kahn process networks (KPN…”
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

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

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

Extending the C/C++ Memory Model with Inline Assembly by de Vilhena, Paulo Emílio, Lahav, Ori, Vafeiadis, Viktor, Raad, Azalea

“… We propose the first memory model of the C++ Programming Language with support for inline assembly for Intel's x86 including non-temporal stores and store fences…”
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

Software meta-language engineering and CBS by Mosses, Peter D.

“… The author has been involved in the development of several meta-languages for semantic specification…”
Get full text

From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert

Get full text

Toward Analysis and Bug Finding in JavaScript Web Applications in the Wild by Ryu, Sukyoung, Park, Jihyeok, Park, Joonyoung

“…We present our journey to analyze and find bugs in JavaScript web applications in the wild. We describe technical challenges in analyzing them and our…”
Get full text

Software support for course in semantics of programming languages by Steingartner, William, Eldojali, Mohamed Ali M., Radakovic, Davorka, Dostal, Jiri

“… Because the semantics is an integral part of a formal definition of a programming language, we have prepared a package of modules, that help us and to students to understand the most popular…”
Get full text