Executing an SECD machine using logic programming
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
A concurrency simulator designed for sophomore-level instruction
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Modular Monadic Program Slicing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Object-oriented description of graph data structures
Programming and Computing Software
Models in Conflict --- Towards a Semantically Enhanced Version Control System for Models
Models in Software Engineering
A rewriting logic approach to operational semantics
Information and Computation
Automation technique of software internationalization and localization based on lexical analysis
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Formal Semantics of Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Race analysis for systemc using model checking
ACM Transactions on Design Automation of Electronic Systems (TODAES)
On languages for the specification of integrity constraints in spatial conceptual models
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Metamodeling UML in rewriting logic
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Obtaining a COBOL grammar from legacy code for reengineering purposes
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Teaching semantics of programming languages with modular SOS
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Semantic separator learning and its applications in unsupervised Chinese text parsing
Frontiers of Computer Science: Selected Publications from Chinese Universities
The rewriting logic semantics project: A progress report
Information and Computation
A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
International Journal of Approximate Reasoning
Hi-index | 0.00 |
From the Publisher:Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach presents a panorama of techniques in formal syntax, operational semantics and formal semantics. Using a teaching/learning perspective rather than a research-oriented approach, an understanding of the meta-languages is accessible to anyone with a basic grounding in discrete mathematics and programming language concepts. Throughout the book, valuable hands-on laboratory exercises provide the opportunity for practical application of difficult concepts. Various exercises and examples, implementing syntactic and semantic specifications on real systems, give students hands-on practice. Supplemental software is available on disk or via file transfer protocol. This book is suitable for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages.