Sciweavers

626 search results - page 99 / 126
» Towards a Unified Programming Language
Sort
View
ICDCS
1998
IEEE
14 years 2 months ago
Flexible Exception Handling in the OPERA Process Support System
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
Claus Hagen, Gustavo Alonso
ECOOP
2009
Springer
14 years 10 months ago
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
Giovanni Lagorio, Marco Servetto, Elena Zucca
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 4 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
AC
1992
Springer
14 years 2 months ago
Logic and Databases
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
Johann Eder
JUCS
2006
103views more  JUCS 2006»
13 years 10 months ago
An Object Model for Interoperable Systems
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
Alcides Calsavara, Aaron Borges, Leonardo Nunes, D...