Sciweavers

2803 search results - page 4 / 561
» A Type System for Prototyping Languages
Sort
View
SEBD
2007
114views Database» more  SEBD 2007»
13 years 8 months ago
A New Type of Metadata for Querying Data Integration Systems
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
Sonia Bergamaschi, Francesco Guerra, Mirko Orsini,...
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
13 years 11 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
ECOOP
2005
Springer
14 years 27 days ago
First-Class Relationships in an Object-Oriented Language
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
Gavin M. Bierman, Alisdair Wren
ECOOP
1999
Springer
13 years 11 months ago
Formal Specification and Prototyping of CORBA Systems
Rémi Bastide, Ousmane Sy, Philippe A. Palan...
ICFP
2005
ACM
14 years 7 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...