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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

20 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

17 篇 工学
- 17 篇 计算机科学与技术...
- 16 篇 软件工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 建筑学
- 1 篇 土木工程
5 篇 管理学
- 3 篇 图书情报与档案管...
- 2 篇 管理科学与工程(可...
3 篇 理学
- 2 篇 数学
- 1 篇 物理学

主题

3 篇 static analysis
2 篇 programming
2 篇 software enginee...
2 篇 visualization
2 篇 programming tech...
2 篇 programming lang...
1 篇 program debuggin...
1 篇 object oriented ...
1 篇 surveys
1 篇 runtime
1 篇 access control
1 篇 theory of comput...
1 篇 libraries
1 篇 software enginee...
1 篇 deep learning
1 篇 pipeline process...
1 篇 instruments
1 篇 trees (mathemati...
1 篇 generative adver...
1 篇 debugging

机构

3 篇 eötvös loránd un...
2 篇 dept. of program...
2 篇 dept. of program...
1 篇 dept. programmin...
1 篇 ericsson hungary...
1 篇 eötvös loránd un...
1 篇 dept. of informa...
1 篇 dept. of biomedi...
1 篇 dept. of program...
1 篇 eötvos loränd un...
1 篇 eötvös loránd un...
1 篇 dept. of program...
1 篇 dept. of program...
1 篇 dept. of program...
1 篇 nng ltd. hungary
1 篇 eötvös loránd un...
1 篇 ericsson ltd.
1 篇 eotvos loránd un...
1 篇 radboud universi...
1 篇 eötvös loránd un...

作者

12 篇 porkoláb zoltán
4 篇 mihalicza józsef
3 篇 porkolab zoltan
2 篇 pataki norbert
2 篇 hernáth zsolt
2 篇 zoltán horváth
2 篇 norbert pataki
1 篇 szalay richard
1 篇 zoltan porkolab
1 篇 alwahab dhulfiqa...
1 篇 zoltán porkoláb
1 篇 krupp daniel
1 篇 szekeres imre
1 篇 sipos ádám
1 篇 benczúr andrás
1 篇 krupp dániel
1 篇 antyipin artyom
1 篇 borók-nagy zoltá...
1 篇 kristóf umann
1 篇 tariq emad ali

语言

21 篇 英文
1 篇 其他

检索条件"机构=dept. of Programming Languages and Compilers"

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

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

详细简洁

排序：

Rule-based assignment of comments to AST nodes in C++ programs 12

Rule-based assignment of comments to AST nodes in C++ progra...

引用

5th Balkan Conference in Informatics, BCI 2012

作者： Cséri, Tamás Szugyi, Zalán Porkoláb, Zoltán Dept. of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University Péter sétány 1/C H-1117 Budapest Hungary

ISBN: (纸本)9781450312400

Comments are essential components of programming languages: they preserve the developer's intentions, help the maintainers to understand hidden concepts, and may act as a source of automatic documentation generation. However most of the software maintenance tools (refactorers, slicing and analyser tools) ignore them therefore they lose an important part of information about the software. One of the reasons why tools neglect comments is that there is no single well-defined location in the software's AST where to place them. The relationship between the program's control structure and the comments depend on code conventions and human habits. Our research - part of a project to develop a software maintenance tool - focuses on the code comprehension process of large legacy C++ projects and heavily utilize code comments. We evaluated the commenting behaviour used in large projects and categorized the major patterns. We found that these patterns are strongly correlating in a single project. In the paper we present a method to find the correct place of the comments in the AST-based on project-specific rules. We evaluate our method and test it against open source C++ projects. Copyright 2012 ACM.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Type-preserving heap profiler for C++

Type-preserving heap profiler for C++

引用

27th IEEE International Conference on Software Maintenance, ICSM 2011

作者： Mihalicza, József Porkoláb, Zoltán Gábor, Ábel Eötvos Loränd University Faculty of Informatics Dept. of Programming Languages and Compilers Hungary NNG Ltd. Hungary

ISBN: (纸本)9781457706646

Memory profilers are essential tools to understand the dynamic behaviour of complex modern programs. They help to reveal memory handling details: the wheres, the whens and the whats of memory allocations. Most heap profilers provide sufficient information about which part of the source code is responsible for the memory allocations by showing us the relevant call stacks. The sequence of allocations inform us about their order. However, in case of some strongly typed programming languages, like C++, the question what has been allocated is not trivial. Reporting the actual allocation size gives minimal or no information about the structure or type of the allocated objects. Though this information can be retrieved from the location and time of allocation, it cannot be easily automated, if at all. Therefore in large software systems programmers do not have an overall picture of which data structures are responsible for bottlenecks and have too few clues for pinpointing enhancement possibilities. In this paper we present a type-preserving heap profiler for C++. On top of the usual heap profiler features our allocation entries, including those of template constructs, contain exact type information about the allocated objects. We can extract information on individual memory operations as well as supply aggregated overview. Having such a type information in hand programmers can identify critical classes more easily and can perform optimizations based on evidence rather than speculations. © 2011 IEEE.

关键词： Storage allocation (computer)

来源：评论

学校读者我要写书评

暂无评论

Visualization of C++ template metaprograms

Visualization of C++ template metaprograms

引用

IEEE Working Conference on Source Code Analysis and Manipulation

作者： Borók-Nagy, Zoltán Májer, Viktor Mihalicza, József Pataki, Norbert Porkoláb, Zoltán Dept. of Programming Languages and Compilers Eötvös Loránd University Faculty of Informatics Pazmany Peter Setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)9780769541785

Template metaprograms have become an essential part of today's C++ programs: with proper template definitions we can force the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaptation, language em- bedding and active libraries. Despite all of its already proven benefits and numerous successful applications there are surprisingly few tools for creating, supporting, and ana- lyzing C++ template metaprograms. As metaprograms are executed at compilation time they are even harder to under- stand. In this paper we present a code visualization tool, which is utilizing Templight, our previously developed C++ template metaprogram debugger. Using the tool it is pos- sible to visualize the instantiation chain of C++ templates and follow the execution of metaprograms. Various presen- tation layers, filtering of template instances and step-by- step replay of the instantiations are supported. Our tool can help to test, optimize, maintain C++ template metapro- grams, and can enhance their acceptance in the software industry. © 2010 IEEE.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Functional programming with C++ template metaprograms

Functional programming with C++ template metaprograms

引用

3rd Central European Functional programming School, CEFP 2009

作者： Porkoláb, Zoltán Eötvös Loránd University Faculty of Informatics Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)3642176844

