1587 search results - page 190 / 318 » The Semantics of Extended SOFL |
CIE
2009
Springer
14 years 3 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
CSL
2009
Springer
14 years 3 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
ACISICIS
2007
IEEE
14 years 3 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
DEXAW
2007
IEEE
14 years 3 months ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...
SAINT
2007
IEEE
14 years 3 months ago
2007
IEEE
Today's wireless and mobile services are typically monolithic and often centralized in nature, which limits heterogeneous service access and shared service usage. New sources...