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

10th acm sigplan International conference on Software language Engineering (SLE) as part of acm sigplan conference on Systems, programming, languages and Applications - Software for Humanity (SPLASH)

作者： Seidewitz, Ed NMeta LLC 14000 Gullivers Trail Bowie MD 20720 USA

ISBN: (纸本)9781450355254

Alf is an action language designed as a textual notation for specifying detailed behaviors within an executable UML model. The Alf implementation in MagicDraw, a leading commercial tool for modeling using the Unified Modeling language (UML) from No Magic, Inc., aims to support the practical application of Alf in real-world uses of executable UML modeling. It includes syntax-aware editing and checking of Alf code, with valid code automatically and transparently compiled into UML activity models. The resulting models are fully integrated within the wider UML modeling context, and they can then be executed as part of full system simulation scenarios. The Alf compiler also tracks the dependencies of all Alf text on other UML model elements, allowing for automatic re-checking and re-building the Alf code as necessitated by changes in referenced elements. The goal is to provide an IDE-level experience for the easy entry and maintenance of Alf code within an overall executable UML model.

关键词： Executable UML Foundational UML Alf

来源：评论

学校读者我要写书评

暂无评论

Behind Every Great Deep Learning Framework Is an Even Greater programming languages Concept (Keynote) 2018

Behind Every Great Deep Learning Framework Is an Even Greate...

引用

26th acm Joint Meeting on European Software Engineering conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE)

作者： Meijer, Erik Delft Univ Technol Software Engn Res Grp Cloud Programming Delft Netherlands Facebook Infra Struct Org Menlo Pk CA 94025 USA

ISBN: (纸本)9781450355735

In many areas, such as image recognition, natural language processing, search, recommendation, autonomous cars, systems software and infrastructure, and even Software Engineering tools themselves, Software 2.0 (= programming using learned models) is quickly swallowing Software 1.0 (= programming using handcrafted algorithms). Where the Software 1.0 Engineer formally specifies their problem, carefully designs algorithms, composes systems out of subsystems or decomposes complex systems into smaller components, the Software 2.0 Engineer amasses training data and simply feeds it into an ML algorithm that will synthesize an approximation of the function whose partial extensional definition is that training data. Instead of code as the artifact of interest, in Software 2.0 it is all about the data where compilation of source code is replaced by training models with data. This new style of programming has far-reaching consequences for traditional software engineering practices. Everything we have learned about life cycle models, project planning and estimation, requirements analysis, program design, construction, debugging, testing, maintenance and implementation, ... runs the danger of becoming obsolete. One way to try to prepare for the new realities of software engineering is not to zero in on the differences between Software 1.0 and Software 2.0 but instead focus on their similarities. If you carefully look at what a neural net actually represents, you realize that in essence it is a pure function, from multi-dimensional arrays of floating point numbers to multi-dimensional arrays of floating point numbers (tensors). What is special about these functions is that they are differentiable (yes, exactly as you remember from middle school calculus), which allows them to be trained using back propagation. The programming language community has also discovered that there is a deep connection between back propagation and continuations. Moreover, when you look closely at how So

关键词： Machine Learning programming languages Functional programming Automatic Differentiation Differentiable programming Deep Learning Continuation Passing Style

来源：评论

学校读者我要写书评

暂无评论

A Requirements Engineering Approach for Usability-Driven DSL Development 10

A Requirements Engineering Approach for Usability-Driven DSL...

引用

10th acm sigplan International conference on Software language Engineering (SLE) as part of acm sigplan conference on Systems, programming, languages and Applications - Software for Humanity (SPLASH)

作者： Barisic, Ankica Blouin, Dominique Amaral, Vasco Goulao, Miguel FCT UNL NOVA LINCS Caparica Portugal Telecom ParisTech LTCI Lab Paris France

ISBN: (纸本)9781450355254

There is currently a lack of Requirements Engineering (RE) approaches applied to, or supporting, the development of a Domain-Specific language (DSL) taking into account the environment in which it is to be used. We present a model-based RE approach to support DSL development with a focus on usability concerns. RDAL is a RE fragment language that can be complemented with other languages to support RE and design. USE-ME is a model driven approach for DSLs usability evaluation which is integrable with a DSL development approach. We combine RDAL and a new DSL, named DSSL, that we created for the specification of DSL-based systems. Integrated with this combination we add USE-ME to support usability evaluation. This combination of existing languages and tools provides a comprehensive RE approach for DSL development. We illustrate the approach with the development of the Gyro DSL for programming robots.

关键词： Requirements engineering Domain-Specific language Usability evaluation

来源：评论

学校读者我要写书评

暂无评论

CHERI JNI: Sinking the Java Security Model into the C 17

CHERI JNI: Sinking the Java Security Model into the C

引用

22nd acm International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)

作者： Chisnall, David Davis, Brooks Gudka, Khilan Brazdil, David Joannou, Alexandre Woodruff, Jonathan Markettos, A. Theodore Maste, J. Edward Norton, Robert Son, Stacey Roe, Michael Moore, Simon W. Neumann, Peter G. Laurie, Ben Watson, Robert N. M. Univ Cambridge Cambridge England SRI Int Menlo Pk CA USA DeepMind Technol Ltd London England

ISBN: (纸本)9781450344654

Java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a Java program - including the million lines used to implement the standard library - is able to bypass both the memory protection and the higher-level policies. We present a hardware-assisted implementation of the Java native code interface, which extends the guarantees required for Java's security model to native code. Our design supports safe direct access to buffers owned by the JVM, including hardware-enforced read-only access where appropriate. We also present Java language syntax to declaratively describe isolated compartments for native code. We show that it is possible to preserve the memory safety and isolation requirements of the Java security model in C code, allowing native code to run in the same process as Java code with the same impact on security as running equivalent Java code. Our approach has a negligible impact on performance, compared with the existing unsafe native code interface. We demonstrate a prototype implementation running on the CHERI microprocessor synthesized in FPGA.

关键词： cheri language security hardware security compartmentalization architecture memory protection java compilers capability systems sandboxing jni

来源：评论

学校读者我要写书评

暂无评论

Onward! 2017 - Proceedings of the 2017 acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, co-located with SPLASH 2017

Onward! 2017 - Proceedings of the 2017 ACM SIGPLAN Internati...

引用

2017 acm sigplan International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2017

ISBN: (纸本)9781450355308

The proceedings contain 18 papers. The topics discussed include: can we crowdsource language design?;assessing user preferences in programming language design;replacing phrase structure grammar with dependency grammar in the design and implementation of programming languages;generating chat bots from web API specifications;ChimpCheck: property-based randomized test generation for interactive apps;unbounded superoptimization;the serverless trilemma: function composition for serverless computing;encoding the building blocks of communication;iota: a calculus for internet of things automation;error messages are classifiers: a process to design and evaluate error messages;you can have it all: abstraction and good cache performance;you can have it all: abstraction and good cache performance;infra: structure all the way down: structured data as a visual programming language;selfie and the basics;systems level liveness with extempore;some were meant for C: the endurance of an unmanageable language;concept analysis in programming language research: done well it is all right;and how can our publication models best serve our research?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ARRAY 2017 - Proceedings of the 4th acm sigplan International Workshop on Libraries, languages, and Compilers for Array programming, co-located with PLDI 2017

ARRAY 2017 - Proceedings of the 4th ACM SIGPLAN Internationa...

引用

4th acm sigplan International Workshop on Libraries, languages, and Compilers for Array programming, ARRAY 2017

ISBN: (纸本)9781450350693

The proceedings contain 8 papers. The topics discussed include: Quad Ropes: immutable, declarative arrays with parallelizable operations;an ELI-to-C compiler: design, implementation, and performance;array programming in Whiley;flexible data views: design and implementation;portable vectorization and parallelization of C++ multi-dimensional array computations;efficient array slicing on the Intel Xeon Phi coprocessor;modular array-based GPU computing in a dynamically-typed language;and HPTT: a high-performance tensor transposition C++ library.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Generative software product line development using variability-aware design patterns

引用

COMPUTER languageS SYSTEMS & STRUCTURES 2017年 48卷 89-111页

作者： Seidl, Christoph Schuster, Sven Schaefer, Ina Tech Univ Carolo Wilhelmina Braunschweig Braunschweig Germany

Software Product Lines (SPLs) are an approach to reuse in-the-large that models a set of closely related software systems in terms of commonalities and variabilities. design patterns are best practices for addressing recurring design problems in object-oriented source code. In the practice of implementing SPL, instances of certain design patterns are employed to handle variability, which makes these "variability-aware design patterns" a best practice for SPL design. However, currently there is no dedicated method for proactively developing SPLs using design patterns suitable for realizing variable functionality. In this paper, we present a method to perform generative SPL development with design patterns. We use role models to capture design patterns and their relation to a variability model. We further allow mapping of individual design pattern roles to (parts of) implementation elements to be generated (e.g., classes, methods) and check the conformance of the realization with the specification of the pattern. We provide definitions for the variability-aware versions of the design patterns Observer, Strategy, Template Method and Composite. Furthermore, we support generation of realization's in Java, C++ and UML class diagrams utilizing annotative, compositional and transformational variability realization mechanisms. Hence, we support proactive development of SPLs using design patterns to apply best practices for the realization of variability. We realize our concepts within the Eclipse IDE and demonstrate them within a case study. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： SOFTWARE product line engineering COMPUTER software development SOFTWARE patterns REALIZATION (Linguistics) JAVA (Computer program language) C++ (Computer program language)