Template metaprogramming is an emerging new direction of generative programming. With the clever definitions of templates we can force the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaption, language embedding and active libraries. However, as template metaprogramming was not an original design goal, the C++ language is not capable of elegant expression of metaprograms. The complicated syntax leads to the creation of code that is hard to write, understand and maintain. Although template metaprogramming has a strong relationship with functional programming, this is not reflected in the language syntax and existing libraries. In this paper we give a short and incomplete introduction to C++ templates and the basics of template metaprogramming. We will enlight the role of template metaprograms, and some important and widely used idioms. We give an overview of the possible application areas as well as debugging and profiling techniques. We suggest a pure functional style programming interface for C++ template metaprograms in the form of embedded Haskell code which is transformed to standard compliant C++ source. © 2010 Springer-Verlag.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Embedding a proof system in Haskell

Embedding a proof system in Haskell

引用

3rd Central European Functional programming School, CEFP 2009

作者： Dévai, Gergely Eötvös Loránd University Faculty of Informatics Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)3642176844

This article reports about a work-in-progress project that aims at embedding a proof system [4] in the Haskell programming language. The goal of the system is to create formally verified software using the correctness by construction principle. Using Haskell as the host language provides a powerful and flexible environment so that programming language tools can be used to build proofs. The main contribution of this paper is the systematic analysis of different techniques for language embedding. We present design decisions by pointing out which techniques are applicable and which ones are inappropriate or inconvenient to use when embedding a proof system like the our one. We also point out the advantages of the embedding compared to a previous implementation of the same system. © 2010 Springer-Verlag.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Visualization of C++ Template Metaprograms

Visualization of C++ Template Metaprograms

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Zoltán Borók-Nagy Viktor Májer Jozsef Mihalicza Norbert Pataki Zoltan Porkolab Dept. of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary

Template metaprograms have become an essential part of today's C++ programs: with proper template definitions we can force the C++ compiler to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaptation, language embedding and active libraries. Despite all of its already proven benefits and numerous successful applications there are surprisingly few tools for creating, supporting, and analyzing C++ template metaprograms. As metaprograms are executed at compilation time they are even harder to understand. In this paper we present a code visualization tool, which is utilizing Tem plight, our previously developed C++ template metaprogram debugger. Using the tool it is possible to visualize the instantiation chain of C++ templates and follow the execution of metaprograms. Various presentation layers, filtering of template instances and step-by-step replay of the instantiations are supported. Our tool can help to test, optimize, maintain C++ template metaprograms, and can enhance their acceptance in the software industry.

关键词： Visualization Data structures Context Instruments Debugging Libraries programming

来源：评论

学校读者我要写书评

暂无评论

Towards more sophisticated access control 11

Towards more sophisticated access control

引用

11th Symposium on programming languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009

作者： Mihalicza, József Pataki, Norbert Porkoláb, Zoltán Sipos, Adam Dept. of Programming Languages and Compilers Faculty of Informatics Eötvös Lorand University Pázmany Péter Sétány 1/C BudapestH-1117 Hungary

ISBN: (纸本)9789521522123

