A SYNTACTIC THEORY OF SEQUENTIAL CONTROL

被引：81
|
作者：
FELLEISEN, M
FRIEDMAN, DP
KOHLBECKER, E
DUBA, B
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1987年 / 52卷 / 03期
关键词：
D O I：
10.1016/0304-3975(87)90109-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：205 / 237
页数：33
相关论文
共 50 条
  • [1] A SYNTACTIC THEORY OF SEQUENTIAL STATE
    FELLEISEN, M
    FRIEDMAN, DP
    [J]. THEORETICAL COMPUTER SCIENCE, 1989, 69 (03) : 243 - 287
  • [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] THEORY OF SEMANTIC AND SYNTACTIC CONTROL OF SPEECH TIMING
    COOPER, WE
    [J]. JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 1976, 59 : S5 - S5
  • [7] A CONTROL-THEORY OF SEQUENTIAL RESPONSE PRODUCTION
    WIEGERSMA, S
    [J]. PSYCHOLOGICAL RESEARCH-PSYCHOLOGISCHE FORSCHUNG, 1982, 44 (02): : 175 - 188
  • [8] An Introduction to Syntactic Theory
    Oehl, Peter
    [J]. STUDIES IN LANGUAGE, 2008, 32 (04): : 950 - 955
  • [9] Syntactic analysis and theory
    Chircu, Adrian
    [J]. PHILOLOGICA JASSYENSIA, 2006, 2 (01): : 214 - 216
  • [10] SYNTACTIC THEORY IN THE 'ENCYCLOPEDIE'
    SWIGGERS, P
    [J]. LINGUA E STILE, 1983, 18 (02) : 161 - 176
12345