A SYNTACTIC THEORY OF SEQUENTIAL STATE

被引：21
|
作者：
FELLEISEN, M [1 ]
FRIEDMAN, DP [1 ]
机构：
[1] INDIANA UNIV,DEPT COMP SCI,BLOOMINGTON,IN 47405
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 69卷 / 03期
关键词：
D O I：
10.1016/0304-3975(89)90069-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：243 / 287
页数：45
相关论文
共 50 条
  • [1] A SYNTACTIC THEORY OF SEQUENTIAL CONTROL
    FELLEISEN, M
    FRIEDMAN, DP
    KOHLBECKER, E
    DUBA, B
    [J]. THEORETICAL COMPUTER SCIENCE, 1987, 52 (03) : 205 - 237
  • [2] A complete, co-inductive syntactic theory of sequential control and state
    Stovring, Kristian
    Lassen, Soren B.
    [J]. ACM SIGPLAN NOTICES, 2007, 42 (01) : 161 - 172
  • [3] A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
    Stovring, Kristian
    Lassen, Soren B.
    [J]. CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 161 - 172
  • [4] A Complete, Co-inductive Syntactic Theory of Sequential Control and State
    Stovring, Kristian
    Lassen, Soren B.
    [J]. SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 329 - +
  • [5] THE REVISED REPORT ON THE SYNTACTIC THEORIES OF SEQUENTIAL CONTROL AND STATE
    FELLEISEN, M
    HIEB, R
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 103 (02) : 235 - 271
  • [6] An Introduction to Syntactic Theory
    Oehl, Peter
    [J]. STUDIES IN LANGUAGE, 2008, 32 (04): : 950 - 955
  • [7] Syntactic analysis and theory
    Chircu, Adrian
    [J]. PHILOLOGICA JASSYENSIA, 2006, 2 (01): : 214 - 216
  • [8] SYNTACTIC THEORY IN THE 'ENCYCLOPEDIE'
    SWIGGERS, P
    [J]. LINGUA E STILE, 1983, 18 (02) : 161 - 176
  • [9] Afterword: Nominalizations in syntactic theory
    Kornfilt, Jaklin
    Whitman, John
    [J]. LINGUA, 2011, 121 (07) : 1297 - 1313
  • [10] Semantic evidence and syntactic theory
    Newmeyer, Frederick J.
    [J]. FRUITS OF EMPIRICAL LINGUISTICS, VOL 1: PROCESS, 2009, 101 : 177 - 210
12345