Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

The Relationship between the Law and Public Policy: Is it a Chi-Square or Normative Shape for the Policy Makers?

Oftentimes we consider how the law and public policy were interwoven one another for any fine appeal to the constituents and global public. Nonetheless, we are fairly never definite to suggest any hard picture of their relationship. It rather involves an issue of meditative process of philosophy, humanity and social justice as well as a wider of public contention from the purview of temporal and spatial evolution. The paper, in the face with this difficult conundrum, attempts to highlight some of basics despite a surfeit of work products in this field. The paper begins with the instant queries or explanation from the peer scholar practitioners, which would be some of communication with the author. Then the author elicits some of principled relationship between the two concepts

The ModelCC Model-Driven Parser Generator

Syntax-directed translation tools require the specification of a language by means of a formal grammar. This grammar must conform to the specific requirements of the parser generator to be used. This grammar is then annotated with semantic actions for the resulting system to perform its desired function. In this paper, we introduce ModelCC, a model-based parser generator that decouples language specification from language processing, avoiding some of the problems caused by grammar-driven parser generators. ModelCC receives a conceptual model as input, along with constraints that annotate it. It is then able to create a parser for the desired textual syntax and the generated parser fully automates the instantiation of the language conceptual model. ModelCC also includes a reference resolution mechanism so that ModelCC is able to instantiate abstract syntax graphs, rather than mere abstract syntax trees.Comment: In Proceedings PROLE 2014, arXiv:1501.0169