首页>外文会议>International Workshop on Logical Frameworks and Meta-Languages

International Workshop on Logical Frameworks and Meta-Languages

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Using prototypical objects to implement shared behavior in object-oriented systems

机译：使用原型对象在面向对象的系统中实现共享行为
- 作者：Henry Lieberman;PHenry Lieberman
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
2.Objects in concurrent logic programming languages

机译：并发逻辑编程语言中的对象
- 作者：Kenneth Kahn;Eric Dean Tribble;Mark S. Miller;Daniel G. Bobrow;PKenneth Kahn;PMark S. Miller;PDaniel G. Bobrow
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
3.Object-oriented concurrent programming ABCL/1

机译：面向对象的并发编程ABCL / 1
- 作者：Akinori Yonezawa;Jean-Pierre Briot;Etsuya Shibayama;PAkinori Yonezawa;PJean-Pierre Briot
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
4.An object-oriented architecture for intelligent tutoring systems

机译：智能辅导系统的面向对象架构
- 作者：Jeffrey Bonar;Robert Cunningham;Jamie Schultz;PJeffrey Bonar;PRobert Cunningham;PJamie Schultz
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
5.Genericity versus inheritance

机译：泛型与继承
- 作者：Bertrand Meyer;PBertrand Meyer
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
6.Design of a distributed object manager for the Smalltalk-80 system

机译：Smalltalk-80系统的分布式对象管理器的设计
- 作者：Dominique Decouchant;PDominique Decouchant
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
7.A distributed repository for immutable persistent objects

机译：不变的持久对象的分布式存储库
- 作者：Douglas Wiebe;PDouglas Wiebe
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
8.A diagram for object-oriented programs

机译：面向对象程序图
- 作者：Ward Cunningham;Kent Beck;PWard Cunningham;PKent Beck
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
9.An object-oriented approach to a large scientific application

机译：面向对象的方法在大型科学应用中的应用
- 作者：Jonathan Jacky;Ira Kalet;PIra Kalet
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
10.Language support for changeable large real time systems

机译：对可变的大型实时系统的语言支持
- 作者：Ivar Jacobson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
11.Object-oriented spreadsheets: the analytic spreadsheet package

机译：面向对象的电子表格：分析电子表格包
- 作者：Kurt W. Piersol
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
12.Moving structures between Smalltalk images

机译：在Smalltalk图像之间移动结构
- 作者：Steven R. Vegdahl;PSteven R. Vegdahl
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
13.The design and implementation of Concurrent Smalltalk

机译：并发Smalltalk的设计与实现
- 作者：Yasuhiko Yokote;Mario Tokoro;PYasuhiko Yokote;PMario Tokoro
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
14.Encapsulators: a new software paradigm in Smalltalk-80

机译：封装器：Smalltalk-80中的新软件范例
- 作者：Geoffrey A. Pascoe
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
15.A simple technique for handling multiple polymorphism

机译：一种处理多态性的简单技术
- 作者：Daniel H. H. Ingalls
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
16.Pi: a case study in object-oriented programming

机译：Pi：面向对象编程中的案例研究
- 作者：T. A. Cargill;PT. A. Cargill
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
17.Object identity

机译：对象身份
- 作者：Setrag N. Khoshafian;George P. Copeland
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
18.Boolean classes

机译：布尔类
- 作者：David McAllester;Ramin Zabih;PDavid McAllester;PRamin Zabih
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
19.An alternative to subclassing

机译：子类化的替代方法
- 作者：David Sandberg
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
20.Augmentation of object-oriented programming by concepts of abstract data type theory: the ModPascal experience

机译：通过抽象数据类型理论的概念增强面向对象编程的经验：ModPascal经验
- 作者：Walter G. Olthoff
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
21.Petri net-based object-oriented modelling of distributed systems

机译：基于Petri网的面向对象的分布式系统建模
- 作者：Giorgio Bruno;Alessandra Balsamo;PGiorgio Bruno
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
22.A Smalltalk system for algebraic manipulation

机译：用于代数运算的Smalltalk系统
- 作者：S. Kamal Abdali;Guy W. Cherry;Neil Soiffer;PS. Kamal Abdali
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
23.The application accelerator illustration system

机译：应用加速器插图系统
- 作者：Michael S. Miller;Howard Cunningham;Chan Lee;Steven R. Vegdahl;PMichael S. Miller;PSteven R. Vegdahl
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
24.Virtual instruments: object-oriented program synthesis

机译：虚拟仪器：面向对象的程序综合
- 作者：K. S. Bhaskar;J. K. Pecol;J. L. Beug
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
25.Type-checking Smalltalk

机译：类型检查Smalltalk
- 作者：Ralph E. Johnson;PRalph E. Johnson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
26.An exemplar based Smalltalk

机译：基于示例的Smalltalk
- 作者：Wilf R. LaLonde;Dave A. Thomas;John R. Pugh;PDave A. Thomas
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
27.Intermedia: The architecture and construction of an object-oriented hypemedia system and applications framework

机译：中间介质：面向对象的超媒体系统和应用程序框架的体系结构和构建
- 作者：Norman Meyrowitz;PNorman Meyrowitz
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
28.Building a timeline editor from prefab parts: the architecture of an object-oriented application

机译：从预制零件构建时间线编辑器：面向对象应用程序的体系结构
- 作者：L. Nancy Garrett;Karen E. Smith;PKaren E. Smith
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
29.An experience with a Prolog-based object-oriented language

机译：基于Prolog的面向对象语言的经验
- 作者：Koichi Fukunaga;Shin-ichi Hirose;PShin-ichi Hirose
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
30.Development of an object-oriented DBMS

机译：面向对象DBMS的开发
- 作者：David Maier;Jacob Stein;Allen Otis;Alan Purdy;PDavid Maier;PJacob Stein
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
31.The management of changing types in an object-oriented database

机译：面向对象数据库中更改类型的管理
- 作者：Andrea H. Skarra;Stanley B. Zdonik
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
32.Object-oriented programming with flavors

机译：具有风味的面向对象编程
- 作者：David A. Moon
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
33.An introduction to Trellis/Owl

机译：格子/猫头鹰简介
- 作者：Craig Schaffert;Topher Cooper;Bruce Bullis;Mike Kilian;Carrie Wilpolt
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
34.CommonLoops: merging Lisp and object-oriented programming

机译：CommonLoops：合并Lisp和面向对象的编程
- 作者：Daniel G. Bobrow;Kenneth Kahn;Gregor Kiczales;Larry Masinter;Mark Stefik;Frank Zdybel;PDaniel G. Bobrow;PKenneth Kahn;PGregor Kiczales;PLarry Masinter;PMark Stefik
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
35.Oaklisp: an object-oriented scheme with first class types

机译：Oaklisp：具有一流类型的面向对象方案
- 作者：Kevin J. Lang;Barak A. Pearlmutter;PKevin J. Lang;PBarak A. Pearlmutter
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
36.Encapsulation and inheritance in object-oriented programming languages

机译：面向对象编程语言中的封装和继承
- 作者：Alan Snyder;PAlan Snyder
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
37.An object-oriented operating system interface

机译：面向对象的操作系统界面
- 作者：Juanita J. Ewing
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
38.Mach and Matchmaker: kernel and language support for object-oriented distributed systems

机译：Mach和Matchmaker：对面向对象的分布式系统的内核和语言支持
- 作者：Michael B. Jones;Richard F. Rashid;PMichael B. Jones
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
39.Object structure in the Emerald system

机译：翡翠系统中的对象结构
- 作者：Andrew Black;Norman Hutchinson;Eric Jul;Henry Levy;PAndrew Black;PEric Jul
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
40.Virtual memory on a narrow machine for an object-oriented language

机译：狭窄机器上用于面向对象语言的虚拟内存
- 作者：Ted Kaehler
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
41.SOAR: Smalltalk without bytecodes

机译：SOAR：没有字节码的Smalltalk
- 作者：A. Dain Samples;David Ungar;Paul Hilfinger;PA. Dain Samples
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
42.A third generation Smalltalk-80 implementation

机译：第三代Smalltalk-80实现
- 作者：Patrick J. Caudill;Allen Wirfs-Brock
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
43.Hurricane: an optimizing compiler for Smalltalk

机译：飓风：Smalltalk的优化编译器
- 作者：Robert G. Atkinson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
44.Swamp: a fast processor for Smalltalk-80

机译：沼泽：适用于Smalltalk-80的快速处理器
- 作者：David M. Lewis;David R. Galloway;Robert J. Francis;Brian W. Thomson;PDavid M. Lewis;PRobert J. Francis
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
45.QUICKTALK: a Smalltalk-80 dialect for defining primitive methods

机译：QUICKTALK：用于定义原始方法的Smalltalk-80方言
- 作者：Mark B. Ballard;David Maier;Allen Wirfs-Brock;PDavid Maier
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
46.Virtual copies: at the boundary between classes and instances

机译：虚拟副本：位于类和实例之间的边界
- 作者：Sanja Mittal;Daniel G. Bobrow;Kenneth M. Kahn;PDaniel G. Bobrow
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
47.Impulse-86: a substrate for object-oriented interface design

机译：Impulse-86：用于面向对象的界面设计的基板
- 作者：Reid G. Smith;Rich Dinitz;Paul Barth;PReid G. Smith
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
48.Experience with Flamingo: a distributed, object-oriented user interface system

机译：Flamingo的经验：分布式的，面向对象的用户界面系统
- 作者：David B. Anderson;PDavid B. Anderson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
49.A probe-based monitoring scheme for an object-oriented distributed operating system

机译：面向对象的分布式操作系统的基于探针的监视方案
- 作者：Partha Dasgupta;PPartha Dasgupta
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
50.Higher-order abstract syntax in classical higher-order logic

机译：经典高阶逻辑中的高阶抽象语法
- 作者：Douglas J. Howe
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- higher-order abstract syntax;
- induction;
- interactive theorem proving;
- logical frameworks;
- name-binding;
51.Theory support for weak higher order abstract syntax in Isabelle/HOL

机译：Isabelle / HOL中弱高阶抽象语法的理论支持
- 作者：Elsa L. Gunter;Christopher J. Osborn;Andrei Popescu
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- Isabelle/HOL;
- axiomatic classes;
- proper functions;
- syntax with bindings;
- weak HOAS;
52.A syntactic account of singleton types via hereditary substitution

机译：通过遗传替代的单身类型的句法解释
- 作者：Karl Crary
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- logical frameworks;
- mechanized metatheory;
- singleton types;
53.Coercive subtyping in lambda-free logical frameworks

机译：无lambda逻辑框架中的强制子类型化
- 作者：Robin Adams
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- coercive subtyping;
- lambda-free logical framework;
- metatheory;
- type theory;
- typecasting;
54.A practical module system for LF

机译：LF的实用模块系统
- 作者：Florian Rabe;Carsten Schurmann
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- Kolmogorov translation;
- Twelf;
- logical frameworks;
- modules;
- proof assistants;
- structures;
- views;
55.Higher-order constraint simplification in dependent type theory

机译：相依类型理论中的高阶约束简化
- 作者：Jason Reed
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- dependent types;
- logical frameworks;
- unification;
56.Formalizing a strong normalization proof for Moggi's computational metalanguage

机译：正式为Moggi的计算元语言提供强大的规范化证明
- 作者：Christian Doczkal;Jan Schwinghammer
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- HOL-nominal;
- TT-lifting;
- logical relations;
57.Universal algebra over lambda-terms and nominal terms

机译：Lambda项和名义项的通用代数
- 作者：Murdoch J. Gabbay;Dominic P. Mulligan
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- lambda-theories;
- nominal algebra;
- permissive nominal terms;
- universal algebra;
58.The calculus of nominal inductive constructions

机译：标称归纳结构的演算
- 作者：Edwin Westbrook;Aaron Stump;Evan Austin
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
59.How can we prove that a proof search method is not an instance of another?

机译：我们如何证明证明搜索方法不是另一个实例？
- 作者：Guillaume Burel;Gilles Dowek
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
60.A simple technique for handling multiple polymorphism

机译：一种处理多种多态性的简单技术
- 作者：Daniel H. H. Ingalls
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
61.How can we prove that a proof search method is not an instance of another?

