检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

226 篇 会议
8 篇 期刊文献
3 册 图书

馆藏范围

237 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

159 篇 工学
- 131 篇 计算机科学与技术...
- 123 篇 软件工程
- 13 篇 控制科学与工程
- 7 篇 电气工程
- 7 篇 信息与通信工程
- 2 篇 机械工程
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 交通运输工程
- 2 篇 生物工程
- 1 篇 仪器科学与技术
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
- 1 篇 安全科学与工程
36 篇 理学
- 30 篇 数学
- 3 篇 生物学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生态学
8 篇 管理学
- 5 篇 图书情报与档案管...
- 3 篇 管理科学与工程(可...
4 篇 教育学
- 3 篇 教育学
- 1 篇 心理学(可授教育学...
3 篇 法学
- 2 篇 社会学
- 1 篇 法学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学

主题

102 篇 object oriented ...
20 篇 object oriented ...
14 篇 java
9 篇 software systems
9 篇 software enginee...
7 篇 computer science
7 篇 application soft...
7 篇 computer languag...
7 篇 middleware
5 篇 data mining
5 篇 software
5 篇 object-oriented ...
5 篇 data models
5 篇 unified modeling...
5 篇 web services
4 篇 object detection
4 篇 languages
4 篇 reverse engineer...
4 篇 relational datab...
4 篇 software metrics

机构

3 篇 university of wa...
3 篇 western norway u...
3 篇 carnegie mellon ...
2 篇 university of te...
2 篇 department of co...
2 篇 computer science...
2 篇 microsoft res re...
2 篇 bekk consulting
2 篇 graduate school ...
2 篇 custom house glo...
2 篇 carnegie mellon ...
2 篇 mit computer sci...
2 篇 ibm t.j watson r...
2 篇 ibm corp thomas ...
2 篇 univ waterloo ge...
2 篇 alcatel-lucent
1 篇 r&r software bud...
1 篇 gabelli school o...
1 篇 natl res univ hi...
1 篇 department of so...

作者

3 篇 czarnecki krzysz...
3 篇 antkiewicz micha...
2 篇 sam peng
2 篇 rayfield james t...
2 篇 mckinley kathryn...
2 篇 ying hu
2 篇 shaban-nejad ara...
2 篇 bjerkestrand and...
2 篇 manuel wimmer
2 篇 rodriguez n
2 篇 skaar lars arne
2 篇 ros¸u grigore
2 篇 yoder joseph w.
2 篇 haarslev volker
2 篇 n. rodriguez
2 篇 moha naouel
2 篇 pugh william
2 篇 zimmermann olaf
2 篇 quinonez jaime
2 篇 kephart jeffrey ...

语言

233 篇 英文
4 篇 其他

检索条件"任意字段=22nd International Conference on Object-Oriented Programming, Systems, Languages and Applications"

共 237 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

OOPSLA: 22nd international conference on object-oriented programming, systems, languages, and applications - Proceedings

OOPSLA: 22nd International Conference on Object-Oriented Pro...

引用

OOPSLA 2007: 22nd international conference on object-oriented programming, systems, languages, and applications

ISBN: (纸本)9781595937865

The proceedings contain 39 papers. The topics discussed include: variant path types for scalable extensibility;dependent classes;component nextgen: a sound and expressive component framework for Java;user-changeable visibility resolving unanticipated name clashes in traits;tractions with isolation and cooperation;granting Java interface developers their wishes;the justadd extensible Java compiler;streamflex: high-throughput stream programming in Java;the causes of bloat, the limits of health;notation and representation in collaborative object-oriented design: an observational study;WebRB: evaluating a visual domain-specific language for building relational web-application;modular typestate checking of aliased objects;and modular verification of higher-order methods with mandatory calls specified by model programs.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 22nd Annual ACM SIGPLAN international conference on object-oriented programming, systems, languages, and applications, OOPSLA'07

Proceedings of the 22nd Annual ACM SIGPLAN International Con...

引用

22nd Annual ACM SIGPLAN international conference on object-oriented programming, systems, languages, and applications, OOPSLA'07

The proceedings contain 39 papers. The topics discussed include: the JastAdd extensible Java compiler;jeannie: granting Java native interface developers their wishes;ILEA: inter-language analysis across Java and C;statistically rigorous Java performance evaluation;MicroPhase: an approach to proactively invoking garbage collection for improved performance;variant path types for scalable extensibility;component NextGen: a sound and expressive component framework for Java;User-changeable visibility: resolving unanticipated name clashes in traits;transactions with isolation and cooperation;streamflex: high-throughput stream programming in Java;can programming be liberated from the two-level style? multi-level programming with DeepJava;notation and representation in collaborative object-oriented design: an observational study;and WebRB: evaluating a visual domain-specific language for building relational web-applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Service-oriented Computing, ICSOC 2024

22nd International Conference on Service-Oriented Computing,...

引用

22nd international conference on Service-oriented Computing, ICSOC 2024

ISBN: (纸本)9789819608041

The proceedings contain 55 papers. The special focus in this conference is on Service-oriented Computing. The topics include: ABBA-VSM: Time Series Classification Using Symbolic Representation on the Edge;An Energy-Efficient Partition and Offloading Method for Multi-DNN applications in Edge-End Collaboration Environments;crowdsourcing Task Assignment with Category and Mobile Combined Preference Learning;federated Learning as a Service for Hierarchical Edge Networks with Heterogeneous Models;optimizing Traffic Allocation for Multi-replica Microservice Deployments in Edge Cloud;an Event-B Based Approach for Horizontally Scalable IoT applications;efficient Provisioning of IoT Energy Services;attention-Driven Conflict Management in Smart IoT-Based systems;benchmarking Deep Learning Models for object Detection on Edge Computing Devices;LLM Enhanced Representation for Cold Start Service Recommendation;Combining Generative AI and PPTalk Service Specification for Dynamic and Adaptive Task-oriented Chatbots;Automated Generation of BPMN Processes from Textual Requirements;Plug-and-Play Performance Estimation for LLM Services without Relying on Labeled Data;UELLM: A Unified and Efficient Approach for Large Language Model Inference Serving;Service-oriented Requirements Elicitation Through Systematic Questionnaire Design: A Problem-Driven GenAI Approach;assessing Large Language Models Effectiveness in Outdated Method Renaming;DynaEDI: Decentralized Integrity Verification for Dynamic Edge Data;Heterogeneous Multi Relation Trust for SIoT Service Recommendation;a Context-Aware Service Framework for Detecting Fake Images;Bias Exposed: The BiaXposer Framework for NLP Fairness;flowShredder: A Protocol-Independent in-Network Security Service in the Cloud;HiGPP: A History-Informed Graph-Based Process Predictor for Next Activity;from Visual Choreographies to Flexible Information Protocols;architectural Elements of Decentralized Process Management systems;LLM-Based Business Process Docume

关键词：

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Service-oriented Computing, ICSOC 2024

22nd International Conference on Service-Oriented Computing,...

引用

22nd international conference on Service-oriented Computing, ICSOC 2024

ISBN: (纸本)9789819608072

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings and Companion to the WikiSym'07 ISMM'07, HPC-GECO/CompFrame'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion , OOPSLA'07

Proceedings and Companion to the WikiSym'07 ISMM'07, HPC-GEC...

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd ACM SIGPLAN conference on object-oriented programming systems and applications Companion, OOPSLA'07

ISBN: (纸本)9781595938657

The proceedings contain 100 papers. The topics discussed include: the popularity cycle of graphical tools, UML, and libraries of associations;the first workshop on programming languages and integrated development environments (PLIDE);No silver bullet: a retrospective on the essence and accidents of software engineering;the first international workshop on unified data mining engine: addressing challenges;selecting object-oriented source code metrics to improve predictive models using a parallel genetic Algorithm;open framework for conformance testing via scenarios;a framework for distributed collaborative conceptual model development;adding rigorous statistics to the Java benchmarker's toolbox;status report on JSR-305: annotations for software defect detection;and synthesizing reactive systems from LSC requirements using the play-engine.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Establishing object invariants with delayed types

Establishing object invariants with delayed types

引用

22nd international conference on object-oriented programming, systems, languages and applications

作者： Fahndrich, Manuel Xia, Songtao Microsoft Res Redmond WA 98052 USA

ISBN: (纸本)1595937862

Mainstream object-oriented languages such as C# and Java provide an initialization model for objects that does not guarantee programmer controlled initialization of fields. Instead, all fields are initialized to default values (0 for scalars and null for non-scalars) on allocation. This is in stark contrast to functional languages, where all parts of an allocation are initialized to programmer-provided values. These choices have a direct impact on two main issues: 1) the prevalence of null in object oriented languages (and its general absence in functional languages), and 2) the ability to initialize circular data structures. This paper explores connections between these differing approaches and proposes a fresh look at initialization. Delayed types are introduced to express and formalize prevalent initialization patterns in object-oriented languages.

关键词： languages reliability verification non-null types object invariants initialization

来源：评论

学校读者我要写书评

暂无评论

A rewriting approach to the design and evolution of object-oriented languages

A rewriting approach to the design and evolution of object-o...

引用

22nd international conference on object-oriented programming systems, languages, and applications, OOPSLA 2007 - Companion

作者： Hills, Mark Rosu, Grigore University of Illinois Urbana-Champaign

ISBN: (纸本)9781595938657

Rewriting logic semantics provides an environment for defining new and existing languages. These language definitions are formal and executable, providing language interpreters almost for free while also providing a framework for building analysis tools, such as type checkers, model checkers, and abstract interpreters. Large subsets of several existing object-oriented languages have been defined, while a new research language, KOOL, has been created as a platform for experimenting with language features and type systems. At the same time, new tools and formalisms aimed specifically at programming languages are being developed.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

WebRB: Evaluating a visual domain-specific language for building relational web-applications 07

WebRB: Evaluating a visual domain-specific language for buil...

引用

22nd international conference on object-oriented programming, systems, languages and applications

作者： Leff, Avraham Rayfield, James T. IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA

ISBN: (纸本)9781595937865

Many web-applications can be characterized as "relational". In this paper we introduce and evaluate WebRB, a visual domain-specific language for building such applications. WebRB addresses the limitations of the conventional "imperative-embedding" approach typically used to build relational web-applications. We describe the WebRB language, present extended examples of its use, and discuss the WebRB visual editor, libraries, and runtime. We then evaluate WebRB by comparing it to alternative approaches, and demonstrate its effectiveness in building relational web-applications.

关键词： languages WebRB web relational blocks relational web-applications web-application development visual programming languages data-flow languagesR

来源：评论

学校读者我要写书评

暂无评论

object-oriented software specification in programming language design and implementation 22

Object-oriented software specification in programming langua...

引用

22nd Annual international Computer Software and applications conference

作者： Bryant, BR Vaidyanathan, V Univ Alabama Dept Comp & Informat Sci Birmingham AL 35294 USA

ISBN: (纸本)0818685859

An object-oriented formal specification workbench is proposed for defining the syntax and semantics of programming languages, using which the formal properties of different languages can be elaborated and analyzed. Our specification approach is an object-oriented representation structured around a denotational semantics methodology which abstracts out various common details so that formal syntax and semantics call be defined elegantly. Specific details can be inherited and specialized in defining the semantics of various programming languages, and the reusability and modifiability of many programming languages features can be manifested across language paradigms. Furthermore, prototype implementations for these languages may be automatically developed from the formal specifications, providing a mechanism for compiler/interpreter reuse at the specification level.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

Interfacing to legacy and object-oriented environments 22

Interfacing to legacy and object-oriented environments

引用

22nd Annual international Computer Software and applications conference

作者： Healton, B Elegant Technology Solutions Inc

ISBN: (纸本)0818685859

This history of programming paradigm evolution is presented showing what practices evolved from the assembler languages to the current object-oriented environments. The continuing evolution and enhancement of applications compels current practitioners to work with the realities of the legacy application paradigms. A set of methods and processes are described that reduce the risk of project failures when an interface between legacy and object-oriented applications is required.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共24页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：