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 条
  • [41] On facts in the syntax and semantics of Italian
    Delfitto, Denis
    Romance Languages and Linguistic Theory 2003, 2005, 270 : 15 - 35
  • [42] On the Syntax and Semantics of Effect Axioms
    Ismail, Haythem O.
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 223 - 236
  • [43] From Syntax to Semantics for AI
    Schaefer, Robert
    COMMUNICATIONS OF THE ACM, 2012, 55 (03) : 6 - 6
  • [44] When syntax meets semantics
    Gunter, TC
    Stowe, LA
    Mulder, G
    PSYCHOPHYSIOLOGY, 1997, 34 (06) : 660 - 676
  • [45] SYNTAX, SEMANTICS AND HUMAN INTERESTS
    GIERE, RN
    SOCIAL STUDIES OF SCIENCE, 1991, 21 (01) : 150 - 153
  • [46] Issues in Salish Syntax and Semantics
    Davis, Henry
    Matthewson, Lisa
    LANGUAGE AND LINGUISTICS COMPASS, 2009, 3 (04):
  • [47] SEMANTICS AND SYNTAX - MILLER,J
    GOLDSMITH, J
    JOURNAL OF LINGUISTICS, 1986, 22 (02) : 485 - 489
  • [48] The syntax and semantics of wanting in Indonesian
    Polinsky, Maria
    Potsdam, Eric
    LINGUA, 2008, 118 (10) : 1617 - 1639
  • [49] The phraseology: semantics, syntax, speech
    Pause, Marie-Sophie
    FRANCAIS MODERNE, 2019, 87 (01): : 129 - 135
  • [50] OCL: Syntax, semantics, and tools
    Richters, M
    Gogolla, M
    OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 42 - 68
12345