机译：我们如何证明证明搜索方法不是另一个实例？
- 作者：Guillaume Burel;Gilles Dowek
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
62.An alternative to subclassing

机译：替代亚类化的替代品
- 作者：David Sandberg
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
63.Moving structures between Smalltalk images

机译：在SmallTalk图像之间移动结构
- 作者：Steven R. Vegdahl;PSteven R. Vegdahl
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
64.Encapsulators: a new software paradigm in Smalltalk-80

机译：封装器：SmallTalk-80中的一个新软件范例
- 作者：Geoffrey A. Pascoe
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
65.Object-oriented spreadsheets: the analytic spreadsheet package

机译：面向对象的电子表格：分析电子表格包
- 作者：Kurt W. Piersol
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
66.A diagram for object-oriented programs

机译：面向对象程序的图表
- 作者：Ward Cunningham;Kent Beck;PWard Cunningham;PKent Beck
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
67.Boolean classes

机译：布尔课程
- 作者：David McAllester;Ramin Zabih;PDavid McAllester;PRamin Zabih
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
68.Type-checking Smalltalk

机译：键入校验smalltalk
- 作者：Ralph E. Johnson;PRalph E. Johnson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
69.A Smalltalk system for algebraic manipulation

机译：一个用于代数操作的小型系统
- 作者：S. Kamal Abdali;Guy W. Cherry;Neil Soiffer;PS. Kamal Abdali
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
70.Formalizing a strong normalization proof for Moggi's computational metalanguage

机译：为Moggi计算金属语言正式化强大的正常化证据
- 作者：Christian Doczkal;Jan Schwinghammer
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- HOL-nominal;
- TT-lifting;
- logical relations;
71.Oaklisp: an object-oriented scheme with first class types

机译：oaklisp：具有一类类型的面向对象方案
- 作者：Kevin J. Lang;Barak A. Pearlmutter;PKevin J. Lang;PBarak A. Pearlmutter
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
72.Object-oriented programming with flavors

机译：面向对象的味道编程
- 作者：David A. Moon
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
73.An object-oriented architecture for intelligent tutoring systems

机译：面向对象辅导系统的面向对象的架构
- 作者：Jeffrey Bonar;Robert Cunningham;Jamie Schultz;PJeffrey Bonar;PRobert Cunningham;PJamie Schultz
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
74.Virtual copies: at the boundary between classes and instances

机译：虚拟副本：在类和实例之间的边界
- 作者：Sanja Mittal;Daniel G. Bobrow;Kenneth M. Kahn;PDaniel G. Bobrow
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
75.Encapsulation and inheritance in object-oriented programming languages

机译：面向对象编程语言的封装和继承
- 作者：Alan Snyder;PAlan Snyder
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
76.An introduction to Trellis/Owl

机译：Trellis / owl介绍
- 作者：Craig Schaffert;Topher Cooper;Bruce Bullis;Mike Kilian;Carrie Wilpolt
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
77.An experience with a Prolog-based object-oriented language

机译：一种基于Prolog的面向对象语言的体验
- 作者：Koichi Fukunaga;Shin-ichi Hirose;PShin-ichi Hirose
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
78.Higher-order constraint simplification in dependent type theory

机译：依赖类型理论的高阶约束简化
- 作者：Jason Reed
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- dependent types;
- logical frameworks;
- unification;
79.Hurricane: an optimizing compiler for Smalltalk

机译：飓风：用于Smalltalk的优化编译器
- 作者：Robert G. Atkinson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
80.Language support for changeable large real time systems

机译：用于可变大型实时系统的语言支持
- 作者：Ivar Jacobson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
81.An object-oriented approach to a large scientific application

机译：面向对象的大型科学应用方法
- 作者：Jonathan Jacky;Ira Kalet;PIra Kalet
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
82.An exemplar based Smalltalk

机译：基于示例的SmallTalk
- 作者：Wilf R. LaLonde;Dave A. Thomas;John R. Pugh;PDave A. Thomas
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
83.Object structure in the Emerald system