来源：评论

学校读者我要写书评

暂无评论

Temporal constrained objects: Application and implementation

引用

COMPUTER languageS SYSTEMS & STRUCTURES 2017年 49卷 82-100页

作者： Kannimoola, Jinesh M. Jayaraman, Bharat Tambay, Pallavi Achuthan, Krishnashree Amrita Univ Amrita Vishwa Vidyapeetham Amrita Sch Engn Amrita Ctr Cybersecur Syst & Networks Amritapuri India SUNY Buffalo Dept Comp Sci & Engn Buffalo NY USA

We present a novel programming concept called temporal constrained objects for modeling of dynamic systems. It is an extension of the paradigm of constrained objects which provides a principled approach to modeling complex engineering systems based upon two main principles: a compositional specification of the structure of the system, using objects, and a declarative specification of its behavior, using constraints. A novel feature of temporal constrained objects is the series variable, the sequence of whose values is determined by constraints that include metric temporal operators. The emergent behavior of a dynamic system is determined through a process of time-based simulation and constraint satisfaction at each step. Each class definition for a temporal constrained object is translated into a Prolog rule with constraint-solving capability. In order to improve the performance for long simulations, a partial evaluation technique is adopted for optimized code generation. This paper describes the syntax of a language called TCOB along with several examples, our objective being to demonstrate the benefits of the programming paradigm. TCOB has been implemented and all examples presented in this paper were tested using this implementation. An overview of the translation as well as partial execution and its performance improvements are presented in the paper. (C) 2017 Elsevier Ltd. All rights reserved.

关键词： Compositional modeling Constraints Objects Constrained objects Series variables Metric temporal operators implementation Partial evaluation Performance

来源：评论

学校读者我要写书评

暂无评论

Modular interpreters with implicit context propagation

引用

COMPUTER languageS SYSTEMS & STRUCTURES 2017年 48卷 39-67页

作者： Inostroza, Pablo van der Storm, Tijs Ctr Wiskunde & Informat Amsterdam Netherlands

Modular interpreters are a crucial first step towards component-based language development: instead of writing language interpreters from scratch, they can be assembled from reusable, semantic building blocks. Unfortunately, traditional language interpreters can be hard to extend because different language constructs may require different interpreter signatures. For instance, arithmetic interpreters produce a value without any context information, whereas binding constructs require an additional environment. In this paper, we present a practical solution to this problem based on implicit context propagation. By structuring denotational-style interpreters as Object Algebras, base interpreters can be retroactively lifted into new interpreters that have an extended signature. The additional parameters are implicitly propagated behind the scenes, through the evaluation of the base interpreter. Interpreter lifting enables a flexible style of modular and extensible language development. The technique works in mainstream object-oriented languages, does not sacrifice type safety or separate compilation, and can be easily automated, for instance using macros in Scala or dynamic proxies in Java. We illustrate implicit context propagation using a modular definition of Featherweight Java and its extension to support side-effects, and an extensible domain-specific language for state machines. We finally investigate the performance overhead of lifting by running the DeltaBlue benchmark program in Javascript on top of a modular implementation of LambdaJS and a dedicated micro-benchmark. The results show that lifting makes interpreters roughly twice as slow because of additional call overhead. Further research is needed to eliminate this performance penalty. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： programming languages (Electronic computers) OBJECT-oriented programming (Computer science) DENOTATIONAL semantics WEB proxy servers JAVA (Computer program language)

来源：评论

学校读者我要写书评

暂无评论

Ogre and pythia: An invariance proof method for weak consistency models 17

Ogre and pythia: An invariance proof method for weak consist...

引用

44th acm sigplan Symposium on Principles of programming languages, POPL 2017

作者： Alglave, Jade Cousot, Patrick University College London Microsoft Research Cambridge United Kingdom New York University United States Emer. École Normale Supérieure PSL France

ISBN: (纸本)9781450346603

We design an invariance proof method for concurrent programs parameterised by a weak consistency model. The calculational design of the invariance proof method is by abstract interpretation of a truly parallel analytic semantics. This generalises the methods by Lamport and Owicki-Gries for sequential consistency. We use cat as an example of language to write consistency specifications of both concurrent programs and machine architectures. © 2017 acm.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：