AN IMPLEMENTATION OF FORMAL SEMANTICS

被引：0
|
作者：
DOMINICY, M
VANDERHOEFT, C
机构：
来源：
FRANCAIS MODERNE | 1991年 / 59卷 / 01期
关键词：
D O I：
暂无
中图分类号：
H [语言、文字];
学科分类号：
05 ;
摘要：
引用
收藏
页码：36 / 55
页数：20
相关论文
共 50 条
  • [1] Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
    Christiansen, David Raymond
    Carbone, Marco
    Hildebrandt, Thomas
    [J]. WEB SERVICES AND FORMAL METHODS, 2011, 6551 : 146 - 160
  • [2] Implementation of EasyTime Formal Semantics using a LISA Compiler Generator
    Fister, Iztok, Jr.
    Mernik, Marjan
    Fister, Iztok
    Hrncic, Dejan
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (03) : 1019 - 1044
  • [3] The semantics of gender in Mayali: Partially parallel systems and formal implementation
    Evans, N
    Brown, D
    Corbett, GG
    [J]. LANGUAGE, 2002, 78 (01) : 111 - 155
  • [4] THE SEMANTICS OF GENDER IN MAYALI: PARTIALLY PARALLEL SYSTEMS AND FORMAL IMPLEMENTATION
    Evans, Nicholas
    Brown, Dunstan
    Corbett, Greville G.
    [J]. LANGUAGE, 2019, 95 : 111 - +
  • [5] Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
    Eckhardt, Jonas
    Muehlbauer, Tobias
    Meseguer, Jose
    Wirsing, Martin
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 99 : 24 - 74
  • [6] What is formal in formal semantics?
    Wolenski, J
    [J]. DIALECTICA, 2004, 58 (03) : 427 - 436
  • [7] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics
    Loebe, Frank
    Herre, Heinrich
    [J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +
  • [8] Bridging the gap between formal semantics and implementation of triple graph grammars
    Giese, Holger
    Hildebrandt, Stephan
    Lambers, Leen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2014, 13 (01): : 273 - 299
  • [9] The digital twin in autonomous robotics Formal models from the semantics to implementation
    Kast, Bernd
    Albrecht, Sebastian
    Dietrich, Vincent
    Wirnshofer, Florian
    Feiten, Wendelin
    von Wichert, Georg
    [J]. ATP MAGAZINE, 2019, (05): : 74 - 83
  • [10] Formal Semantics Applied to the Implementation of a Skeleton-Based Parallel Programming Library
    Falcou, Joel
    Serot, Jocelyn
    [J]. PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 243 - +
12345