Papers by Katarína Burdigová
ESOP'90, Jan 1, 1990
Page 1. Type Inference for Action Semantics Susan Even* and David A. Schmidt t Computing and Info... more Page 1. Type Inference for Action Semantics Susan Even* and David A. Schmidt t Computing and Information Sciences Dept. ... Figure 1 lists the types in the functional and declarative facets and their orderings. We use ns ("nonsense") to stand for an undefined type. Call ns the ...
… Foundations of Programming Language Semantics, Jan 1, 1988
The basic notion of action semantics is that of an action. An action is an entity that may be per... more The basic notion of action semantics is that of an action. An action is an entity that may be performed, receiving information and (perhaps) producing new information. The semantics of a programming language is defined by mapping phrases (such as expessions, ...
ACTION SEMANTICS, Jan 1, 1994
Actions speak louder than words: Action Semantics is now being used in practical applications! Th... more Actions speak louder than words: Action Semantics is now being used in practical applications! This workshop surveyed recent achievements, demonstrated tools, and coordinated projects. It was open to all.
«UML» 2001—The Unified …, Jan 1, 2001
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) -a pr... more This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) -a precise meta-modelling language designed for developing families of UML languages. Actions are defined as computational procedures with side-effects. The action semantics are described in the MML style, with model, instance and semantic packages. Different actions are described as specializations of the basic action in their own package. The aim is to show that by using a Catalysis like package extension mechanism, with precise mappings to a simple semantic domain, a well-structured and extensible model for an action language can be obtained.
Information Systems, Jan 1, 2002
A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of ... more A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain-specific languages exist for a variety of reasons. As productivity tools, they are used to make application prototyping and development faster and more robust in the presence of evolving requirements. Furthermore, by bridging the "semantic gap" between an application domain and program code, DSLs increase the opportunity to apply formal methods in proving properties of an application.
STACS 89, Jan 1, 1989
The aim of this invited paper is to give an introduction to the author's work on two distinc... more The aim of this invited paper is to give an introduction to the author's work on two distinct, yet closely related, topics: "Unified Algebras", a recently-developed framework for the algebraic specification of abstract data types; and "Action Semantics", earlier known as "Abstract Semantic ...
Mathematical Foundations of Computer Science 1996, Jan 1, 1996
Advanced Information …, Jan 1, 2001
The UML lacks precise and formal foundations for several constructs such as transition guards or ... more The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of "uninterpreted" expressions. The Action Semantics proposal aims at filling this gap by providing both a metamodel integrated into the UML metamodel, and a model of execution for these statements. As a future OMG standard, the Action Semantics eases the move to tool interoperability, and allows for executable modeling and simulation. We explore in this paper a specificity of the Action Semantics: its applicability to the UML metamodel, itself a UML model. We show how this approach paves the way for powerful metaprogramming capabilities such as refactoring, aspect weaving, application of design patterns or round-trip engineering. Furthermore, the overhead for designers is minimal, as mappings from usual objectoriented languages to the Action Semantics will be standardized. We focus on an approach for expressing manipulations on UML models with the upcoming Action Semantics. We illustrate this approach by various examples of model transformations.
Compiler Construction, Jan 1, 1992
We report progress on the development of Actress, a compiler generator based on action semantics.... more We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of modules, written in SML, that can be composed to construct either an action notation compiler or a simple compiler generator. We also outline current and future developments that will improve the quality of the generated compilers.
Journal of Logic and Algebraic Programming, Jan 1, 2004
Using MSOS, the transition rules for each construct of a programming language can be given increm... more Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity in language descriptions, removing a shortcoming of the original SOS framework.
Science of Computer Programming, Jan 1, 2003
This article demonstrates a method for composing a programming language by combining action-seman... more This article demonstrates a method for composing a programming language by combining action-semantics modules. Each module is defined separately, and then a programming-language module is defined by combining existing modules. This method enables the language designer to gradually develop a language by defining, selecting and combining suitable modules. The resulting modular structure is substantially different from that previously employed in action-semantic descriptions.
DAIMI PB, Jan 1, 1989
Abstract Formal descriptions of semantics have so far failed to match the acceptance and populari... more Abstract Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal descriptions of syntax. Thus, in current standards for programming languages, syntax is usually described formally but semantics informally, despite the ...
Actions speak louder than words: Action Semantics is now being used in practical applications! Th... more Actions speak louder than words: Action Semantics is now being used in practical applications! This workshop surveyed recent achievements, demonstrated tools, and coordinated projects. It was open to all.
Uploads
Papers by Katarína Burdigová