HIGH-LEVEL SEMANTICS - AN INTEGRATED APPROACH TO PROGRAMMING LANGUAGE SEMANTICS AND THE SPECIFICATION OF IMPLEMENTATIONS

被引：0

作者：

PLEBAN, UF ^{[1
]}

LEE, P ^{[1
]}

机构：

[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 298卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：550 / 571

页数：22

共 50 条

[1] A PROTOCOL SPECIFICATION LANGUAGE WITH A HIGH-LEVEL PETRI-NET SEMANTICS
ZOUARI, B
HADDAD, S
TAGHELIT, M
[J]. DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 225 - 241
[2] On implementations and semantics of a concurrent programming language
Sewell, P
[J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 391 - 405
[3] Compositional high-level Petri net semantics of a parallel programming language with procedures
Klaudel, H
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2001, 41 (03) : 195 - 240
[4] PASCAL SEMANTICS BY A COMBINATION OF DENOTATIONAL SEMANTICS AND HIGH-LEVEL PETRI NETS
JENSEN, K
SCHMIDT, EM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 297 - 329
[5] Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
Bichsel, Benjamin
Baader, Maximilian
Gehr, Timon
Vechev, Martin
[J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 286 - 300
[6] Programming language semantics
Schmidt, DA
[J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 265 - 267
[7] Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics
Anwar, Saadat
Baral, Chitta
[J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 981 - 988
[8] A METALOGIC PROGRAMMING APPROACH - LANGUAGE, SEMANTICS AND APPLICATIONS
COSTANTINI, S
LANZARONE, GA
[J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1994, 6 (03) : 239 - 287
[9] A Theorem Proving Approach to Programming Language Semantics
Roy, Subhajit
[J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, 2023, : 153 - 165
[10] SEMANTICS OF A HARDWARE SPECIFICATION LANGUAGE
LARSSON, T
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 637 - 643

← 1 2 3 4 5 →