Using many-sorted natural semantics to specify and generate semantic analysis

Authors:
S. Glesner;W. Zimmermann
Affiliations:
-;-
Venue:
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
Year:
1998

Citing 0
Cited 4

Formalizing the safety of Java, the Java virtual machine, and Java card

ACM Computing Surveys (CSUR)
A survey of semantic description frameworks for programming languages

ACM SIGPLAN Notices
Natural semantics as a static program analysis framework

ACM Transactions on Programming Languages and Systems (TOPLAS)
ASMs versus natural semantics: a comparison with new insights

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice

Quantified Score

Hi-index	0.00

Visualization

Abstract