Formal Techniques for Java-Like Programs: Report on the WS FTfJP at ECOOP'06

机译：Java程序的正式技术：在ECOOP'06上的WS FTfJP的报告

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

This report gives an overview of the eighth ECOOP Work-shop on Formal Techniques for Java-like Programs. It summarizes the workshop preparation, contributions, debates and conclusions.

机译：该报告概述了关于类Java程序的形式技术的第八届ECOOP讲习班。它总结了研讨会的准备，贡献，辩论和结论。

著录项

来源
《Object-Oriented Technology: ECOOP 2006 Workshop Reader; Lecture Notes in Computer Science; 4379》|2006年|53-58|共6页
会议地点 Nantes(FR)
作者
Davide Ancona; Sophia Drossopoulou; Atsushi Igarashi; Gary T. Leavens; Arnd Poetzsch-Heffter; Elena Zucca;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness [J] . Shaw RJ., Olsson RA. Information Sciences: An International Journal . 1998,第3a4期

机译：解决并发程序的传统形式推理方法的缺点：源代码正确性的新工具和技术
2. Provably correct inline monitoring for multithreaded Java-like programs [J] . Mads Dam, Bart Jacobs, Andreas Lundblad, Journal of computer security . 2010,第1期

机译：可以正确地对类似于Java的多线程程序进行内联监视
3. Bourdieu and programming classes for the disadvantaged: a review of current practice as reported online—implications for non-formal coding classes in Bali [J] . Laurence Tamatea, Gusti Agung Ayu Mas Pramitasari Research and practice in technology enhanced learning. . 2018,第1期

机译：弱势群体的布迪厄和编程班：在线报道的当前实践回顾—对巴厘岛非正规编码班的启示
4. Formal Techniques for Java-Like Programs: Report on the WS FTfJP at ECOOP’06 [C] . Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, European Conference on Object-Oriented Programming . 2007

机译：类似Java的程序的正式技术：Ecoop'06的WS FTFJP报告
5. Integrating informal and formal techniques to reverse engineer imperative programs. [D] . Gannod, Gerald Catolico. 1998

机译：整合非正式和正式技术以逆转工程师的当务之急。
6. Bourdieu and programming classes for the disadvantaged: a review of current practice as reported online—implications for non-formal coding classes in Bali [O] . Laurence Tamatea, Gusti Agung Ayu Mas Pramitasari -1

机译：弱势群体的布迪厄和编程班：在线报道的当前实践回顾—对巴厘岛非正规编码班的启示
7. Formal Techniques for Java-like Programs (FTfJP [O] . Ro Coglio, Marieke Huisman, Joseph R. Kiniry, 2008

机译：类似Java程序的正式技术（FTfJP

Formal Techniques for Java-Like Programs: Report on the WS FTfJP at ECOOP'06

摘要

著录项

相似文献

相关主题

期刊订阅