Object-oriented and constraint programming for time critical applications

被引：0

作者：

de Boer, FS ^{[1
]}

机构：

[1] Univ Utrecht, NL-3508 TC Utrecht, Netherlands

来源：

OBJECT-ORIENTED TECHNOLOGY | 1999年 / 1743卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The aim of this workshop was to discuss any aspect of time critical applications which are based on (a combination of) object-oriented and constraint technology: Language design, implementation, hybrid systems, temporal deductive databases, semantic models, specification, verification and analysis methods, constraint domains and solvers for temporal reasoning, temporal aspects of internet and multimedia computing, applications. Papers illustrating products and protoypes were particularly encouraged.

引用

页码：255 / 266

页数：12