LOIS: Syntax and Semantics

被引：0

作者：

Kopczynski, Eryk ^{[1
]}

Torunczyk, Szymon ^{[1
]}

机构：

[1] Univ Warsaw, Warsaw, Poland

来源：

ACM SIGPLAN NOTICES | 2017年 / 52卷 / 01期

关键词：

Sets with atoms; definable sets;

D O I：

10.1145/3009837.3009876

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present the semantics of an imperative programming language called LOIS (Looping Over Infinite Sets), which allows iterating through certain infinite sets, in finite time. Our semantics intuitively correspond to execution of infinitely many threads in parallel. This allows to merge the power of abstract mathematical constructions into imperative programming. Infinite sets are internally represented using first order formulas over some underlying logical structure, and SMT solvers are employed to evaluate programs.

引用

页码：586 / 598

页数：13

共 50 条

[1] SYNTAX AND SEMANTICS
LENTIN, A
INTERNATIONAL SOCIAL SCIENCE JOURNAL, 1971, 23 (03) : 453 - 461
[2] ETRE AND AVOIR - IS IT FROM SEMANTICS TO SYNTAX OR FROM SYNTAX TO SEMANTICS
SCHMIDELY, J
REVUE DES LANGUES ROMANES, 1991, 95 (01) : 147 - 157
[3] SYNTAX, FUNCTIONAL SEMANTICS, AND REFERENTIAL SEMANTICS
LOAR, BF
BEHAVIORAL AND BRAIN SCIENCES, 1980, 3 (01) : 89 - 90
[4] Sex, syntax, and semantics
Boroditsky, L
Schmidt, LA
PROCEEDINGS OF THE TWENTY-SECOND ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2000, : 42 - 47
[5] Semantics Beats Syntax
Edwards, Chris
COMMUNICATIONS OF THE ACM, 2021, 64 (08) : 14 - 15
[6] Russian syntax and semanticsРусский синтаксис и семантика
Frederik Kortlandt
Russian Linguistics, 2008, 32 (2) : 115 - 123
[7] Viewcharts: Syntax and semantics
Isazadeh, Ayaz
Karimpour, Jaber
INFORMATICA, 2008, 19 (03) : 345 - 362
[8] Russian syntax and semantics
Kortlandt, Frederik
RUSSIAN LINGUISTICS, 2008, 32 (02) : 115 - 123
[9] SYNTAX AND SEMANTICS - INTRODUCTION
BORER, H
SYNTAX AND SEMANTICS, 1986, 19 : 1 - 11
[10] SYNTAX AND SEMANTICS OF K
Nenezic, Sonja
FOLIA LINGUISTICA ET LITTERARIA, 2019, (27): : 209 - 218

← 1 2 3 4 5 →