Formal Semantics of Programming Languages: An Overview Export

@inproceedings{FormalSemanticsOverview, abstract = {These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study.}, author = {Mosses, Peter D.}, booktitle = {Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004)}, citeulike-article-id = {623501}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.entcs.2005.12.012}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S1571066106000429}, citeulike-linkout-2 = {http://www.sciencedirect.com/science/article/B75H1-4J383YW-4/2/5bc5531dbfd2d8836dd347f817cacecb}, day = {01}, doi = {10.1016/j.entcs.2005.12.012}, issn = {15710661}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {language, language-criteria, semantics, specification}, month = {February}, number = {1}, pages = {41--73}, posted-at = {2007-10-05 16:58:06}, priority = {3}, publisher = {Elsevier Science Inc.}, title = {Formal Semantics of Programming Languages: An Overview}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.012}, volume = {148}, year = {2006} }

TY - CONF ID - FormalSemanticsOverview L3 - citeulike-article-id:623501 N2 - These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and potential applicability to visual and modelling languages. References to the literature provide starting points for further study. IS - 1 JF - Electronic Notes in Theoretical Computer Science SN - 15710661 EP - 73 TI - Formal Semantics of Programming Languages: An Overview PB - Elsevier Science Inc. VL - 148 T2 - Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004) SP - 41 KW - language KW - language-criteria KW - semantics KW - specification AU - Mosses, Peter PY - 2006/02/01/ UR - http://dx.doi.org/10.1016/j.entcs.2005.12.012 ER -