By Topic

Proceedings. 1988 International Conference on Computer Languages

9-13 Oct. 1988

Filter Results

Displaying Results 1 - 25 of 55
  • Proceedings 1988 International Conference on Computer Languages (IEEE Cat. No.88CH2647-6)

    Publication Year: 1988
    Request permission for commercial reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • An intentional language as the basis of a 3-D spreadsheet design

    Publication Year: 1988, Page(s):2 - 9
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    Plane Lucid is an extension of the language Lucid, a language based on intentional logic. The language allows values of expressions in a program to vary in space as well as in time; it provides spatial and temporal operators to combine values from different contexts (or different points in space and time). As an application of Plane Lucid, an intentional 3-D spreadsheet has been designed in which ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming through pictorial transformations

    Publication Year: 1988, Page(s):10 - 16
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (702 KB)

    Research into visualization and animation of programs has typically been approached from the viewpoint of how to automate, at least partially, the instrumentation of programs already written in conventional textual languages. PT (pictorial transformations) takes the approach that if instead of beginning with an existing program, one begins by first describing visual data representations and then v... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient retargetable compiler code generation

    Publication Year: 1988, Page(s):25 - 30
    Cited by:  Papers (2)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (428 KB)

    A discussion is presented of the design and implementation of a retargetable code generation system, UNH-CODEGEN, specifically designed for the bottom-up tree pattern matching algorithms. The authors describe experiments in which the system has been used to build compilers. These experiments demonstrate that the system can be used to quickly generate a code generator that will run fast (roughly fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A language for high-level programming of mathematical applications

    Publication Year: 1988, Page(s):31 - 40
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    A language system called the Automated Programmer automates a great deal of routine effort for scientific, engineering, and mathematical application programming. Its notation is modeled after conventional textbook mathematical representation, so that mathematical expressions can be entered just as they appear in conventional solution specifications. It uses a flexible vocabulary and syntax that em... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PNSOFT: a menu-driven software package for Petri-net modeling and analysis

    Publication Year: 1988, Page(s):41 - 47
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (348 KB)

    A discussion is presented of PNSOFT, a user-friendly, menu-driven software package for Petri-net modeling and analysis of real-time systems. It aids in the design, management and analysis of Petri-net models. PNSOFT runs in an automated programming environment that provides both a graphical and a matrix interface for the creation and modification of Petri-net models in different environments. The ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The FX-87 Interpreter

    Publication Year: 1988, Page(s):65 - 72
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (555 KB)

    The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed programming with shared data

    Publication Year: 1988, Page(s):82 - 91
    Cited by:  Papers (23)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (872 KB)

    Operating system primitives (e.g. problem-oriented shared memory, shared virtual memory, the Agora shared memory) and languages (e.g. Concurrent Prolog, Linda, Emerald) for programming distributed systems have been proposed that support the shared-variable paradigm without the presence of physical shared memory. The authors look at the reasons for this evolution, the resemblances and differences a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Language specification by multi-axiom grammars

    Publication Year: 1988, Page(s):110 - 118
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (710 KB)

    Multiaxiom grammars and language, presented as generalizations of context-free grammars and languages, are defined and used as a mechanism for programming language specification and implementation. It is shown how to divide such a grammar into a sequence of subgrammars that generate inductively the language specified by the original grammar. Furthermore, it is shown how to use this sequence of sub... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The influence of language semantics on program slices

    Publication Year: 1988, Page(s):120 - 127
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (574 KB)

    The authors present observations on the influence of language semantics on program slices. These observations serve to illustrate that, whenever a program slice is designed for a specific language, the semantic features should be carefully examined, and the corresponding slicing algorithm adjusted accordingly. The authors can show that it is impossible to develop a single slicing routine which can... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generalized logical operators for temporal languages

    Publication Year: 1988, Page(s):128 - 134
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (326 KB)

    Previous proposals of temporal languages have used the standard TRUE/FALSE model of Boolean and comparison operators. Since this standard binary model introduces ambiguity as to which time value is desired, expressing nontrivial temporal conditions in these languages can be quite complicated. The authors' model overcomes this problem by generalizing the TRUE/FALSE model into one that uses sets of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience with Rendezvous (tasking and communication model)

    Publication Year: 1988, Page(s):143 - 149
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB)

    BNR Pascal is a systems programming language that supports the Rendezvous model of tasking and communication. The authors discuss the BNR Pascal tasking model, their positive experience, areas of difficulty, and some of the BNR Pascal extensions that overcome the difficulties. They have found the Rendezvous model to be a powerful system structuring tool. In addition to its obvious uses in concurre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the representation of problems in artificial intelligence

    Publication Year: 1988
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (58 KB)

    Summary form only. In determining the computer language requirements for implementation of problem solving processes in AI, it is essential to clarify the nature of components that enter in the formulation of problems, solutions, and problem-solving procedures. An abstract formulation of a pattern in AI includes: the specification of a domain of discourse, the characterization of a set of possible... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • KSL: a reflective object-oriented programming language

    Publication Year: 1988, Page(s):186 - 193
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (611 KB)

    KSL (Knowledge Specification Language) is an object-oriented programming language that supports data abstraction, inheritance, and message-sending. KSL is also fully reflective, as a result of representing all of the language constructs as objects. Reflectivity allows the object paradigm to be applied to: the development, analysis, and translation of KSL; the extension of KSL to implement addition... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The precise control of inheritance and the inheritance of theory in the ADABTPL language

    Publication Year: 1988, Page(s):194 - 201
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (657 KB)

    It is possible to include robust inheritance features while separating them from data structuring mechanisms to a higher degree than is accomplished in most languages. The ADABTPL language does this by supplying a small class of orthogonal inheritance producing and restricting mechanisms. ADABTPL also supports a paradigm of programming by tying the compiler to a powerful Boyer-Moore-style theorem ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating abstract data types with object-oriented programming by specification-based approach

    Publication Year: 1988, Page(s):202 - 209
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (431 KB)

    The authors show that the integration of two popular automation-based paradigms, namely, ADT and OOP, can be used to achieve a high level of productivity and reliability. They introduce a system, Stim, (Small talk implementation for algebraic specification of abstract data types), that directly implements the algebraic specification of ADT on Smalltalk-80. Stim takes as an input a hierarchical alg... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented conceptual programming based on PROT nets

    Publication Year: 1988, Page(s):226 - 233
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (591 KB)

    The authors present PROTOB, an object-oriented computer-aided-software-engineering system based on high-level Petri nets called PROT nets. It consists of several tools supporting specification, modeling, and prototyping activities within the framework of the operational software-life-cycle paradigm. As its major application area it addresses discrete-event dynamic systems, such as process control ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object oriented programming (OOP) and its relevance to designing intelligent software systems

    Publication Year: 1988, Page(s):242 - 248
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (663 KB)

    The development of large software packages requires not only modularity but also the capability to experiment and change. Such a capability is akin to self-organization characteristics of adaptive systems. It is suggested that computer-aided software engineering (CASE) can benefit from the development retrainable software modules, where both the data structures and the algorithms performing on the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A naming specification language for syntax-directed editors

    Publication Year: 1988, Page(s):250 - 257
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (713 KB)

    A naming specification language, NSL, is described, which supplements existing syntax and semantics specification techniques for syntax-directed editor generation. NSL allows the editor implementor to define language-specific naming and scoping features in terms of a set of high-level abstractions. This facilitates editor generation by requiring considerably less work than either hand coding or sp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A specification language for real-time distributed systems

    Publication Year: 1988, Page(s):258 - 265
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (640 KB)

    The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FLEX: towards flexible real-time programs

    Publication Year: 1988, Page(s):272 - 279
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (657 KB)

    The authors describe a language called FLEX, which makes it possible to program real-time systems that can respond to dynamic environments. In the worst case, when certain resources are not available, the program can produce approximate, imprecise results. This ability to write programs that are flexible in their execution time is provided by using constraints to express timing requirements, and s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TXL: a rapid prototyping system for programming language dialects

    Publication Year: 1988, Page(s):280 - 285
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (409 KB)

    A rapid prototyping system for extensions to an existing programming language is described. Such extensions could include language features or could introduce notation specific to a particular problem domain. The system consists of a dialect description language used to specify the syntax and semantics of extensions and a context-sensitive syntactic transducer that automatically implements the ext... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Array theory, logic and the Nial language

    Publication Year: 1988, Page(s):296 - 303
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (517 KB)

    A logical description of arrays is developed, indicating that it is possible to incorporate array data structures into a theory that builds on the conventional theory of lists. This theory provides a basis for the functional programming language Nial. An emphasis in the development of Nial has been to explore ways to integrate the logic programming paradigm with the functional-programming and arra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Languages for intelligent specification systems

    Publication Year: 1988, Page(s):304 - 311
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (438 KB)

    By writing specifications as theories of a logic system, the authors use proof theory to ensure that (a) the consequences of theory are properties of the object being specified, and (b) any known property of the object can be proven as a theorem of the theory. They define an extension of first-order logic that deals with events with actions. The resulting logic is a special type of modal logic wit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual languages and software specifications

    Publication Year: 1988, Page(s):322 - 328
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (459 KB)

    The important issues and major features of visual languages are summarized, and their impact on software engineering, especially software specification techniques, are discussed. The potential of using visual languages for software specifications to improve software reliability, modifiability, reusability, and understandability is also considered.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.