Search results for "semantics-preserving translation"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Fu Zhang, Z. M. Ma, Hailong Wang, Xiangfu Meng	A Formal Semantics-Preserving Translation from Fuzzy Relational Database Schema to Fuzzy OWL DL Ontology.	ASWC	2008	DBLP DOI BibTeX RDF	Fuzzy Relational Database Schema (FRDBS), fuzzy OWL DL ontology, semantics-preserving translation, fuzzy database, fuzzy ontology
2	Fu Zhang, Z. M. Ma, Yanhui Lv, Xing Wang	Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Z. M. Ma, Fu Zhang, Li Yan, Yanhui Lv	Formal semantics-preserving translation from fuzzy ER model to fuzzy OWL DL ontology.	Web Intelligence and Agent Systems	2010	DBLP DOI BibTeX RDF
1	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
1	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca	A provenly correct translation of Fickle into Java.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	semantics preserving translation, Type and effect systems
1	James Reynolds	Automatically Translating Type and Function Definitions from HOL to ACL2.	TPHOLs	2007	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Insup Lee, Duncan Clarke	Schedulability analysis of AADL models.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
1	José Meseguer, Christiano Braga	Modular Rewriting Semantics of Programming Languages.	AMAST	2004	DBLP DOI BibTeX RDF
1	Cormac Flanagan	Automatic Software Model Checking Using CLP.	ESOP	2003	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Andreas Podelski	Model Checking in CLP.	TACAS	1999	DBLP DOI BibTeX RDF
1	Ian A. Mason, Carolyn L. Talcott	A Semantically Sound Actor Tranlsation.	ICALP	1997	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )