×

找到44个文档（结果1-44）

最新的 引文 关联
阿卜杜勒·加瓦德（Abdel Gawad，Moez A.）。

名义上类型的面向对象编程的域理论模型。 （英语） Zbl 1337.68059号

刘英明（编）等，第六届领域理论及其应用国际研讨会论文集，长沙，中国，2013年10月25-29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记301，3-19，仅电子版（2014）。
MSC公司：68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.A.AbdelGawad}，电子。注释Theor。计算。科学。301、3-19（2014年；Zbl 1337.68059）
全文： 内政部
鲁本·罗;范·贝克尔（Van Bakel，Steffen）

面向对象编程的近似语义和表达谓词赋值（扩展抽象）。 （英语） Zbl 1331.68046号

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690，229-244（2011）。
MSC公司：68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Rowe}和\textit{S.Van Bakel}，莱克特。注释计算。科学。6690、229--244（2011；Zbl 1331.68046）
全文： 内政部
约翰·多夫兰;约翰森，艾纳·布罗克;Owe、Olaf;马丁·斯特芬

多重继承的增量推理。 （英语） Zbl 1211.68084号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，215-230（2009）。
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{J.Dovland}等人，Lect。注释计算。科学。5423、215--230（2009年；Zbl 1211.68084）
全文： 内政部
维维亚娜·博诺;伊万诺·萨尔沃

面向对象语言的CuCh解释。 （英语） Zbl 1261.68042号

利维，Jean-Jacques（编辑），BOTH 2001–Böhm定理：计算机科学理论的应用。2001年7月13日在希腊克里特岛举行的第28届自动控制、语言和编程国际学术讨论会（ICALP 2001）的四个卫星研讨会之一的会议记录。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第2期，159-177（2001）。
MSC公司：68甲18 03B40型 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono和\textit{I.Salvo}，电子。注释Theor。计算。科学。50，第2号，159--177（2001；Zbl 1261.68042）
全文： 内政部
布鲁斯（Kim B.Bruce）。;乔纳森·克拉布特里;杰拉尔德·卡纳帕西

TOOPLE的操作语义：一种静态类型的面向对象编程语言。 （英语） Zbl 1509.68033号

Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 603-626 (1994).
MSC公司：68甲15 68甲18 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.B.Bruce}等人，Lect。注释计算。科学。802、603--626（1994年；Zbl 1509.68033）
全文： 内政部
帕特里夏·约翰;迈克尔·科尔哈斯

在具有有序函数排序和常量重载的扩展lambda演算中实现统一。 （英语） Zbl 1433.68554号

阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 620-634 (1994).
MSC公司：68伏15 03B35型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Johann｝和\textit｛M.Kohlhase｝，Lect。注释计算。科学。814620--634（1994年；Zbl 1433.68554）
全文： 内政部 链接
约尔迪·利维;贾姆·阿古斯蒂

双重写，一种用于单调顺序关系的术语重写技术。 （英语） Zbl 1503.68131号

克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。690, 17-31 (1993).
MSC公司：2012年第68季度 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{J.Levy}和\textit{J.Agustí}，莱克特。注释计算。科学。690，17-31（1993年；兹bl 1503.68131）
全文： 内政部
罗伯特·阿马迪奥（Roberto M.Amadio）。

类型等价、类型赋值和类型包含。 （英语） Zbl 1508.68039号

Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。516, 371-382 (1991).
MSC公司：68甲18 03B40型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.M.Amadio}，莱克特。注释计算。科学。516371-382（1991年；Zbl 1508.68039）
全文： 内政部
卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫

带有子类型的系统\（F\）的扩展。 （英语） Zbl 1496.03058号

Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 750-770 (1991).
MSC公司：03B40型 03G30型 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。526750-770（1991年；兹bl 1496.03058）
全文： 内政部
卢卡·卡德利;约翰·米切尔（John C.Mitchell）。

记录操作（摘要）。 （英语） Zbl 1509.68046号

Main，M.（ed.）等人，《编程语义的数学基础》。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。442，22-52页（1990年）。
MSC公司：68甲19 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{J.C.Mitchell}，莱克特。注释计算。科学。442、22-52（1990年；Zbl 1509.68046）
全文： 内政部
卢卡·卡德利;约翰·米切尔（John C.Mitchell）。

对记录的操作（扩展摘要）。 （英语） Zbl 1493.68082号

大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。1989年9月5日至8日，英国曼彻斯特。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。389, 75-81 (1989).
MSC公司：68甲19 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{J.C.Mitchell}，莱克特。注释计算。科学。389，75-81（1989年；兹bl 1493.68082）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件