An Integrated Approach to Teaching of Abstract Query Languages and their Implementations

被引：0

作者：

Sunderraman, Rajshekhar ^{[1
]}

机构：

[1] Georgia State Univ, Atlanta, GA 30303 USA

来源：

PROCEEDINGS OF THE 45TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION (SIGCSE'14) | 2014年

关键词：

Domain Relational Calculus; Datalog; Relational Algebra; Interpreters; Translators;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：717 / 717

页数：1

共 50 条

[21] ABSTRACT IMPLEMENTATIONS AND CORRECTNESS PROOFS
BERNOT, G
BIDOIT, M
CHOPPY, C
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 210 : 236 - 251
[22] Teaching Query Writing: An Informed Instruction Approach
Hollingsworth, Joseph E.
ITICSE '08: PROCEEDINGS OF THE 13TH ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2008, : 351 - 351
[23] CHARACTERIZING COMPOSABILITY OF ABSTRACT IMPLEMENTATIONS
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 335 - 346
[24] CORRECTNESS PROOFS FOR ABSTRACT IMPLEMENTATIONS
BERNOT, G
INFORMATION AND COMPUTATION, 1989, 80 (02) : 121 - 151
[25] Demo Abstract: Teaching Pervasing Computing with an integrated environment
Lalanda, Philippe
McCann, Julie A.
Hamon, Catherine
2015 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATION WORKSHOPS (PERCOM WORKSHOPS), 2015, : 205 - 207
[26] Open Languages and Their Machine Implementations
Lapshin, V. A.
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2011, 45 (06) : 278 - 287
[27] BaLinda suite of languages and implementations
Natl Univ of Singapore, Kent Ridge, Singapore
J Syst Software, 3 (251-267):
[28] BaLinda suite of languages and implementations
Yuen, CK
Feng, MD
Yee, JJ
JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 251 - 267
[29] Open languages and their machine implementations
V. A. Lapshin
Automatic Documentation and Mathematical Linguistics, 2011, 45 (6) : 278 - 287
[30] COMPLETENESS OF QUERY LANGUAGES
LIVCHAK, AB
PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (02) : 51 - 60

← 1 2 3 4 5 →