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 条

[21] SYNTAX AND SEMANTICS - INTRODUCTION
HUCK, GJ
OJEDA, AE
SYNTAX AND SEMANTICS, 1987, 20 : 1 - 10
[22] STOIC SYNTAX AND SEMANTICS
EGLI, U
HISTORIOGRAPHIA LINGUISTICA, 1986, 13 (2-3) : 281 - +
[23] French syntax and semantics
Vinet, MT
UNIVERSITY OF TORONTO QUARTERLY, 2002, 72 (01) : 168 - 172
[24] Existence: Semantics and syntax
Francez, Itamar
McNally, Louise
JOURNAL OF LINGUISTICS, 2010, 46 (02) : 493 - 499
[25] SYNTAX AND SEMANTICS - INTRODUCTION
STOWELL, T
WEHRLI, E
SYNTAX AND SEMANTICS, 1992, 26 : 1 - +
[26] From syntax to semantics
Rappaport, A
NATURE BIOTECHNOLOGY, 1997, 15 (12) : 1228 - 1228
[27] SYNTAX, SEMANTICS, PRAGMATICS
GRANGER, GG
REVUE INTERNATIONALE DE PHILOSOPHIE, 1976, 30 (117-) : 376 - 410
[28] LOGICAL SYNTAX AND SEMANTICS
Bar-Hillel, Yehoshua
LANGUAGE, 1954, 30 (02) : 230 - 237
[29] From the syntax to the semantics
Aldea, Maria
REVUE ROUMAINE DE LINGUISTIQUE-ROMANIAN REVIEW OF LINGUISTICS, 2014, 59 (04): : 401 - 403
[30] Request: syntax and semantics
Mederos Martin, Humberto
REVISTA DE FILOLOGIA DE LA UNIVERSIDAD DE LA LAGUNA, 2007, 25 : 417 - 424

← 1 2 3 4 5 →