MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Semantics of Data Types" – sorted by Relevance.

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

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

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

ATOM

The Semantics of C++ Data Types: Towards Verifying Low-Level System Components
by Michael Hohmuth, Hendrik Tews — 2003
…Accepted for TPHOLs 2003, emerging trends The Semantics of C++ Data Types: Towards Verifying low…
Cited by 9 (3 self) – Add To MetaCart

On Data Types Presented By Multiequations
by J. Adámek, M. Hébert — 2001
…. Multiinitial-algebra semantics for such data types is introduced. Classes of algebras described…
Add To MetaCart

A review of Macsyma
by Richard J. Fateman — 1989 — IEEE Trans. on Knowledge and Data Eng
… of the controversial ideas that worked, and some that did not. We consider input/output, language semantics, data types…
Cited by 4 (1 self) – Add To MetaCart

CSP-Casl – A new integration of process algebra and algebraic specification
by Markus Roggenbach — 2003 — Theoretical Computer Science
… part and, in particular, loose semantics for the data types covering both concepts partiality and sub…
Cited by 13 (6 self) – Add To MetaCart

A framework for automated service composition in service-oriented architecture
by Shalil Majithia, David W. Walker, W. A. Gray — 2004 — In 1st European Semantic Web Symposium
… automating the discovery and selection of the service, ensuring semantic and data type compatibility. We…
Cited by 5 (0 self) – Add To MetaCart

A Proposal for the Data Type Part of E-LOTOS Applicable to the Formal Description of OSI and ODP
by Mihaela Sighireanu, Hubert Garavel — 1995
… an abstract syntax, a static and a dynamic semantics for the data type language of ELOTOS. This language…
Cited by 1 (1 self) – Add To MetaCart

Multipol: A Distributed Data Structure Library
by Soumen Chakrabarti, Etienne Deprit, Eun-jin Im, Jeff Jones, Arvind Krishnamurthy, Chih-po Wen, Katherine Yelick — 1995 — in Fifth ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming
… for the data types. In this paper we give an overview of Multipol, discuss the performance trade…
Cited by 16 (2 self) – Add To MetaCart

Chapter 2 Data Models
by Data Models As
… Sample ER Model Examples: integer, string, date, ... Semantics: Data type D { Example: integer > {Z…
Add To MetaCart

On the refinement and simulation of data types and processes
by Christie Bolton, Jim Davies, Jim Woodcock — 1999 — Integrated Formal Methods (IFM'99
… This paper presents a behavioural semantics for abstract data types, and thus a correspondence between data…
Cited by 14 (3 self) – Add To MetaCart

Automatically labeling the inputs and outputs of web services
by Kristina Lerman, Anon Plangprasopchok, Craig A. Knoblock — 2006 — In In Proceedings of the National Conference on Artificial Intelligence (AAAI-2006), Menlo Park, CA
… semantic types of the input and output data it uses and its functionality. As large number of new services…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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