咨询与建议

限定检索结果

文献类型

  • 574 篇 会议
  • 19 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 514 篇 工学
    • 468 篇 计算机科学与技术...
    • 409 篇 软件工程
    • 33 篇 电气工程
    • 24 篇 控制科学与工程
    • 18 篇 信息与通信工程
    • 7 篇 生物工程
    • 5 篇 化学工程与技术
    • 5 篇 环境科学与工程(可...
    • 4 篇 机械工程
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 1 篇 光学工程
    • 1 篇 冶金工程
  • 89 篇 理学
    • 63 篇 数学
    • 11 篇 生物学
    • 9 篇 物理学
    • 8 篇 系统科学
    • 7 篇 化学
    • 1 篇 地质学
    • 1 篇 统计学(可授理学、...
  • 39 篇 管理学
    • 25 篇 图书情报与档案管...
    • 15 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 8 篇 法学
    • 7 篇 社会学
    • 1 篇 法学
  • 8 篇 教育学
    • 8 篇 教育学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 医学

主题

  • 231 篇 object oriented ...
  • 24 篇 object-oriented ...
  • 11 篇 aspect oriented ...
  • 11 篇 semantics
  • 10 篇 artificial intel...
  • 9 篇 c++ (programming...
  • 6 篇 specifications
  • 5 篇 calculations
  • 5 篇 application prog...
  • 5 篇 problem oriented...
  • 5 篇 functional progr...
  • 4 篇 reusability
  • 4 篇 algebra
  • 4 篇 computer program...
  • 3 篇 access control
  • 3 篇 interoperability
  • 3 篇 object oriented ...
  • 3 篇 programming
  • 3 篇 common object re...
  • 3 篇 software archite...

机构

  • 7 篇 victoria univers...
  • 5 篇 carnegie mellon ...
  • 4 篇 microsoft corp r...
  • 4 篇 swiss fed inst t...
  • 3 篇 victoria univ we...
  • 3 篇 software composi...
  • 3 篇 microsoft united...
  • 3 篇 univ genoa disi ...
  • 3 篇 university of to...
  • 3 篇 object technolog...
  • 3 篇 eth zurich
  • 3 篇 university of ch...
  • 3 篇 i.b.m. thomas j....
  • 3 篇 univ geneva obje...
  • 3 篇 independent soft...
  • 3 篇 umeå university
  • 3 篇 purdue univ dept...
  • 3 篇 purdue universit...
  • 2 篇 harvey mudd coll...
  • 2 篇 universidad de m...

作者

  • 16 篇 noble james
  • 9 篇 vitek jan
  • 6 篇 davis kei
  • 6 篇 madsen ole lehrm...
  • 6 篇 jul eric
  • 5 篇 bosch j
  • 5 篇 drossopoulou sop...
  • 5 篇 de meuter wolfga...
  • 5 篇 bruce kim b.
  • 5 篇 ernst michael d.
  • 5 篇 chambers c
  • 5 篇 aldrich jonathan
  • 5 篇 mens kim
  • 5 篇 sahraoui houari ...
  • 4 篇 hirschfeld rober...
  • 4 篇 szyperski c
  • 4 篇 ducasse stéphane
  • 4 篇 homer michael
  • 4 篇 ancona davide
  • 4 篇 yonezawa akinori

语言

  • 581 篇 英文
  • 12 篇 其他
  • 2 篇 中文
检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2001"
595 条 记 录,以下是1-10 订阅
排序:
38th european conference on object-oriented programming, ecoop 2024
38th European Conference on Object-Oriented Programming, ECO...
收藏 引用
38th european conference on object-oriented programming, ecoop 2024
The proceedings contain 47 papers. The topics discussed include: a sound type system for secure currency flow;runtime instrumentation for reactive components;a dynamic logic for symbolic execution for the smart contra...
来源: 评论
37th european conference on object-oriented programming, ecoop 2023
37th European Conference on Object-Oriented Programming, ECO...
收藏 引用
37th european conference on object-oriented programming, ecoop 2023
The proceedings contain 44 papers. The topics discussed include: designing asynchronous multiparty protocols with crash-stop failures;modular abstract definitional interpreters for WebAssembly;dynamically updatable mu...
来源: 评论
36th european conference on object-oriented programming, ecoop 2022
36th European Conference on Object-Oriented Programming, ECO...
收藏 引用
36th european conference on object-oriented programming, ecoop 2022
The proceedings contain 32 papers. The topics discussed include: verified compilation and optimization of floating-point programs in CakeML;elementary type inference;stay safe under panic: affine rust programming with...
来源: 评论
35th european conference on object-oriented programming, ecoop 2021
35th European Conference on Object-Oriented Programming, ECO...
收藏 引用
35th european conference on object-oriented programming, ecoop 2021
The proceedings contain 22 papers. The topics discussed include: scope states: guarding safety of name resolution in parallel type checkers;lossless, persisted summarization of static callgraph, points-to and data-flo...
来源: 评论
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...
来源: 评论
super-Charging object-oriented programming Through Precise Typing of Open Recursion  37
super-Charging Object-Oriented Programming Through Precise T...
收藏 引用
37th european conference on object-oriented programming, ecoop 2023
作者: Fan, Andong Parreaux, Lionel Hong Kong
We present a new variation of object-oriented programming built around three simple and orthogonal constructs: classes for storing object state, interfaces for expressing object types, and mixins for reusing and overr... 详细信息
来源: 评论
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types  38
Formalizing, Mechanizing, and Verifying Class-Based Refineme...
收藏 引用
38th european conference on object-oriented programming, ecoop 2024
作者: Sun, Ke Wang, Di Chen, Sheng Wang, Meng Hao, Dan MOE School of Computer Science Peking University Beijing China The Center for Advanced Computer Studies University of Louisiana LafayetteLA United States University of Bristol United Kingdom
Refinement types have been extensively used in class-based languages to specify and verify fine-grained logical specifications. Despite the advances in practical aspects such as applicability and usability, two fundam... 详细信息
来源: 评论
Constrictor: Immutability as a Design Concept  38
Constrictor: Immutability as a Design Concept
收藏 引用
38th european conference on object-oriented programming, ecoop 2024
作者: Kinsbruner, Elad Itzhaky, Shachar Peleg, Hila Technion Haifa Israel
Many object-oriented applications in algorithm design rely on objects never changing during their lifetime. This is often tackled by marking object references as read-only, e.g., using the const keyword in C++. In oth... 详细信息
来源: 评论
A Sound Type System for Secure Currency Flow  38
A Sound Type System for Secure Currency Flow
收藏 引用
38th european conference on object-oriented programming, ecoop 2024
作者: Aceto, Luca Gorla, Daniele Lybech, Stian Reykjavík University Iceland Sapienza Università di Roma Italy
In this paper we focus on TinySol, a minimal calculus for Solidity smart contracts, introduced by Bartoletti et al. We start by rephrasing its syntax (to emphasise its object-oriented flavour) and give a new big-step ... 详细信息
来源: 评论
Pure Methods for roDOT  38
Pure Methods for roDOT
收藏 引用
38th european conference on object-oriented programming, ecoop 2024
作者: Dort, Vlastimil Li, Yufeng Lhoták, Ondřej Parízek, Pavel Charles University Prague Czech Republic University of Cambridge United Kingdom University of Waterloo Canada
object-oriented programming languages typically allow mutation of objects, but pure methods are common too. There is great interest in recognizing which methods are pure, because it eases analysis of program behavior ... 详细信息
来源: 评论