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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

19 篇 会议

馆藏范围

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

日期分布

学科分类号

19 篇 工学
- 19 篇 计算机科学与技术...
- 19 篇 软件工程
- 2 篇 信息与通信工程
- 1 篇 建筑学
- 1 篇 土木工程
4 篇 理学
- 3 篇 数学
- 1 篇 系统科学
4 篇 管理学
- 3 篇 图书情报与档案管...
- 1 篇 管理科学与工程(可...
1 篇 教育学
- 1 篇 教育学

主题

12 篇 java programming...
2 篇 object oriented ...
2 篇 automatic progra...
1 篇 computer program...
1 篇 mobile phones
1 篇 web services

机构

1 篇 sra key technolo...
1 篇 university of co...
1 篇 university of ma...
1 篇 cornell college ...
1 篇 irst via sommari...
1 篇 department of co...
1 篇 dipartimento di ...
1 篇 systems developm...
1 篇 edward s. rogers...
1 篇 university of tu...
1 篇 pace university ...
1 篇 deis cesena alma...
1 篇 purdue universit...
1 篇 faculty of infor...
1 篇 san francisco st...
1 篇 l3d center depar...
1 篇 faculty of infor...
1 篇 department of co...
1 篇 kid lab. rcast u...
1 篇 ch-1015 lausanne

作者

1 篇 ye yunwen
1 篇 venneri betti
1 篇 bettini lorenzo
1 篇 nakakoji kumiyo
1 篇 asada mitsuhiro
1 篇 puder arno
1 篇 roussel gilles
1 篇 loyauté gautier
1 篇 hauswirth matthi...
1 篇 wildenberg andy
1 篇 cimadamore mauri...
1 篇 franz michael
1 篇 nishinaka yoshiy...
1 篇 hughes andrew
1 篇 hulaas jarle
1 篇 viroli mirko
1 篇 capecchi sara
1 篇 binder walter
1 篇 zaparanuks dmitr...
1 篇 plümicke martin

语言

19 篇 英文

检索条件"任意字段=2007 5th International Conference on the Principles and Practice of Programming in Java, PPPJ 2007"

共 19 条记录，以下是11-20 订阅

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

详细简洁

排序：

Featherweight java with multi-methods 07

Featherweight Java with multi-methods

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Bettini, Lorenzo Capecchi, Sara Venneri, Betti Dipartimento di Sistemi ed Informatica Università di Firenze Dipartimento di Matematica e Informatica Università di Catania

ISBN: (纸本)9781595936721

Multi-methods (collections of overloaded methods associated to the same message, whose selection takes place dynamically instead of statically as in standard overloading) are a useful mechanism since they unleash the power of dynamic binding in object-oriented languages, so enhancing re-usability and separation of responsibilities. However, many mainstream languages, such as, e.g., java, do not provide it, resorting to only static overloading. In this paper we propose an extension, we call FMJ (Featherweight Multi java), of Featherweight java with encapsulated multi-methods thus providing dynamic overloading. the extension is conservative and type safe: both "message-not-understood" and "message-ambiguous" are statically ruled out. Our core language can be used as the formal basis for an actual implementation of dynamic overloading in java-like languages. Copyright 2007 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Typeless programming in java 5.0 with wildcards 07

Typeless programming in Java 5.0 with wildcards

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Plümicke, Martin University of Cooperative Education Stuttgart Department of Information Technology Florianstraße 15 D-72160 Horb

ISBN: (纸本)9781595936721

With the introduction of java 5.0 [8] the type system has been extended by parameterized types, type variables, type terms, and wildcards. As a result very complex types can arise. the term Vector>> is for example a correct type in java 5.0. Considering all that, it is often rather inconvienent to give types like this, explictly. Furthermore there are methods whose principal types would be intersection types. But intersection types are not implemented in java 5.0. this means that java 5.0 methods often do not have the principal type which is contradictive to the OOP-Principle of writing re-usable code. this has caused us to develop a java 5.0 type inference system which assists the programmer by calculating types automatically. this type inference system allows us, to declare method parameters and local variables without type annotations. the type inference algorithm calculates the appropriate and principal types. In this contribution we present the ideas extending type inference for types with wildcards. Copyright 2007 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

the potential of trace-level parallelism in java programs 07

The potential of trace-level parallelism in Java programs

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Bradel, Borys J. Abdelrahman, Tarek S. Edward S. Rogers Sr. Department of Electrical and Computer Engineering University of Toronto Toronto ON M5S 3G4 Canada

ISBN: (纸本)9781595936721

the exploitation of parallelism among traces, i.e. hot paths of execution in programs, is a novel approach to the automatic parallelization of java programs and it has many advantages. However, to date, the extent to which parallelism exists among traces in programs has not been made clear. the goal of this study is to measure the amount of trace-level parallelism in several java programs. We extend the Jupiter java Virtual Machine with a simulator that models an abstract parallel system. We use this simulator to measure trace-level parallelism. We further use it to examine the effects of the number of processors, trace window size, and communication type and cost on performance. Our results indicate that enough trace-level parallelism exists for a modest number of processors. thus, we conclude that trace-based parallelization is a potentially viable approach to improve the performance of java programs. Copyright 2007 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Extending and contributing to an open source web-based system for the assessment of programming problems 07

Extending and contributing to an open source web-based syste...

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Gotel, Olly Scharff, Christelle Wildenberg, Andy Pace University Seidenberg School of Computer Science and Information Systems Department of Computer Science New York NY 10038 Cornell College Department of Computer Science Mount Vernon IA 52314

ISBN: (纸本)9781595936721

this paper describes the development of a web-based programming and assessment environment for use in supporting programming fundamentals courses (CS1, CS2) taught in java. this environment is currently linked with WeBWorK, an open source web-based system developed at the University of Rochester that is popular for administering and assessing mathematics and physics coursework, but is designed for the potential integration with other course management system (CMS) environments. In addition to the traditional multiple-choice and short answer questions that have been augmented with the extensive randomization and customization routines of WeBWorK, this new environment (called WeBWorK-JAG where JAG stands for java Auto Grader) can automatically collect and grade free-form program fragments written in java. Novel pedagogy has been developed based on the capabilities of this extension and preliminary classroom results are discussed in this paper. For example, when students contributed to WeBWorK by creating WeBWorK-JAG questions for their peers, they are exposed to the reality of creating comprehensive unit tests and to the wider quality assurance aspects of formulating questions and their solution sets. this work is described in the context of an emerging commercial market for web-based programming assistants and its unique contributions are summarized. Copyright 2007 ACM.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A java toolkit for the design and the automatic checking of server architectures 07

A Java toolkit for the design and the automatic checking of ...

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Loyauté, Gautier Forax, Rémi Roussel, Gilles Université Paris-Est Laboratoire d'Informatique de UMR 8049 77454 Marne-la-Vallée Cedex2 France

ISBN: (纸本)9781595936721

this paper presents Saburo, a java toolkit that generates, from a single java specification, java Internet server implementations, together with their formal model that can be automatically checked using the model checker SPIN. this approach ensures the coherence between the Internet server behavior and the static verifications applied on its formal model. Moreover, the use of the java language as a unique input specification should help the dissemination of formal verification techniques. To simplify the automatic abstraction of the formal model, the Saburo approach is based on the separation of concerns principle. the java specification is decomposed into three parts: a concurrency model chosen among several predefined ones, a graph describing all the communication and synchronization, and the business code. this approach has two main advantages: the change of the concurrency model is straightforward, and the classical problem of state explosion induced by the automatic extraction of the formal model from the source code is minimized. this work blends together a set of features coming from server design, compilers, software engineering and formal verification. Even though we do not claim novelty in each of the techniques adopted for Saburo, they have been unified into our java toolkit, which supports all server design phases. Copyright 2007 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Searching the library and asking the peers: Learning to use java APIs on demand 07

Searching the library and asking the peers: Learning to use ...

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Ye, Yunwen Yamamoto, Yasuhiro Nakakoji, Kumiyo Nishinaka, Yoshiyuki Asada, Mitsuhiro L3D Center Department of Computer Science University of Colorado Boulder United States KID Lab. RCAST University of Tokyo Japan SRA Key Technology Lab. 3-12 Yotsuya Shinjuku Tokyo Japan

ISBN: (纸本)9781595936721

the existence of large API libraries contributes significantly to the programming productivity and quality of java programmers. the vast number of available library APIs, however, presents a learning challenge for java programmers. Most java programmers do not know all the APIs. Whenever their programming task requires API methods they do not yet know, they have to be able to find what they need and learn how to use them on demand. this paper describes a tool called STeP_IN_java (a Socio- Technical Platform for In situ Networking of java programmers) that helps java programmers find APIs, and learn from both examples and experts how to use them on demand. STeP_IN_java features a sophisticated yet easy-to-use search interface that enables programmers to conduct a personalized search and to progressively refine their search by limiting search scopes. Example programs are provided and embedded to assist programmers in using APIs. Furthermore, if a programmer still has questions about a particular API method, he or she can ask peer programmers. the STeP_IN_java system automatically routes the question to a group of experts who are chosen based on two criteria: they have high expertise on the particular API method and they have a good social relationship with the programmer who is requesting the information. Copyright 2007 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

FSMC+, a tool for the generation of java code from statecharts 07

FSMC+, a tool for the generation of Java code from statechar...

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Tiella, Roberto Villafiorita, Adolfo Tomasi, Silvia IRST via Sommarive 18 Trento Italy

ISBN: (纸本)9781595936721

ProVotE is a two-phase project aiming at actuating art. 84 of law 2 - 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Trentino (Nov. 2008). During the first phase of the ProVotE project we built jprovote, a java/Linux e-voting system. the jprovote system has been used with experimental value by more than 11000 voters during local elections held in various municipalities of Trentino (Italy). A critical component of jprovote is its core logic, that is responsible of controlling the overall behavior of the e-voting machine during an election. In order to simplify its development and to allow for formal verification of this critical component we developed FSMC+. FSMC+ is a compiler that takes as input a subset of UML Statecharts and produces the corresponding java and NuSMV code (NuSMV is a model checker developed at ITC-irst). Support for parameters in events, complex expressions in guards, and support to nested states are some of the distinguishing features of FSMC+. In this paper we present FSMC+ and we show how we used it for the development and the verification of the ProVotE e-voting machine. Even though FSMC+ has been specifically created to ease the development of jprovote, we believe the approach and the tool we developed to be general enough to be used in other applications. Copyright 2007 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

A software metric for coherence of class roles in java programs 07

A software metric for coherence of class roles in Java progr...

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Mäkelä, Sami Leppänen, Ville University of Turku and TUCS ICT-talo Joukahaisenkatu 3-5C 20014 Turun Yliopisto Finland

ISBN: (纸本)9781595936721

the purpose of software metrics is to measure the quality of programs. the results can be for example used to predict maintenance costs or improve code quality. An emerging view is that if software metrics are going to be used to improve quality, they must help in finding code that should be refactored. Often refactoring or applying a design pattern is related to the role of the class to be refactored. In client-based metrics, a project gives the class a context. these metrics measure, how a class is used by other classes in the context. We present a new client-based metric LCIC (Lack of Coherence in Clients), which analyses, if the class being measured has a coherent set of roles in the program. Interfaces represent the roles of classes. If a class does not have a coherent set of roles, it should be refactored, or a new interface should be defined for the class. We have implemented a tool for measuring the metric LCIC for java projects in the Eclipse environment. We calculated LCIC values for classes of several open source projects. We compare these results with results of other related metrics, and inspect the measured classes to find out, what kind of refactorings are needed. We also analyse the relation of different design patterns and refactorings to our metric. Our experiments reveal the usefulness of client-based metrics to improve the quality of code. Copyright 2007 ACM.

关键词： java programming language

来源：评论

学校读者我要写书评

暂无评论

Bridging java and AspectJ through explicit join points 07

Bridging Java and AspectJ through explicit join points

引用

2007 5th international conference on the principles and practice of programming in java, pppj 2007

作者： Hoffman, Kevin Eugster, Patrick Purdue University 305 N. University Street West Lafayette IN 47907

ISBN: (纸本)9781595936721

through AspectJ, aspect-oriented programming (AOP) is becoming of increasing interest and availability to java programmers as it matures as a methodology for improved software modularity via the separation of cross-cutting concerns. AOP proponents often advocate a development strategy where java programmers write the main application, ignoring cross-cutting concerns, and then AspectJ programmers, domain experts in their specific concerns, weave in the logic for these more specialized cross-cutting concerns. However, several authors have recently debated the merits of this strategy by empirically showing certain drawbacks. the proposed solutions paint a different development strategy where base code and aspect programmers are aware of each other (to varying degrees) and interactions between cross-cutting concerns are planned for early on. Herein we explore new possibilities in the language design space that open up when the base code is aware of cross-cutting aspects. Using our insights from this exploration we concretize these new possibilities by extending AspectJ with concise yet powerful constructs, while maintaining full backwards compatibility. these new constructs allow base code and aspects to cooperate in ways that were previously not possible: arbitrary blocks of code can be advised, advice can be explicitly parameterized, base code can guide aspects in where to apply advice, and aspects can statically enforce new constraints upon the base code that they advise. these new techniques allow aspect modularity and program safety to increase. We illustrate the value of our extensions through an example based on transactions. Copyright 2007 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共2页 << < 1 2 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：