Executable specification language for parallel symbolic computation

被引：0
作者：
Godlevsky, AB [1 ]
Hluchy, L [1 ]
机构：
[1] Slovak Acad Sci, Inst Informat, Bratislava 84237, Slovakia
来源：
EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS | 2000年 / 1900卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：754 / 757
页数：4
相关论文
共 50 条
[21]   MULTILISP - A LANGUAGE FOR CONCURRENT SYMBOLIC COMPUTATION [J].
HALSTEAD, RH .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (04) :501-538
[22]   An Executable Specification for SPARQL [J].
Bornea, Mihaela ;
Dolby, Julian ;
Fokoue, Achille ;
Kementsietsidis, Anastasios ;
Srinivas, Kavitha ;
Vaziri, Mandana .
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 :298-305
[23]   UML for executable specification [J].
Douglass, BP .
EDN, 2001, 46 (18) :83-+
[24]   <bold>RealSpec: An Executable Specification Language for Prototyping Concurrent Systems</bold> [J].
Khwaja, Amir A. ;
Urban, Joseph E. .
RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, :3-+
[25]   ESP - AN EXECUTABLE SPECIFICATION LANGUAGE FOR MIXED TIMING CONTROL-CIRCUITS [J].
CHU, TA ;
CAO, HT ;
LEUNG, CKC .
COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 :417-434
[26]   Preciseness for Predictability with the RealSpec Real-Time Executable Specification Language [J].
Khwaja, Amir A. ;
Urban, Joseph E. .
2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
[27]   Intertwining Implementation with the RealSpec Executable Real-Time Specification Language [J].
Khwaja, Amir A. ;
Urban, Joseph E. .
22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, :649-652
[28]   A parallel symbolic computation environment: Structures and mechanics [J].
Matooane, M ;
Norman, A .
EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 :1492-1495
[29]   Makefile::Parallel - Dependency specification language [J].
Simoes, Alberto ;
Fonseca, Ruben ;
Almeida, Jose Joao .
EURO-PAR 2007 PARALLEL PROCESSING, PROCEEDINGS, 2007, 4641 :33-+
[30]   Parallel symbolic processing in Refal language [J].
Mansurov, N.N. .
Programmirovanie, 1992, (06) :60-72
12345