FORMAL SEMANTICS + A SURVEY OF THE LITERATURE

被引：0
|
作者：
LUTZEIER, PR
机构：
来源：
ZEITSCHRIFT FUR SEMIOTIK | 1988年 / 10卷 / 04期
关键词：
D O I：
暂无
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
引用
收藏
页码：427 / 452
页数：26
相关论文
共 50 条
  • [41] Formal Semantics, Pragmatics and Syntax
    Conde, Dirceu Cleber
    Basso, Renato Miguel
    CADERNOS DE ESTUDOS LINGUISTICOS, 2020, 62
  • [42] Study on the formal semantics of Verilog
    Li, Yong-Jian
    Sun, Yong-Qiang
    He, Ji-Feng
    Ruan Jian Xue Bao/Journal of Software, 2001, 12 (10): : 1573 - 1580
  • [43] Towards a formal TMQL semantics
    Barta, Robert
    Leveraging the Semantics of Topics Maps, 2007, 4438 : 90 - 106
  • [44] Formal semantics of synchronous SystemC
    Salem, A
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 376 - 381
  • [45] THE IDEA AND PROBLEM OF A FORMAL SEMANTICS
    PUNTEL, LB
    ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1977, 31 (03): : 413 - 427
  • [46] A formal semantics for protocol narrations
    Briais, S
    Nestmann, U
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 163 - 181
  • [47] The formal execution semantics of SpecC
    Mueller, W
    Dömer, R
    Gerstlauer, A
    ISSS'02: 15TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2002, : 150 - 155
  • [48] Formal semantics of visual occam
    Al-Mulhem, M
    Ali, S
    COMPUTER LANGUAGES, 1998, 24 (02): : 99 - 113
  • [49] Formal Semantics: stories and challenges
    Neto, Jose Borges
    Mueller, Ana
    de Oliveira, Roberta Pires
    REVISTA DE ESTUDOS DA LINGUAGEM, 2012, 20 (01) : 119 - 148
  • [50] A formal semantics for program debugging
    Wei Li
    Ning Li
    Science China Information Sciences, 2012, 55 : 133 - 148
12345