首页> 外文OA文献 >Logic Programming for Verification of Object-Oriented Programming Law Conditions

【2h】

Logic Programming for Verification of Object-Oriented Programming Law Conditions

机译：面向对象程序设计法条件验证的逻辑程序设计

页面导航

著录项
相似文献
相关主题

著录项

作者
Ro De Freitas; Marcel Caraciolo; Márcio Cornélio;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Logic Programming for Verification of Object-Oriented Programming Law Conditions [J] . Leandro de Freitas, Marcel Caraciolo, Márcio Cornélio Journal of Universal Computer Science . 2007,第6期

机译：用于验证面向对象编程法则条件的逻辑编程
2. So Different Though So Similar? – Or Vice Versa? Exploration of the Logic Programming and the Object-Oriented Programming Paradigms [J] . Bruria Haberman, Noa Rajonis Issues in Informing Science and Information Technology . 2010,第Suppa2期

机译：如此不同但如此相似？ - 或相反亦然？逻辑编程和面向对象编程范例的探索
3. Programming Logic Modeling and Cross-Program Defect Detection Method for Object-Oriented Code [J] . Yan Liu, Wenyuan Fang, Qiang Wei, Computers, Materials & Continua . 2020,第1期

机译：针对面向对象代码的编程逻辑建模和跨程序缺陷检测方法
4. Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq [C] . Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Interactive theorem proving. . 2011

机译：在Coq中使用高阶分离逻辑验证面向对象的程序
5. Dataflow Synthesis and Verification for Parallel Object-Oriented Programming Languages. [D] . Wu, Shuang. 2011

机译：并行面向对象编程语言的数据流综合和验证。
6. Improving the Human Readability of Arden Syntax Medical Logic Modules Using a Concept-oriented Terminology and Object-oriented Programming Expressions [O] . Jeeyae Choi, Suzanne Bakken, Yves A. Lussier, -1

机译：使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
7. Verifying object-oriented programs with higher-order separation logic in Coq [O] . Bengtson Jesper, Jensen Jonas Braband, Sieczkowski Filip, 2011

机译：使用Coq中的高阶分离逻辑验证面向对象的程序

Logic Programming for Verification of Object-Oriented Programming Law Conditions

著录项

相似文献

相关主题

期刊订阅