机译:带有隐式声明的隐式调用的类型和模块
Lehrgebiet Programmiersysteme, Fakultaet fuer Mathematik und Informatik, Fernuniversitat in Hagen, D-58084 Hagen;
rnLehrgebiet Programmiersysteme, Fakultaet fuer Mathematik und Informatik, Fernuniversitat in Hagen, D-58084 Hagen;
rnLehrstuhl fuer Program-mierung, Fakultaet fuer Informatik und Mathematik, Universitaet Passau, D-94030 Passau, Ger-many;
rnInstitut fur Technische und Betriebliche Informa-tionssysteme, Fakultat fur Informatik, Universitat Magdeburg, D-39016 Magdeburg, Germany;
implicit invocation; event-driven programming; publish/subscribe; aspect-oriented programming; modularity; typing;
机译:隐式调用满足安全隐式并发
机译:使用源转换对隐式调用系统进行测试和模型检查
机译:在Ada中分散的基于事件的隐式调用
机译:隐式调用满足安全隐式并发
机译:隐式调用语言及其实现。
机译:在反吸烟的公共服务公告烟草业操纵消息:显式的影响对战隐式传递邮件
机译:1隐式公告隐式调用的类型和模块性