MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Semantic Preserving Translations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

53 documents found, showing 1 through 10. Next 10 →

ATOM

Verification of Business Process Models
by Ivo Petr Matousek, Advisor Prof — 2003
… verication tools. The way how to do this is in a semantics preserving translation from the standard language…
Cited by 5 (0 self) – Add To MetaCart

Actor Languages: Their Syntax, Semantics, Translation, and Equivalence
by Ian A. Mason, Carolyn L. Talcott — 1999 — Theoretical Computer Science
…@(email omitted); Abstract In this paper we present two actor languages and a semantics preserving translation between them…
Cited by 12 (6 self) – Add To MetaCart

Semantics and expressiveness of ordered SOS
by Mohammadreza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski — 2007
… with orderings, and present semantics-preserving translations between them with respect to our preferred notion…
Cited by 3 (0 self) – Add To MetaCart

Model Checking in CLP
by Giorgio Delzanno, Andreas Podelski — 1999
… for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation…
Cited by 76 (25 self) – Add To MetaCart

Automatic software model checking using CLP
by Cormac Flanagan, Hewlett Packard Laboratories — 2003 — In Proceedings of ESOP
… programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving…
Cited by 7 (1 self) – Add To MetaCart

Specification and Verification of Gate-Level VHDL Models of Synchronous and Asynchronous Circuits
by David M. Russinoff — 1994
… semantics-preserving translation to a subset of VHDL. Our HDL includes the basic VHDL propagation delay…
Cited by 2 (0 self) – Add To MetaCart

Constraint-based Deductive Model Checking
by Giorgio Delzanno, Andreas Podelski — 2001
… for the model checking of innite-state systems. Our contributions are: (1) a semantics-preserving translation…
Cited by 18 (4 self) – Add To MetaCart

An Object-Oriented Rule-Based Approach To Data Model And Schema Translation
by S.Y.W. Su, S.C. Fang, H. Lam — 1993
… in the diverse data models used by these systems. A semantic preserving translation of different modeling…
Cited by 3 (0 self) – Add To MetaCart

A Formalization of a Subset of VHDL
by David M. Russinoff — 1993 — in the Boyer-Moore Logic", Formal Methods in System Design, Vol 7, No 1/2
… description language that admits a semantics-preserving translation to a subset of VHDL. The language is based…
Cited by 6 (0 self) – Add To MetaCart

A Formalization of a Subset of VHDL
by David Russinoff Computational, David M. Russinoff — 1993 — in the Boyer-Moore Logic", Formal Methods in System Design, Vol 7, No 1/2
… description language that admits a semantics-preserving translation to a subset of VHDL. The language is based…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB