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 条
  • [31] From syntax to semantics
    Alain Rappaport
    Nature Biotechnology, 1997, 15 : 1228 - 1228
  • [32] Actants in semantics and syntax II: actants in syntax
    Mel'cuk, I
    LINGUISTICS, 2004, 42 (02) : 247 - 291
  • [33] Compositional semantics: An introduction to the syntax/semantics interface
    Henderson, Robert
    LANGUAGE, 2017, 93 (03) : 716 - 717
  • [34] Actants in semantics and syntax - I: actants in semantics
    Mel'cuk, I
    LINGUISTICS, 2004, 42 (01) : 1 - 66
  • [35] Syntax and Semantics for Business Rules
    Liu, Xiaofan
    Alechina, Natasha
    Logan, Brian
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT IV, 2010, 6279 : 41 - 50
  • [36] SEMANTICS AND SYNTAX IN WORD LEARNING
    PRENTICE, JL
    JOURNAL OF VERBAL LEARNING AND VERBAL BEHAVIOR, 1966, 5 (03): : 279 - &
  • [37] On the Syntax and Semantics of Effect Axioms
    Ismail, Haythem O.
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 223 - 236
  • [38] SYNTHETIC COMPOUNDS - SYNTAX OR SEMANTICS
    VANSANTEN, A
    LINGUISTICS, 1986, 24 (03) : 645 - 660
  • [39] Syntax and Semantics in a Treebank for Esperanto
    Bick, Eckhard
    PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2020), 2020, : 5120 - 5127
  • [40] Visual Occam: Syntax and semantics
    King Fahd Univ of Petroleum and, Minerals, Dhahran, Saudi Arabia
    Comput Lang, 1 (1-24):
12345