Foundations of programming languages, Second Edition

被引：0

作者：

Wilhelm, Reinhard ^{[1
]}

机构：

[1] Saarland Univ, Saarland Informat Campus,Campus E1 3,Room 405, D-66123 Saarbrucken, Germany

来源：

FORMAL ASPECTS OF COMPUTING | 2021年 / 33卷 / 06期

关键词：

D O I：

10.1007/s00165-021-00561-4

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1279 / 1280

页数：2

共 50 条

[1] Shaping the Foundations of Programming Languages
Hoffmann, Leah
[J]. COMMUNICATIONS OF THE ACM, 2021, 64 (06) : 120 - +
[2] Position Paper: Practical Foundations for Programming Languages
Harper, Robert
[J]. ACM SIGPLAN NOTICES, 2008, 43 (11) : 71 - 73
[3] Position paper: Practical foundations for programming languages
Computer Science Dept., Carnegie Mellon University, United States
[J]. ACM SIGPLAN Not., 2008, 11 (71-73):
[4] Foundations of engineering geology (second edition)
Dr. K. D. Privett
[J]. Geotechnical & Geological Engineering, 2002, 20 (4) : 393 - 393
[5] Review of 'The Bantu Languages, second edition'
van der Wal, Jenneke
[J]. LINGUISTIC TYPOLOGY, 2020, 24 (02) : 399 - 412
[6] Formal foundations for optimising aggregation functions in database programming languages
Poulovassilis, A
Small, C
[J]. DATABASE PROGRAMMING LANGUAGES, 1998, 1369 : 299 - 318
[7] Foundations of contemporary bibliotherapy: an academic handbook, Second Edition
Rojcewicz, Stephen
[J]. JOURNAL OF POETRY THERAPY, 2021, 34 (01) : 58 - 60
[8] The Philosophical Foundations of Social Work-Second Edition
Jordan, Peter
[J]. BRITISH JOURNAL OF SOCIAL WORK, 2023,
[9] Foundations of Crystallography with Computer Applications. Second edition
Mueller, Ulrich
[J]. ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2016, 72 : 171 - 172
[10] Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages
Gaintzarain, Jose
Lucio, Paqui
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (04)

← 1 2 3 4 5 →