Program Specific Transition Systems (original) (raw)

System Informatics, 2017

The formal semantics of programming languages: an introduction

G. Winskel

Choice Reviews Online

Domain-Specific Transition Systems and Their Application to a Formal Definition of a Model Programming Language

Bulletin of the Novosibirsk Computing Center. Series:Computer Science, 2014

Semantics of Programming Languages

Alberto Pettorossi

2016

Conceptual Transition Systems and Their Application to Development of Conceptual Models of Programming Languages

System Informatics, 2017

Operational Semantics Development for Procedural Programming Languages Based on Conceptual Transition Systems

2015

Labelled transition logic: an outline

Egidio Astesiano

Acta Informatica, 2001

Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995

Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings

Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings

Mathematical Foundations of Programming Semantics, 1992

Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems

SPIIRAS Proceedings

Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings

Mathematical Foundations of Programming Semantics, 1994

Modular Semantics for Transition System Specifications with Negative Premises

Mohammadreza Mousavi

Formal Semantics of Programming Languages - An Overview

Peter Mosses

Electronic Notes in Theoretical Computer Science, 2006

A Transition System Semantics for the Control-Driven Coordination Language

Marcello Bonsangue

An approach to program verification

Raymond Yeh

The proceedings of the thirteenth design automation conference on Design automation - DAC '76, NO. 13, 1976

A Hierarchy of SOS Rule Formats

Mohammad Reza Mousavi

Electronic Notes in Theoretical Computer Science, 2006

Proving properties about programs which share.

Tony Clark

1997

A Hierarchy of SOS Rule Formats (Preliminary abstract)

Jan Friso Groote

2005

A case study in specifying the semantics of a programming language

Paul Klint

Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '80, 1980

Towards a general ontology of computer programs

Pascal Lando

Proceedings of the 2nd …, 2007

Axiomatic definitions of programming languages, II

Albert R Meyer

1981

Towards Correct Executable Semantics for Z

Jonathan Bowen

Z User Workshop, Cambridge 1994, 1994

Semantics-based generation of verification conditions by program specialization

Alberto Pettorossi

2016

Logic and Program Semantics

R. Constable

Lecture Notes in Computer Science, 2012

An algebraic approach to semantics of programming languages

Alexey Lastovetsky

Theoretical Computer Science, 1994

Topics in Semantics-based Program Manipulation

Bernd Grobauer

2001

Logical specification of processes

Marie Duží

A comparative study of two formal semantics of the SIGNAL language

Mamoun Filali

Frontiers of Computer Science, 2013

Semi-automatic transformation from formal specifications to programs

Shaoying Liu

iceccs, 1996

Specification, abstraction and verification in a concurrent object-oriented language

Ulrike Lechner

1996