Implementation of a Finite State Machine with Active Libraries in C++

Authors:
Zoltán Juhász;Ádám Sipos;Zoltán Porkoláb
Affiliations:
Department of Programming Languages and Compilers Faculty of Informatics, Eötvös Loránd University, Budapest, H-1117;Department of Programming Languages and Compilers Faculty of Informatics, Eötvös Loránd University, Budapest, H-1117;Department of Programming Languages and Compilers Faculty of Informatics, Eötvös Loránd University, Budapest, H-1117
Venue:
Generative and Transformational Techniques in Software Engineering II
Year:
2007

Citing 15
Cited 2

The design and evolution of C++

The design and evolution of C++
Algorithm-oriented generic libraries

Software—Practice & Experience
Curiously recurring template patterns

C++ Report
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Modern C++ design: generic programming and design patterns applied

Modern C++ design: generic programming and design patterns applied
The C++ Programming Language

The C++ Programming Language
Introduction to Automata Theory, Languages and Computability

Introduction to Automata Theory, Languages and Computability
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
C++ Templates

C++ Templates
Generative Programming and Active Libraries

Selected Papers from the International Seminar on Generic Programming
C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ in Depth Series)

C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ in Depth Series)
Beyond the C++ Standard Library

Beyond the C++ Standard Library
A language for generic programming

A language for generic programming
Concepts: linguistic support for generic programming in C++

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Simple and safe SQL queries with c++ templates

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering

Functional programming with C++ template metaprograms

CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
C++ metastring library and its applications

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III

Quantified Score

Hi-index	0.00

Visualization

Abstract

Active libraries are code parts playing an active role during compilation. In C++ active libraries are implemented with the help of template metaprogramming (TMP) techniques. In this paper we present an active library designed as an implementation tool for Finite state machines. With the help of various TMP constructs, our active library carries out compile-time actions like optimizations via state-minimalization, and more sophisticated error-detection steps. Our library provides extended functionality to the Boost::Statechart library, the popular FSM implementation of the Boost library. We describe the implementation and analyze the efficiency.