This paper presents extensions to ALPHA, a language based upon the formalism of affine recurrence equations (AREs). These extensions address the need for parametric and structured systems of such AREs. Similar to, but...
详细信息
This paper presents extensions to ALPHA, a language based upon the formalism of affine recurrence equations (AREs). These extensions address the need for parametric and structured systems of such AREs. Similar to, but more general as the map operator of classical functionallanguages, the ALPHA structuration techniques provide a dense and powerful description of complex systems referencing each other. Such structured systems of AREs may be interpreted as (or translated into) sequential function calls, hierarchical hardware description, or any SIMD flavour of structured programming. With the help of examples, we give an overview of these techniques, and their substitution semantics based on the homomorphic extension of convex polyhedra and affine functions.
The proceedings contain 28 papers. The special focus in this conference is on programming. The topics include: Semantics-based program integration;programming with proofs: A second order type theory;an exception handl...
ISBN:
(纸本)9783540190271
The proceedings contain 28 papers. The special focus in this conference is on programming. The topics include: Semantics-based program integration;programming with proofs: A second order type theory;an exception handling construct for functionallanguages;a functional language for the specification of complex tree transformations;garp: Graph abstractions for concurrent programming;perfect pipelining: A new loop parallelization technique;code selection techniques: Pattern matching, tree parsing, and inversion of derivors;adding relational query facilities to software development environments;compilation of logic programs for restricted and-parallelism;a semantics driven temporal verification system;implementation of lazy pattern matching algorithms;enhancing Prolog to support Prolog programming environments;2-Level λ-lifting;deforestation: Transforming programs to eliminate trees;on implementing logic programminglanguages on a dataflow architecture;The PSG system: From formal language definitions to interactive programming environments;LPG: A generic, logic andfunctionalprogramming language;CEC: A system for the completion of conditional equational specifications;a functional language for the specification of complex tree transformations;algebraic formalisation of program development by transformation;QPC: QJ-based proof compiler -simple examples and analysis-;implementation of modular algebraic specifications: Extended abstract;a polymorphic type system with subtypes for Prolog;type inference with subtypes;a theory of software reusability;parametric overloading in polymorphic programminglanguages.
The benefits of architecture description languages (ADLs) cannot be fully captured without a automated and validated realization of software architecture designs. In addition to the automated realization of software a...
详细信息
ISBN:
(纸本)3540309993
The benefits of architecture description languages (ADLs) cannot be fully captured without a automated and validated realization of software architecture designs. In addition to the automated realization of software architecture designs, we validate the realization process by exploring the runtime verification technique and aspect-oriented programming. More specifically, system properties are not only verified against design models, but also verified during execution of the generated implementation of software architecture designs. All these can be done in an automated way. In this paper, we show that our methodology of automated realization of software architecture designs and validation of the implementation is viable through a case study.
Erlang is a concurrent functionalprogramming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite successful in this application domain, d...
详细信息
ISBN:
(纸本)1581132654
Erlang is a concurrent functionalprogramming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite successful in this application domain, despite the fact that its currently available implementations are emulators of virtual machines. In this paper, we improve on the performance aspects of Erlang implementations by presenting HiPE, an open-source native code compiler for Erlang. HiPE is a complete implementation of Erlang, offers flexible integration between emulated and native code, and efficiently supports features crucial for Erlang's application domain such as concurrency. As our performance evaluations show, HiPE is currently the fastest among all Erlang implementations.
The construction of applications for sophisticated Scientific and engineering disciplines is Often time consuming and costly. However, applications ranging from finite element analysis to numerical control to robotics...
详细信息
Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models. However, support for model transformation is still often limited to...
详细信息
Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models. However, support for model transformation is still often limited to scripting solutions provided by tool implementations. In this paper we investigate the possibility of combining the well known concept of higher-order functions, used in standard functionalprogramminglanguages, with acausal models. This concept, called Higher-Order Acausal Models (HOAMs), simplifies the creation of reusable model libraries and model transformations within the modeling language itself. These transformations include general model composition and recursion operations and do not require data representation/ reification of models as in metaprogramming/metamodeling. Examples within the electrical and mechanical domain are given using a small research language. However, the language concept is not limited to a particular language, and could in the future be incorporated into existing commercially available EOO-languages.
The proceedings contain 23 papers. The special focus in this conference is on functionalprogramming, functional-Logic programming, Logic programming and Innovative Applications. The topics include: Parallel functiona...
ISBN:
(纸本)3540669922
The proceedings contain 23 papers. The special focus in this conference is on functionalprogramming, functional-Logic programming, Logic programming and Innovative Applications. The topics include: Parallel functional reactive programming;out-of-core functionalprogramming with type-based primitives;a functional logic programming approach to graphical user interfaces;using static analysis to compile non-sequential functional logic programs;implementation of a linear tabling mechanism;a logic-based information system;calculating a new data mining algorithm for market basket analysis;a toolkit for constraint-based inference engines;programming deep concurrent constraint combinators;labeling and partial local consistency for soft constraint programming;a logic programming approach to supporting the entries of xml documents in an object database;a hybrid approach for solving large scale crew scheduling problems;a graphical spreadsheet interface for interactively developing a class of constraint programs;current trends in logic programming and production-quality proof-carrying code.
In this talk I will review the development of the programming language Oz and the programming system Mozart. I will discuss where in hindsight I see the strong and the weak points of the language. Moreover, I will com...
详细信息
As our understanding and care for sustainability concerns increases, so does the demand for incorporating these concerns into software. Yet, existing programming language constructs are not well-aligned with concepts ...
详细信息
ISBN:
(纸本)9781479919345
As our understanding and care for sustainability concerns increases, so does the demand for incorporating these concerns into software. Yet, existing programming language constructs are not well-aligned with concepts of the sustainability domain. This undermines what we term technical sustainability of the software due to (i) increased complexity in programming of such concerns and (ii) continuous code changes to keep up with changes in (environmental, social, legal and other) sustainability-related requirements. In this paper we present a proof-of-concept approach on how technical sustainability support for new and existing concerns can be provided through flexible language-level programming. We propose to incorporate sustainability-related behaviour into programs through micro-languages enabling such behaviour to be updated and/or redefined as and when required.
The proceedings contain 22 papers. The special focus in this conference is on programminglanguages and Meta Object Protocols. The topics include: Reflection in real-time systems;the evolution of a reflective java ext...
ISBN:
(纸本)3540662804
The proceedings contain 22 papers. The special focus in this conference is on programminglanguages and Meta Object Protocols. The topics include: Reflection in real-time systems;the evolution of a reflective java extension;behavioral reflection can be fast and flexible;the oberon-2 reflection model and its applications;designing persistence libraries in reflective models with intercession property for a client-server environment;non-functional policies;on the reflective structure of information networks;reflective media space management using RASCAL;the design of a resource-aware reflective middleware architecture;a formal analysis of smithsonian computational reflection;reflection for dynamic adaptability;towards systematic synthesis of reflective middleware;an automatic aspect weaver with a reflective programming language;using compile-time reflection for objects’ state capture;past, present, and future of aperios;reflecting java into scheme;a reflective java library to support design by contract and a reflective open broker.
暂无评论