Equivariant syntax and semantics - (Abstract of invited talk)

被引：0

作者：

Pitts, AM ^{[1
]}

机构：

[1] Univ Cambridge, Comp Lab, Cambridge CB3 0FD, England

来源：

AUTOMATA, LANGUAGES AND PROGRAMMING | 2002年 / 2380卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The notion of symmetry in mathematical structures is a powerful tool in many branches of mathematics. The talk presents an application of this notion to programming language theory.

引用

页码：32 / 36

页数：5

共 50 条

[1] Abstract syntax and semantics of visual languages
Erwig, M
[J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (05): : 461 - 483
[2] Group Announcements: Logic and Games (Abstract of Invited Talk)
Agotnes, Thomas
[J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 9 - 13
[3] Theory and Practice of String Solvers (Invited Talk Abstract)
Kiezun, Adam
Guo, Philip J.
Hooimeijer, Pieter
Ernst, Michael D.
Ganesh, Vijay
[J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 6 - 7
[4] Exploratory mining in cube space - (Abstract of invited talk)
Ramakrishnan, Raghu
[J]. ICDM 2006: Sixth International Conference on Data Mining, Proceedings, 2006, : 6 - 6
[5] Refinements and product line architectures - Abstract of invited talk
Batory, D
[J]. SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 3 - 4
[6] Reasoning about staged computation - Abstract of invited talk
Pfenning, F
[J]. SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 5 - 6
[7] Security with Noisy Data (Extended Abstract of Invited Talk)
Skoric, Boris
[J]. INFORMATION HIDING, 2010, 6387 : 48 - 50
[8] FOUNDATIONS OF NOMINAL TECHNIQUES: LOGIC AND SEMANTICS OF VARIABLES IN ABSTRACT SYNTAX
Gabbay, Murdoch J.
[J]. BULLETIN OF SYMBOLIC LOGIC, 2011, 17 (02) : 161 - 229
[9] Data Dependencies and Program Slicing: from Syntax to Abstract Semantics
Mastroeni, Isabella
Zanardini, Damiano
[J]. PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 125 - 134
[10] Parametric higher-order abstract syntax for mechanized semantics
Chlipala, Adam
[J]. ACM SIGPLAN NOTICES, 2008, 43 (09) : 143 - 156

← 1 2 3 4 5 →