Formal Techniques for Java-Like Programs: Report on the 10th Workshop FTfJP at ECOOP 2008

机译：类似Java的程序的正式技术：在ECOOP 2008第十届FTfJP研讨会上的报告

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ECOOP 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.

机译：该报告概述了在ECOOP 2008上的第十届类Java程序形式技术研讨会。它解释了此次研讨会的动机，并总结了演讲和讨论。

著录项

来源
《Object-oriented technology: ECOOP 2008 workshop reader》|2008年|70-76|共7页
会议地点 Paphos(CY);Paphos(CY)
作者
Elvira Albert; Anindya Banerjee; Sophia Drossopoulou; Marieke Huisman; Atsushi Igarashi; Gary T. Leavens; Peter Mueller; Tobias Wrigstad;
展开▼
作者单位

Complutense University of Madrid, Spain;

Kansas State University, USA;

Imperial College London, UK;

University of Twente, Netherlands;

Kyoto University, Japan;

University of Central Florida, USA;

ETH Zurich, Switzerland;

Purdue University, USA;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. ECOOP '96 workshop on prototype based object oriented programming [J] . James Noble, Antero Taivalsaari ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1996,第12期

机译：ECOOP '96基于原型的面向对象编程研讨会
2. Report Of The 2008 Sigplan Programming Languagescurriculum Workshop [J] . Mark Bailey, Kim Bruce, Kathleen Fisher, SIGCSE bulletin . 2009,第1期

机译：2008 Sigplan编程语言课程研讨会的报告
3. Workshop Report: 10th Annual ANZ Aerosol Workshop, July 10-11,2014 [J] . Howard Bridgman, Guy Coulson Air quality and climate change . 2014,第3期

机译：研讨会报告：2014年7月10日至11日，第十届ANZ气雾剂年度研讨会
4. Formal Techniques for Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008 [C] . Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, European Conference on Object-Oriented Programming . 2009

机译：Java类似程序的正式技术在Ecoop 2008的第10次研讨会上报告
5. Integrating informal and formal techniques to reverse engineer imperative programs. [D] . Gannod, Gerald Catolico. 1998

机译：整合非正式和正式技术以逆转工程师的当务之急。
6. IFPA Meeting 2008 Workshops Report [O] . G.E. Lash, T. Ansari, P. Bischof, -1

机译：IFPA会议2008研讨会报告
7. Formal Techniques for Java-like Programs (FTfJP [O] . Ro Coglio, Marieke Huisman, Joseph R. Kiniry, 2008

机译：类似Java程序的正式技术（FTfJP
8. Exchange of Ideas and Techniques of Public Participation Programs in Coastal Zone Management. Final Report on Workshops Held in Long Beach, Mississippi on April 21, 1977 and in Mobile, Alabama on July 22, 1977 [R] . 1977

机译：沿海地区管理公众参与计划的思路与技术交流。研讨会最终报告于1977年4月21日在密西西比州长滩举行，1977年7月22日在阿拉巴马州莫比尔举行

Formal Techniques for Java-Like Programs: Report on the 10th Workshop FTfJP at ECOOP 2008

摘要

著录项

相似文献

相关主题

期刊订阅