首页>外文会议>其他>Workshop on formal techniques for java-like programs

Workshop on formal techniques for java-like programs

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Towards a Semantic Model for Java Wildcards

机译：迈向Java通配符的语义模型
- 作者：Alexander J. Summer;Nicholas Cameron;Mariangiola Dezani-Ciancaglini;Sophia Drossopoulou
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
2.Procedure-Modular Verification of Control Flow Safety Properties

机译：过程 - 模块化控制流动安全性能
- 作者：Siavash Soleimanifard;Dilian Gurov;Marieke Huisman
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- modular verification;
- temporal logic;
- maximal models;
3.Complete coinductive subtyping for abstract compilation of object-oriented languages

机译：完整的配合亚型，用于抽象汇编对面向对象语言
- 作者：Davide Ancona;Giovanni Lagorio
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- java;
- type inference;
- coinduction;
- union types;
- subtyping;
4.Modular Verification of Linked Lists with Views via Separation Logic

机译：通过分离逻辑的具有视图的连接列表的模块化验证
- 作者：Jonas Braband Jensen;Lars Birkedal;Peter Sestoft
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- separation logic;
- formal verification;
- modularity;
5.Refactoring and Representation Independence for Class Hierarchies Extended Abstract

机译：类层次结构的重构和表示独立扩展抽象
- 作者：Leila Silva;David A. Naumann;Augusto Sampaio
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
6.Prototyping a tool environment for run-time assertion checking in JML with Communication Histories

机译：原型设计用于使用通信历史的JML中运行时断言检查的工具环境
- 作者：Frank S. de Boer;Stiin de Gouw;Jurgen Vinju
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- interface specification;
- run-time assertion checking;
- at-tribute grammars;
7.A Theory of Typestate-Oriented Programming

机译：面向Typestate的编程理论
- 作者：Darpan Saini;Joshua Sunshine;Jonathan Aldrich
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- typestate oriented programming;
- verification;
8.Strong exception-safety for Java-like languages-

机译：java语言的强烈异常 - 安全 -
- 作者：Giovanni Lagorio;Marco Servetto
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- java;
- exception handling;
- type systems;
9.Aliasing control with view-based typestate

机译：锯齿化控制与基于视图的typestate
- 作者：Filipe Militao;Jonathan Aldrich;Luis Caires
- 会议名称：《Workshop on formal techniques for java-like programs》 | 2010年
- aliasing control;
- view typestate;