Search Constraints

Start Over
Filtering by: Has journal ACM Transactions on Programming Languages and Systems Remove constraint Has journal: ACM Transactions on Programming Languages and Systems

Search Results

  • Specifications for a fuzzy system modeling language

    Creator:
    Fellinger, William Lowell
    Abstract:
    Specifications for a simulation language capable of modeling fuzzy systems are presented. Actions occurring in the running model are to be displayed on a graphics terminal in the .form of modified E-nets. The concept of partial execution of predicates is introduced in connection with the underlying continuously valued logic. Fuzzy...
    Resource Type:
    Dissertation
    Full Text:
    SPECIFICATIONS FOR A FUZZY SYSTEM MODELING LANGUAGE . INTRODUCTION Professor Lotfi A. Zadeh's first paper on

  • Designing a high level microprogramming language

    Creator:
    Malik, Kamran
    Abstract:
    The purpose of this research is to design a high level language (HLL) suitable for microprogramming. A top down design technique has been adopted which makes the language design process simple and accurate. The primitive operations of a high level language for producing emulators is shown to include special purpose...
    Resource Type:
    Dissertation
    Full Text:
    provided a high level language translating system for programming. Some reasons which have been offered

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    domain-specific languages, and builds on these ideas to construct a domain- specific embedded language

  • Composition and compilation in functional programming languages

    Creator:
    Oregon State University. Dept. of Computer Science and Budd, Timothy
    Abstract:
    Functional programming languages, such as Backus' FP, and high level expression oriented languages, such as APL, are examples of programming languages in which the primary method of program construction is the process of composition. In this paper we describe an approach to generating code for languages based on compositions. The...
    Resource Type:
    Research Paper
    Full Text:
    ., \An APL Compiler for a Vector Processor", ACM Transactions on Programming Languages and Systems, Vol 6

  • A survey of sequential and parallel implementation techniques for functional programming languages

    Creator:
    Oregon State University. Dept. of Computer Science, Hilzer, Ralph C. Jr., and Crowl, Lawrence Alan, 1959-
    Abstract:
    This paper surveys sequential and parallel implementation techniques for functional programming languages, as well as optimizations that can improve their performance. Sequential implementations have evolved from simple interpreters to sophisticated super-combinator-based compilers, while most parallel implementations have explored a broad range of techniques. We analyze the purpose and function of...
    Resource Type:
    Research Paper
    Full Text:
    complexity of both the language and the language interpreter. Some languages, such as FP, restrict higher

  • Temporal programming in grid-oriented visual programming languages

    Creator:
    Cao, Nanyu
    Abstract:
    Specifying varying speeds and temporal relationships is necessary when programming graphical animations, but support for temporal programming has usually been done by adding new language features to a Visual Programming Language (VPL), and these features must be mastered over and above the other aspects of the VPL. However, some researchers...
    Resource Type:
    Masters Thesis
    Full Text:
    presented on June 20, 2000. Title: Temporal Programming in Grid-Oriented Visual Programming Languages

  • Control abstraction in parallel programming languages

    Creator:
    Crowl, Lawrence A. and LeBlanc, Thomas J.
    Abstract:
    Control abstraction is the process by which programmers define new control constructs by specifying an ordering of statement execution. Using control abstraction, we can create new control constructs for parallel programming, separate the specification of parallelism and synchronization from the rest of the application code, and vary the parallelism exploited...
    Resource Type:
    Technical Report
    Full Text:
    Purdin, and G. Townsend, "An Overview of the SR Language and Implementation," ACM Transactions on

  • On sequential/parallel matrix array languages

    Creator:
    Wang, Patrick Shen-Pei
    Abstract:
    A new system called sequential/parallel matrix grammars for two-dimensional pattern processing is introduced and studied. Miscellaneous language operations such as union, catenation (row and column), Kleene's closure (row and column) and substitutions are investigated. The equivalence of sequential/parallel matrix languages and finite-turn repetitive checking automata is established. Hierarchies for both...
    Resource Type:
    Dissertation
    Full Text:
    relation between iML and (i:R)ML, 1-0,1,2,3 57 ON SEQUENTIAL/PARALLEL MATRIX ARRAY LANGUAGES CHAPTER I

  • Pattern systems and methodologies for multiparadigm analysis and design

    Creator:
    Knutson, Charles D.
    Abstract:
    In this research, we have captured, in pattern form, key elements of programming and design in four programming paradigms (imperative, object-oriented, functional and logical) as well as multiparadigm programming. These pattern sets have formed a foundation upon which we were able to build a deeper understanding of multiparadigm programming and...
    Resource Type:
    Dissertation
    Full Text:
    language is a vast pattern-system, different from others, in which are culturally ordained the forms and

  • Imperative Programming with Variational Effects

    Creator:
    Grasley, Alexander B.
    Abstract:
    Variation is a commonly encountered element of modern software systems. Recent research into variation has led to increasing interest in the development of variational programming languages and corresponding variational models of execution. Variational imperative languages pose a particular challenge due to the complex interactions between side effects and variation. The...
    Resource Type:
    Masters Thesis
    Full Text:
    of variational programming languages and corresponding variational models of execution. Variational