咨询与建议

限定检索结果

文献类型

  • 8 篇 会议

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 7 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 2 篇 object oriented ...
  • 1 篇 debugging
  • 1 篇 reflection
  • 1 篇 program comprehe...
  • 1 篇 reengineering
  • 1 篇 computer aided s...
  • 1 篇 java programming...
  • 1 篇 object-oriented ...

机构

  • 1 篇 swinburne univ t...
  • 1 篇 mozilla mountain...
  • 1 篇 school of comput...
  • 1 篇 catholic univ lo...
  • 1 篇 forschungszentru...
  • 1 篇 nova lincs and n...
  • 1 篇 univ chile pleia...
  • 1 篇 univ bern softwa...
  • 1 篇 department of co...
  • 1 篇 free univ brusse...
  • 1 篇 catholic univ lo...
  • 1 篇 department of co...
  • 1 篇 univ bern bern
  • 1 篇 univ bern softwa...
  • 1 篇 univ antwerp b-2...
  • 1 篇 univ antwerp dep...

作者

  • 2 篇 demeyer s
  • 2 篇 mens k
  • 2 篇 ducasse s
  • 1 篇 wuyts r
  • 1 篇 vasa r
  • 1 篇 mota joão
  • 1 篇 tyrsted michael
  • 1 篇 nierstrasz oscar
  • 1 篇 ravara antónio
  • 1 篇 hansen klaus mar...
  • 1 篇 giunti marco
  • 1 篇 bergel alexandre
  • 1 篇 trifu a
  • 1 篇 ressia jorge
  • 1 篇 madsen ole lehrm...
  • 1 篇 damm christian h...
  • 1 篇 thomsen michael
  • 1 篇 fallin chris
  • 1 篇 van rysselberghe...

语言

  • 8 篇 英文
检索条件"任意字段=34th European Conference on Object-Oriented Programming, ECOOP 2020"
8 条 记 录,以下是1-10 订阅
排序:
34th european conference on object-oriented programming, ecoop 2020
34th European Conference on Object-Oriented Programming, ECO...
收藏 引用
34th european conference on object-oriented programming, ecoop 2020
the proceedings contain 30 papers. the topics discussed include: perfect is the enemy of good: best-effort program synthesis;blame for null;static race detection and mutex safety and liveness for go programs;reconcili...
来源: 评论
From ecoop'87 to ecoop 2006 and beyond
收藏 引用
20th european conference on object-oriented programming, ecoop 2006
作者: Madsen, Ole Lehrmann Department of Computer Science University of Aarhus Åbogade 34 DK-8200 Århus N Denmark
ecoop'87 marks the point in time where object-oriented programming started to become mainstream in research as well as in industry. In this paper we will reflect upon the contributions of object-orientation since ... 详细信息
来源: 评论
Safe, flexible aliasing with deferred borrows  34
Safe, flexible aliasing with deferred borrows
收藏 引用
34th european conference on object-oriented programming, ecoop 2020
作者: Fallin, Chris Mozilla Mountain ViewCA United States
In recent years, programming-language support for static memory safety has developed significantly. In particular, borrowing and ownership systems, such as the one pioneered by the Rust language, require the programme... 详细信息
来源: 评论
Fifth international workshop on object-oriented reengineering
Fifth international workshop on object-oriented reengineerin...
收藏 引用
18th european conference on object-oriented programming (ecoop 2004)
作者: Wuyts, R Ducasse, S Demeyer, S Mens, K Free Univ Brussels Brussels Belgium Univ Bern Bern Switzerland Univ Antwerp B-2020 Antwerp Belgium Catholic Univ Louvain B-1348 Louvain Belgium
this paper reports on the results of the Fifth International Workshop on object-oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies the contributions and lists the main re... 详细信息
来源: 评论
object-Centric Debugging
Object-Centric Debugging
收藏 引用
34th International conference on Software Engineering (ICSE)
作者: Ressia, Jorge Bergel, Alexandre Nierstrasz, Oscar Univ Bern Software Composit Grp CH-3012 Bern Switzerland Univ Chile PLEIAD Lab Dept Comp Sci DCC Santiago Chile
During the process of developing and maintaining a complex software system, developers pose detailed questions about the runtime behavior of the system. Source code views offer strictly limited insights, so developers... 详细信息
来源: 评论
object-oriented reengineering
收藏 引用
17th european conference on object-oriented programming (ecoop 2003)
作者: Demeyer, S Ducasse, S Mens, K Trifu, A Vasa, R Van Rysselberghe, F Univ Antwerp Dept Math & Comp Sci B-2020 Antwerp Belgium Swinburne Univ Technol Dept Informat Technol Hawthorn Vic 3122 Australia Forschungszentrum Informat FZI Programmstrukturen Karlsruhe Germany Catholic Univ Louvain Dept Ingn Informat B-3000 Louvain Belgium Univ Bern Software Composit Grp Bern Switzerland
来源: 评论
Creative object-oriented modelling: Support for intuition, flexibility, and collaboration in CASE tools  14th
收藏 引用
14th european conference on object-oriented programming, ecoop 2000
作者: Damm, Christian Heide Hansen, Klaus Marius thomsen, Michael Tyrsted, Michael Department of Computer Science University of Aarhus Aabogade 34 Aarhus N8200 Denmark
A major strength in object-oriented development is the direct support for domain modelling offered by the conceptual framework underlying object-orientation. In this framework, domains and systems can be analysed and ... 详细信息
来源: 评论
On Using VeriFast, VerCors, Plural, and KeY to Check object Usage  37
On Using VeriFast, VerCors, Plural, and KeY to Check Object ...
收藏 引用
37th european conference on object-oriented programming, ecoop 2023
作者: Mota, João Giunti, Marco Ravara, António NOVA LINCS and NOVA School of Science and Technology Caparica Portugal School of Computing Engineering & Digital Technologies Teesside University Middlesbrough United Kingdom
Typestates are a notion of behavioral types that describe protocols for stateful objects, specifying the available methods for each state. Ensuring methods are called in the correct order (protocol compliance), and th... 详细信息
来源: 评论