Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
semantics of programming languages (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/95)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
Number of records 1, displaying
1 - 1
keyword
94
1.
semantics of programming languages
2.
computer programming languages
3.
object-oriented programming languages
4.
problem-oriented programming languages
5.
programming languages
6.
bialgebraic semantics
7.
big-step semantics
8.
business semantics
9.
categorical semantics
10.
compositional semantics
11.
content semantics
12.
counterpart semantics
13.
denotational semantics
14.
emergent semantics
15.
formal semantics
16.
game-theoretic semantics
17.
neighborhood semantics
18.
Operational semantics
19.
question-answer semantics
20.
semantics
21.
semantics-driven recommendation
22.
structural operational semantics
23.
time semantics
24.
trace semantics
25.
atoms of regular languages
26.
Common European Framework of Reference for Languages
27.
context free languages
28.
context-free languages
29.
data flow languages
30.
domain specific languages
31.
formal languages
32.
Indigenous languages
33.
less-resourced languages
34.
low-resource languages
35.
modeling languages
36.
object constraint languages
37.
problem-oriented languages
38.
query languages
39.
regular languages
40.
textual domain specific languages
41.
under-resourced languages
42.
adaptive programming
43.
advanced programming and software
44.
API (Application Programming Interface)
45.
automatic programming
46.
C++ programming language
47.
chance-constrained programming
48.
computer programming
49.
constraint programming
50.
convex programming
51.
dataflow programming
52.
degenerate and infeasible linear programming problems
53.
dependently typed programming
54.
discrete-convex programming
55.
dynamic programming
56.
Extreme Programming
57.
functional reactive programming
58.
game programming
59.
generative programming
60.
genetic programming
61.
hardware close programming
62.
Inductive logic programming
63.
initial solution to the linear programming problem
64.
in-system programming
65.
integer linear programming
66.
integer linear programming (ILP)
67.
integrated programming system
68.
intelligent programming environment
69.
linear integer programming
70.
linear programming
71.
logarithmic fuzzy preference programming (LFPP)
72.
mathematical programming
73.
mathematical structures in functional programming
74.
mixed integer linear programming
75.
mixed integer linear programming (MILP)
76.
mixed integer nonlinear programming
77.
mixed-integer linear programming
78.
multi-objective nonlinear programming
79.
Nc-programming
80.
object-oriented programming
81.
pair-programming
82.
programming
83.
programming and vision
84.
programming basics
85.
programming education
86.
programming time
87.
quadratic programming
88.
robot programming
89.
skills assessment of programming and mathematics
90.
solving linear programming problems
91.
stochastic dynamic programming
92.
stochastic programming
93.
structured programming
94.
wireless programming
author
1
1.
Tallinn Polytechnic Institute, Chair of Foreign Languages
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT