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

Reactive Imperative programming with Dataflow Constraints

acm sigplan NOTICES 2011年第10期46卷 407-426页

作者： Demetrescu, Camil Finocchi, Irene Ribichini, Andrea Sapienza Univ Rome Dept Comp & Syst Sci Rome Italy Sapienza Univ Rome Dept Comp Sci Rome Italy

Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigated how to take advantage of dataflow constraints by embedding them into procedural languages. Previous mixed imperative/dataflow systems, however, require syntactic extensions or libraries of ad hoc data types for binding the imperative program to the dataflow solver. In this paper we propose a novel approach that smoothly combines the two paradigms without placing undue burden on the programmer. In our framework, programmers can define ordinary statements of the imperative host language that enforce constraints between objects stored in special memory locations designated as "reactive". Differently from previous approaches, reactive objects can be of any legal type in the host language, including primitive data types, pointers, arrays, and structures. Statements defining constraints are automatically re-executed every time their input memory locations change, letting a program behave like a spreadsheet where the values of some variables depend upon the values of other variables. The constraint solving mechanism is handled transparently by altering the semantics of elementary operations of the host language for reading and modifying objects. We provide a formal semantics and describe a concrete embodiment of our technique into C/C++, showing how to implement it efficiently in conventional platforms using off-the-shelf compilers. We discuss common coding idioms and relevant applications to reactive scenarios, including incremental computation, observer design pattern, and data structure repair. The performance of our implementation is compared to ad hoc problem-specific change propagation algorithms, as well as to language-centric approaches such as self-adjusting computation and subject/observer communication mechanisms, showing that the proposed approa

关键词： Algorithms design experimentation languages Reactive programming dataflow programming imperative programming constraint solving incremental computation observer design pattern data structure repair

来源：评论

学校读者我要写书评

暂无评论

Implicit Invocation Meets Safe, Implicit Concurrency

引用

acm sigplan NOTICES 2011年第2期46卷 63-72页

作者： Long, Yuheng Mooney, Sean L. Sondag, Tyler Rajan, Hridesh Iowa State Univ Dept Comp Sci Ames IA 50011 USA

Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is hard to maintain and debug. This type of concurrency also treats modular program design and concurrency as separate goals, where modularity often suffers. To solve these problems, we are designing a new language that we call Panini. In this paper, we focus on Panini's asynchronous, typed events which reconcile the modularity goal promoted by the implicit invocation design style with the concurrency goal of exposing potential concurrency between the execution of subjects and observers. Since modularity is improved and concurrency is implicit in Panini, programs are easier to reason about and maintain. The language incorporates a static analysis to determine potential conflicts between handlers and a dynamic analysis which uses the conflict information to determine a safe order for handler invocation. This mechanism avoids races and deadlocks entirely, yielding programs with a guaranteed deterministic semantics. To evaluate our language design and implementation we show several examples of its usage as well as an empirical study of program performance. We found that not only is developing and understanding Panini programs significantly easier compared to standard concurrent object-oriented programs, but also performance of Panini programs is comparable to their equivalent hand-tuned versions written using Java's fork-join framework.

关键词： languages Design Performance Safe Implicit Concurrency Modularity

来源：评论

学校读者我要写书评

暂无评论

Everything I Know I Learned From Ada 11

Everything I Know I Learned From Ada

引用

acm international conference on Ada and Related Technologies

作者： Grady Booch IBM Research

ISBN: (纸本)9781450314008

I entered the world of Ada at a most impressionable time in my career: I knew enough to be dangerous, but not so much that I was unwilling to try new things. Ada was full of new things that have informed much of what I do today. The role of abstraction, the meaning of beauty in design, the nature of delivering ultra-large software-intensive systems, collaboration across geographic and cultural boundaries, the joys and frustrations of standards building, the process of revolution: these are all things I have learned from Ada. In this presentation, I'll offer some war stories from the past and offer speculation on the future.

关键词： software engineering programming languages object-oriented analysis and design peopleware methodology ADA (programming LANGUAGE) iodine Frustration Beauty Revolution

来源：评论

学校读者我要写书评

暂无评论

Service-oriented Architecture (SOA) Concepts and Implementations 11

Service-Oriented Architecture (SOA) Concepts and Implementat...

引用

acm international conference on Ada and Related Technologies

作者： Ricky E. Sward Jeff Boleng The MITRE Corporation 1155 Academy Park Loop Colorado Springs CO 80910 US Air Force Academy 2354 Fairchild Drive USAF Academy CO 80840

ISBN: (纸本)9781450314008

This tutorial explains how to implement a Service-oriented Architecture (SOA) for reliable systems using Enterprise Service Bus (ESB) technologies. The first half of the tutorial describes terms of Service-oriented Architectures (SOA) including service, service registry, service provider, service consumer, Simple object Access Protocol (SOAP), Representational State Transfer (REST), and Web Service Description Language (WSDL). Several examples of REST and SOAP web services are provided using the Ada Web Server (AWS). This tutorial also presents principles of SOA including loose coupling, encapsulation, composibility of web services, and statelessness of web services. The tutorial covers the benefits of SOA and organizations that are supporting SOA infrastructure. The second half of the tutorial covers Enterprise Service Bus (ESB) technologies including definitions, capabilities, benefits and drawbacks. The tutorial discusses the difference between SOA and an ESB, as well as some of the commercially available ESB solutions on the market. The Mule ESB is explored in more detail and several examples are given. Several examples of using an ESB in a SOA application are given using AWS as an Ada implementation. An AWS server is built in the examples and connected to the ESB providing REST and SOAP web services. AWS allows the developer to expose services in a high-integrity system using the Ada and SPARK programming languages. This tutorial is slightly different than the one given at Ada Europe 2008 in that it will focus more on the application of SOA and ESB technology to reliable, high-integrity systems. All tutorial material will be provided to attendees and the opportunity for hands-on participation in examples will be possible.

关键词： algorithms design languages Service-oriented architecture Semiconductor Optical Amplifier ESB Web Service Tutorials ADA (programming LANGUAGE) JAG1 gene Soaps

来源：评论

学校读者我要写书评

暂无评论

The sequential prison 11

The sequential prison

引用

Proceedings of the 2011 acm international conference on object oriented programming systems languages and applications

作者： Ivan Sutherland Portland State University Portland OR USA

ISBN: (纸本)9781450309400

We are trapped in a sequential prison. We use sequential character strings to write sequential programs to control sequential computers. No wonder concurrency remains elusive. How did we come to be here? The high cost of vacuum tube logic forced sequence upon early computer builders. Sequential character strings were the economic way to describe what sequential computers should do. Sequential programs controlled the expensive part of the machine, namely logic. The lethargic pace of logic circuits masked the cost of moving data over distance, allowing programming languages to ignore the cost of communication. Today, the time delay and energy cost of communicating over distance dominate modern computers; logic is essentially free. Why then, do programming languages continue to control logic and largely ignore communication? It will take a broad effort to escape our sequential prison, requiring changes in hardware, programming notations and the ways in which they are expressed. Most importantly, it will require recognizing that we are in sequential prison, and planning for an escape.

关键词： languages sequential notation parallel hardware

来源：评论

学校读者我要写书评

暂无评论

Mostly Modular Compilation of Crosscutting Concerns by Contextual Predicate Dispatch 10

Mostly Modular Compilation of Crosscutting Concerns by Conte...

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： Chiba, Shigeru Igarashi, Atsushi Zakirov, Salikh Tokyo Inst Technol Tokyo Japan Kyoto Univ Kyoto 6068501 Japan

ISBN: (纸本)9781450302036

The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple language providing AOP mechanisms, which are enhanced traditional OOP mechanisms. We also present its formal system and then show that programs in this language can be only mostly modularly (i.e. separately) typechecked and compiled. We mention a source of this unmodularity and discuss whether or not it is appropriate to claim that AOP breaks modularity compared with OOP.

关键词： languages Aspect oriented programming Java AspectJ

来源：评论

学校读者我要写书评

暂无评论

programming With Time Cyber-physical programming with Impromptu 10

Programming With Time Cyber-physical programming with Improm...

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： Sorensen, Andrew Gardner, Henry Australian Natl Univ Canberra ACT 0200 Australia

ISBN: (纸本)9781450302036

The act of computer programming is generally considered to be temporally removed from a computer program's execution. In this paper we discuss the idea of programming as an activity that takes place within the temporal bounds of a real-time computational process and its interactions with the physical world. We ground these ideas within the context of livecoding - a live audiovisual performance practice. We then describe how the development of the programming environment "Impromptu" has addressed our ideas of programming with time and the notion of the programmer as an agent in a cyber-physical system.

关键词： Design Experimentation languages Human Factors Time Concurrency Cyber-physical systems Livecoding Impromptu

来源：评论

学校读者我要写书评

暂无评论

Pure and Declarative Syntax Definition: Paradise Lost and Regained 10

Pure and Declarative Syntax Definition: Paradise Lost and Re...

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： Kats, Lennart C. L. Visser, Eelco Wachsmuth, Guido Delft Univ Technol NL-2600 AA Delft Netherlands

ISBN: (纸本)9781450302036

Syntax definitions are pervasive in modern software systems, and serve as the basis for language processing tools like parsers and compilers. Mainstream parser generators pose restrictions on syntax definitions that follow from their implementation algorithm. They hamper evolution, maintainability, and compositionality of syntax definitions. The pureness and declarativity of syntax definitions is lost. We analyze how these problems arise for different aspects of syntax definitions, discuss their consequences for language engineers, and show how the pure and declarative nature of syntax definitions can be regained.

关键词： Design languages

来源：评论

学校读者我要写书评

暂无评论

Registration-Based Language Abstractions 10

Registration-Based Language Abstractions

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： Davis, Samuel Kiczales, Gregor Univ British Columbia Dept Comp Sci Vancouver BC V6T 1W5 Canada

ISBN: (纸本)9781450302036

programming language innovation has been hindered by the difficulty of making changes to existing languages. A key source of difficulty is the tyrannical nature of existing approaches to realizing languages-adding a new language construct means that any tool, document or programmer that works with the language must be prepared to deal with that construct. A registration-based approach makes it possible to define language constructs that are not tyrannical. They are instead transient-the program appears to be written using the constructs only so long as a given programmer wants to see it that way. This approach may have the potential to greatly facilitate programming language innovation.

关键词： languages Experimentation Registration Fluid AOP programming Tools

来源：评论

学校读者我要写书评

暂无评论

Lime: a Java-Compatible and Synthesizable Language for Heterogeneous Architectures 10

Lime: a Java-Compatible and Synthesizable Language for Heter...

引用

conference on object oriented programming systems, languages and Applications/SPLASH 2010

作者： Auerbach, Joshua Bacon, David F. Cheng, Perry Rabbah, Rodric IBM Research New York NY USA

ISBN: (纸本)9781450302036

The halt in clock frequency scaling has forced architects and language designers to look elsewhere for continued improvements in performance. We believe that extracting maximum performance will require compilation to highly heterogeneous architectures that include reconfigurable hardware. We present a new language, Lime, which is designed to be executable across a broad range of architectures, from FPGAs to conventional CPUs. We present the language as a whole, focusing on its novel features for limiting side-effects and integration of the streaming paradigm into an object-oriented language. We conclude with some initial results demonstrating applications running either on a CPU or co-executing on a CPU and an FPGA.

关键词： Design languages object oriented value type streaming functional programming reconfigurable architecture FPGA high level synthesis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：