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

33rd International conference on Software Engineering (ICSE)

作者： Cassou, Damien Balland, Emilie Consel, Charles Lawall, Julia Univ Bordeaux INRIA Bordeaux France INRIA LIP6 DIKU Paris France

ISBN: (纸本)9781450304450

A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of interaction contract that expresses allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for Sense/Compute/Control applications, and describe associated compilation and verification strategies.

关键词： Generative programming architectural conformance

来源：评论

学校读者我要写书评

暂无评论

acm International conference Proceeding Series

ACM International Conference Proceeding Series

引用

11th Central and Eastern European Software Engineering conference in Russia, CEE-SECR 2015

ISBN: (纸本)9781450341301

The proceedings contain 11 papers. The topics discussed include: securing outsourced database: architecture for protected web resource;implementation of request switch in PleskFS file system;automatic request analyzer for QoS enabled storage system;aspect markup of a source code for quick navigating a project;on development of static analysis tools for string-embedded languages;some aspects of a modern common-purpose programming language design;CPU utilization prediction methods overview;discovering clones in software: from complex algorithms to everyday desktop tool;justification of the choice of neural networks learning algorithms for indoor mobile positioning;BDD by example: Russian Bylina written in gherkin language;and usage of design patterns as a kind of components of software architecture.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Quipper: A Scalable Quantum programming language 13

Quipper: A Scalable Quantum Programming Language

引用

acm sigplan conference on programming language design and implementation

作者： Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoit Valiron Dalhousie University Institute of Advanced Studies University of Pennsylvania

ISBN: (纸本)9781450320146

The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address this issue by introducing Quipper, a scalable, expressive, functional, higher-order quantum programming language. Quipper has been used to program a diverse set of non-trivial quantum algorithms, and can generate quantum gate representations using trillions of gates. It is geared towards a model of computation that uses a classical computer to control a quantum device, but is not dependent on any particular model of quantum hardware. Quipper has proven effective and easy to use, and opens the door towards using formal methods to analyze quantum algorithms.

关键词： Quipper Quantum programming languages

来源：评论

学校读者我要写书评

暂无评论

Context-oriented software engineering: A modularity vision 14

Context-oriented software engineering: A modularity vision

引用

13th International conference on Modularity, MODULARITY 2014 (Formerly AOSD)

作者： Kamina, Tetsuo Aotani, Tomoyuki Masuhara, Hidehiko Tamai, Tetsuo University of Tokyo Japan Tokyo Institute of Technology Japan Hosei University Japan

ISBN: (纸本)9781450327725

There are a number of constructs to implement context-dependent behavior, such as conditional branches using if statements, method dispatching in object-oriented programming (such as the state design pattern), dynamic deployment of aspects in aspect-oriented programming, and layers in context-oriented programming (COP). Uses of those constructs significantly affect the modularity of the obtained implementation. While there are a number of cases where COP improves modularity, it is not clear when we should use COP in general. This paper presents a preliminary study on our software development methodology, the context-oriented software engineering (COSE), which is a use-case-driven software development methodology that guides us to a specification of context-dependent requirements and design. We provide a way to map the requirements and design formed by COSE to the implementation in our COP language ServalCJ. We applied COSE to two applications in order to assess its feasibility. We also identify key linguistic constructs that make COSE effective by examining existing COP languages. These feasibility studies and examination raise a number of interesting open issues. We finally show our future research roadmap to address those issues. Copyright © 2014 acm. Copyright © 2014 acm.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Contracts for Modular Discrete Controller Synthesis

引用

acm sigplan NOTICES 2010年第4期45卷 57-66页

作者： Delaval, Gwenael Marchand, Herve Rutten, Eric INRIA Grenoble France INRIA Rennes France

We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of the supervisory control of discrete event systems. Our contribution is in a language approach where modular discrete controller synthesis (DCS) is integrated, and it is concretized in the encapsulation of DCS into a compilation process. From transition system specifications of possible behaviors, DCS automatically produces controllers that make the controlled system satisfy the property given as objective. Our language features and compiling technique provide correctness-by-construction in that sense, and enhance reliability and verifiability. Our application domain is adaptive and reconfigurable systems: closed-loop adaptation mechanisms enable flexible execution of functionalities w.r.t. changing resource and environment conditions. Our language can serve programming such adaption controllers. This paper particularly describes the compilation of the language. We present a method for the modular application of discrete controller synthesis on synchronous programs, and its integration in the BZR language. We consider structured programs, as a composition of nodes, and first apply DCS on particular nodes of the program, in order to reduce the complexity of the controller computation;then, we allow the abstraction of parts of the program for this computation;and finally, we show how to recompose the different controllers computed from different abstractions for their correct co-execution with the initial program. Our work is illustrated with examples, and we present quantitative results about its implementation.

关键词： design languages Reliability Verification Discrete controller synthesis modularity components contracts reactive systems synchronous programming adaptive and reconfigurable systems

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of a table driven compiler system

The design and implementation of a table driven compiler sys...

引用

1967 Spring Joint Computer conference, AFIPS 1967

作者： Liu, C.L. Chang, G.D. Marks, R.E. Massachusetts Institute of Technology CambridgeMA United States University of Illinois UrbanaIL United States

ISBN: (纸本)9781450378956

The broader application of digital computers to various areas of studies has prompted the design and usage of special purpose problem-oriented programming languages. Although designing and writing a compiler for a special purpose language is no more a mysterious task as it was ten years ago, it is still, in most cases, a very tedious task that might take a large number of man-months to perform. The purpose of designing a generalized table-driven compiler system is to allow a user to write his own compiler for his special language at a reduction of the time currently required in the implementation of a compiler for a new source language. It should be pointed out that not only can a user design a compiler of his own but he can also make modifications, large or slight, to an existing compiler developed with the system. This, therefore, also provides an ideal simulation environment in connection with the implementation of new ideas in translation process. This particular line of development in translation systems naturally lends itself to the increasing use of digital computers in a time-sharing environment. © 1967 acm.

关键词： Digital computers

来源：评论

学校读者我要写书评

暂无评论

Refined types: highly differentiated type systems and their use in the design of intermediate languages 88

Refined types: highly differentiated type systems and their ...

引用

proceedings of the acm sigplan 1988 conference on programming language design and implementation

作者： J. R. Rose Thinking Machines Corporation Cambridge MA

来源：评论

学校读者我要写书评

暂无评论

design and implementation of a language-complete C++ semantic graph 12

Design and implementation of a language-complete C++ semanti...

引用

50th Annual Association for Computing Machinery Southeast conference, acm-SE'12

作者： Duffy, Edward B. Malloy, Brian A. School of Computing Clemson University Clemson SC 29634 United States

ISBN: (纸本)9781450312035

In this paper, we describe a system, Hylian, for construction of a language-complete abstract semantic graph that can be used for statement-level analysis, both static and dynamic, of a C++ application. We begin by extending the GNU gcc parser to generate parse trees in XML format for each of the compilation units in a C++ application. We then provide verification that the generated parse trees are structurally equivalent to the code in the original C++ application. We use the generated parse trees, together with an augmented version of the gcc test suite, to recover a grammar for the C++ dialect that we parse. We then construct the Abstract Semantic Graph, ASG, by extending the parse tree for each compilation unit with semantic information derived from the parse trees and guided by the C++ language standard. Finally, we link the ASGs for all of the compilation units into a unified ASG for the entire application under study. © 2012 acm.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Reflections on courses for software language engineering

Reflections on courses for software language engineering

引用

MODELS Educators Symposium, EduSymp 2014 - Co-located with the acm/IEEE 17th International conference on Model Driven Engineering languages and Systems, MODELS 2014

作者： Bagge, Anya Helene Lämmel, Ralf Zaytsev, Vadim Bergen Language Design Laboratory University of Bergen Norway Software Languages Team University of Koblenz-Landau Germany Institute of Informatics Universiteit van Amsterdam Netherlands

Software language Engineering (SLE) has emerged as a field in computer science research and software engineering, but it has yet to become entrenched as part of the standard curriculum at universities. Many places have a compiler construction (CC) course and a programming languages (PL) course, but these are not aimed at training students in typical SLE matters such as DSL design and implementation, language workbenches, generalized parsers, and meta-tools. We describe our experiences with developing and teaching software language engineering courses at the Universities of Bergen and Koblenz-Landau. We reflect on lecture topics, assignments, development of course material, and other aspects and variation points in course design.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

proceedings - 2024 32nd IEEE/acm International conference on Program Comprehension, ICPC 2024

Proceedings - 2024 32nd IEEE/ACM International Conference on...

引用

32nd IEEE/acm International conference on Program Comprehension, ICPC 2024

ISBN: (纸本)9798400705861

The proceedings contain 46 papers. The topics discussed include: exploring and improving code completion for test code;on the generalizability of deep learning-based code completion across programming language versions;ESGen: commit message generation based on edit sequence of code change;capturing and understanding the drift between design, implementation, and documentation;towards summarizing code snippets using pre-trained transformers;improving AST-level code completion with graph retrieval and multi-field attention;HyperCRX: a browser extension for insights into GitHub projects and developers;innovating coding: evaluating the impact of innovative thinking in programming;and MESIA: understanding and leveraging supplementary nature of method-level comments for automatic comment generation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：