On the need for a popular formal semantics

Authors:
David A. Schmidt
Affiliations:
Kansas State University
Venue:
ACM SIGPLAN Notices
Year:
1997

Citing 0
Cited 8

On the application of a popular notation to semantics

ACM SIGPLAN Notices
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
The Varieties of Programming Language Semantics

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Model Checking Algol-Like Languages Using Game Semantics

FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Integrating Domain Specific Language Design in the Software Life Cycle

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Reasoning about Idealized ALGOL Using Regular Languages

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
The regular-language semantics of second-order idealized ALGOL

Theoretical Computer Science
Incremental programming language development

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

The technology transfer from semantics research to mainstream computing has been hampered by specialization of techniques at the expense of calculational clarity. A "popular semantics" is proposed as a remedy.