A Note on Semantics (with an Emphasis on UML) (original) (raw)
Related papers
Semantics of Programming Languages
2016
A case study in specifying the semantics of a programming language
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, 1980
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)
New Approach to Categorical Semantics for Procedural Languages
Computing and Informatics, 2017
A Modified Denotational Approach for a Semantics of a Programming Languages
Modular Description of a Comprehensive Semantics Model for the UML
Modeling Languages: Syntax, Semantics and All That Stu
2000
The formal semantics of programming languages: an introduction
Choice Reviews Online
Abstracting an operational semantics to finite automata
arXiv (Cornell University), 2014
Formal Semantics of Programming Languages - An Overview
Electronic Notes in Theoretical Computer Science, 2006
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Operational Semantics: Concepts and Their Expression
… SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE …, 2003
Nonsequential Automata Semantics for a Concurrent, Object-Based Language
Electronic Notes in Theoretical Computer Science, 1998
Formal semantics and the logical structure of programming languages
A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique
Lecture Notes in Computer Science, 2001
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Electronic Proceedings in Theoretical Computer Science
A Heterogeneous Approach to UML Semantics
Lecture Notes in Computer Science, 2008
A formal semantics of UML sequence diagram
2004 Australian Software Engineering Conference. Proceedings., 2004
Mathematical Foundations of Programming Semantics, 1992
Towards an Integrated Graph Based Semantics for UML
Electronic Notes in Theoretical Computer Science, 2003
2nd UML 2 Semantics Symposium: Formal Semantics for UML
2006
Formal semantics of an industrially applicable variant of the Specification and Description Language
Iet Software/iee Proceedings - Software, 2001
A Radical Reduction of UML’s Core Semantics
Lecture Notes in Computer Science, 2002
Compositional Specification of Behavioral Semantics
2007 Design, Automation & Test in Europe Conference & Exhibition, 2007
Dynamic Semantics for Language-Based Programming Environments Revisited
1999
UML formal semantics: lessons learned
Software & Systems Modeling, 2011
System model semantics of class diagrams
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
Lecture Notes in Computer Science, 2001
Mathematical Foundations of Programming Semantics, 1994