Encapsulation and information hiding play a crucial role in object-oriented software development. While assisting the creation of abstractions they minimize the dependences among distinct modules. Modern languages have different approaches to access control, but in statically typed object-oriented languages the simple public-protected-private categorization is the most common. Unfortunately, the expressive power of this categorization is not sufficient for fine-grained access control, since services are exported to clients in an anonymous way. In this paper the visibility strategies of modern programming languages are compared first. Scenarios are described where more delicate access control is necessary. Earlier experiments of the authors have proved that a library based solution for selective access would produce unacceptable syntactical overhead on programmer. Therefore, we propose here a language extension to C++ programming language. The extension is based on the syntax of concepts, a notation invented in the next standard C++0x and provides an Eiffel-like selective access control for C++ programs. We created an experimental implementation based on the EDG C++ compiler front-end. Our memberwise access specifications provide selective export, which handle not only methods, but also nested types and typedefs. Various visibility strategies can be implemented supporting the usage of individual clients and access groups, roles, and inheritance-driven policies. © 2018 SPLST 2009 and NW-MODE 2009 - Proceedings of 11th Symposium on programming languages and Software Tools and 7th Nordic Workshop on Model Driven Software *** Rights Reserved.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

An XML based General Document Algebra supporting conflict resolving in cooperative text editions - HypereiDoc revisited 11

An XML based General Document Algebra supporting conflict re...

引用

11th Symposium on programming languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009

作者： Hernáth, Zsolt Bauer, Péter Porkoláb, Zoltán Dept. of Information Systems Faculty of Informatics Eötvös Lorand University Pázmany Péter Sétány 1/C BudapestH-1117 Hungary Dept. of Programming Languages and Compilers Faculty of Informatics Eötvös Lorand University Pázmany Péter Sétány 1/C BudapestH-1117 Hungary

ISBN: (纸本)9789521522123

HypereiDoc [1] is an XML based framework that has been designed to support multi-layered processing of epigraphical, papyrological or similar texts in a cooperative, and distributed manner for modern critical editions. Creating an edition, philologists may however face the problem that a prepared edition is, semantically unjust. The reason behind semantically damaged editions is merging virtual text-documents made by different scholar teams that may annotate the same piece of text independently of each other. As nor detection, neither resolution of such semantic casualties is currently supported by the framework, in this paper we explore and analyze possible semantic problems, and extend the mathematical model of HypereiDoc in order to capture, and present possible solutions for them. © 2018 SPLST 2009 and NW-MODE 2009 - Proceedings of 11th Symposium on programming languages and Software Tools and 7th Nordic Workshop on Model Driven Software *** Rights Reserved.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Debugging C++ template metaprograms 06

Debugging C++ template metaprograms

引用

5th International Conference on Generative programming and Component Engineering, GPCE'06. Co-located with the 21st International Conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA 2006

作者： Porkoláb, Zoltán Mihalicza, József Sipos, Ádám Eötvös Loránd University Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

ISBN: (纸本)1595932372

Template metaprogramming is an emerging new direction in C++ programming for executing algorithms in compilation time. Despite all of its already proven benefits and numerous successful applications, it is yet to be accepted in industrial projects. One reason is the lack of professional software tools supporting the development of template metaprograms. A strong analogue exists between traditional runtime programs and compile-time metaprograms. This connection presents the possibility for creating development tools similar to those already used when writing runtime programs. This paper introduces Templight, a debugging framework that reveals the steps executed by the compiler during the compilation of C++ programs with templates. Templight's features include following the instantiation chain, setting breakpoints, and inspecting metaprogram information. This framework aims to take a step forward to help template metaprogramming become more accepted in the software industry. Copyright © 2006 ACM.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Autonomous applications - Towards a better data integration model

Autonomous applications - Towards a better data integration ...

引用

9th East-European Conference on Advances in Databases and Information Systems, ADBIS 2005

作者： Benczúr, András Hernáth, Zsolt Porkoláb, Zoltán Eötvös Loránd University Faculty of Informatics Dept. of Information Systems Pazmany Peter setany 1/C H-1117 Budapest Hungary Eötvös Loránd University Faculty of Informatics Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

One of the most important and critical part of integrating already existing standalone applications is to design and implement a common data model and the corresponding data access layer which makes both data sources and processed results being shared and accessible over the applications in question. In case of even well-architected applications or application systems, establishing a common data model and the layer that gives access to data costs relatively large human and computer development resources. The problem of integration may be investigated from several aspects. The esence of these aproaches are the same: trying to achieve run-time environment independent applications' logic. One aspect is OMG's Model Driven Architecture Frame Work [5]. The primary goals of OMG's MDA are portability, interoperability and resuability through architectural concernes of specifying Application's logic, their operational environments, and technical aspects of their implementation details, and mappings between them. This paper views the same problem but with focus on different structural apearances of applications' data, mappings between them, and possible integration of such data models. We call applications autonomous, if they are independent of their all time run-time data access environment. Concerning applications' autonomy, our base idea is that the most natural media that is able to carry information on structural apperance of data and mappings between them are data themselves, using Document Data Model also presented here.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：