机译：翡翠系统中的物体结构
- 作者：Andrew Black;Norman Hutchinson;Eric Jul;Henry Levy;PAndrew Black;PEric Jul
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
84.Theory support for weak higher order abstract syntax in Isabelle/HOL

机译：理论支持在伊雅贝尔/霍尔中的弱高阶摘要语法
- 作者：Elsa L. Gunter;Christopher J. Osborn;Andrei Popescu
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- Isabelle/HOL;
- axiomatic classes;
- proper functions;
- syntax with bindings;
- weak HOAS;
85.Swamp: a fast processor for Smalltalk-80

机译：沼泽：Smalltalk-80的快速处理器
- 作者：David M. Lewis;David R. Galloway;Robert J. Francis;Brian W. Thomson;PDavid M. Lewis;PRobert J. Francis
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
86.The application accelerator illustration system

机译：应用程序加速器插图系统
- 作者：Michael S. Miller;Howard Cunningham;Chan Lee;Steven R. Vegdahl;PMichael S. Miller;PSteven R. Vegdahl
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
87.Design of a distributed object manager for the Smalltalk-80 system

机译：用于SmallTalk-80系统的分布式对象管理器的设计
- 作者：Dominique Decouchant;PDominique Decouchant
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
88.A practical module system for LF

机译：LF的实用模块系统
- 作者：Florian Rabe;Carsten Schurmann
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- Kolmogorov translation;
- Twelf;
- logical frameworks;
- modules;
- proof assistants;
- structures;
- views;
89.Experience with Flamingo: a distributed, object-oriented user interface system

机译：Flamingo经验：分布式面向对象的用户界面系统
- 作者：David B. Anderson;PDavid B. Anderson
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
90.A syntactic account of singleton types via hereditary substitution

机译：通过遗传替代的单例类型的句法叙述
- 作者：Karl Crary
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- logical frameworks;
- mechanized metatheory;
- singleton types;
91.A probe-based monitoring scheme for an object-oriented distributed operating system

机译：基于探测的面向对象分布式操作系统的监控方案
- 作者：Partha Dasgupta;PPartha Dasgupta
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
92.Petri net-based object-oriented modelling of distributed systems

机译：基于Petri基于网对面向对象的分布式系统建模
- 作者：Giorgio Bruno;Alessandra Balsamo;PGiorgio Bruno
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
93.Impulse-86: a substrate for object-oriented interface design

机译：Impulse-86：面向对象界面设计的基板
- 作者：Reid G. Smith;Rich Dinitz;Paul Barth;PReid G. Smith
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
94.Universal algebra over lambda-terms and nominal terms

机译：普遍代数在Lambda-术语和名义方面
- 作者：Murdoch J. Gabbay;Dominic P. Mulligan
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- lambda-theories;
- nominal algebra;
- permissive nominal terms;
- universal algebra;
95.The design and implementation of Concurrent Smalltalk

机译：并发SmallTalk的设计与实现
- 作者：Yasuhiko Yokote;Mario Tokoro;PYasuhiko Yokote;PMario Tokoro
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
96.The calculus of nominal inductive constructions

机译：名义归纳结构的微积分
- 作者：Edwin Westbrook;Aaron Stump;Evan Austin
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
97.Using prototypical objects to implement shared behavior in object-oriented systems

机译：使用原型物体对象在面向对象系统中实现共享行为
- 作者：Henry Lieberman;PHenry Lieberman
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
98.Coercive subtyping in lambda-free logical frameworks

机译：在兰姆达无逻辑框架中强制亚型
- 作者：Robin Adams
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
- coercive subtyping;
- lambda-free logical framework;
- metatheory;
- type theory;
- typecasting;
99.Pi: a case study in object-oriented programming

机译：PI：面向对象编程的案例研究
- 作者：T. A. Cargill;PT. A. Cargill
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年
100.Object-oriented concurrent programming ABCL/1

机译：面向对象的并发编程ABCL / 1
- 作者：Akinori Yonezawa;Jean-Pierre Briot;Etsuya Shibayama;PAkinori Yonezawa;PJean-Pierre Briot
- 会议名称：《International Workshop on Logical Frameworks and Meta-Languages》 | 2009年