This paper describes the concept of language oriented programming which is a novel way of organising the development of a large software system, leading to a different structure for the finished product. The approach starts by developing a formally specified, domain-oriented, very high-level language which is designed to be well-suited to developing “this kind of program”. The development proce...

This is a description of the Napier88 type system based on "A Framework for Comparing Type Systems for Database Programming Languages" by Albano et al.

It is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language PCF. This fact is related to the existence of stable parallel functions and of stable functions that are not monotone with respect to the extensional order, which cannot be defined by programs of PCF. In this paper, a paradigmatic programming language named StPCF...

ing and Library Use: Abstracting is permitted with credit to the source. Libraries are permitted to photocopy for private use of patrons, provided the per-copy fee indicated in the code at the bottom of the rst page is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. See www.computer.org/ software-multimedia for multimedia content related to this article. s5se...

Unanticipated Software Adaptation Software requirements are in a constant flux. Some changes in requirements can be anticipated by software developers, but unanticipated changes of requirements occur repeatedly in practice, and they cannot be prepared for by definition. Furthermore, changes to software can usually be made effective only by stopping an old version of a program and starting the n...

ion is a mode of thought by which we concentrate on general ideas rather than on specific manifestations of these ideas. Abstraction is the whole basis of philosophy and mathematics, and is also fruitful in many other disciplines, including computer science. In systems analysis, abstraction is the discipline by which we concentrate on essential aspects of the problem at hand, and ignore all ine...

In this paper, we describe a programming language based on constraints. Unlike former approaches, its interpreter propagates sets of possible values (rather than single values) through a network of constraints. During the propagation process, the value sets are filtered to obtain consistent subsets, or new values are computed for the undetermined variables from the set of given variables. Const...

Programming languages are the way developers communicate with computers—just like natural languages let us communicate with one another. In both cases multiple languages have evolved. However, the programming language ecosystem changes at a much higher rate compared to natural languages. In fact, programming languages need to constantly evolve in response to user needs, hardware advances and re...

A programming language is a mathematical calculus, or formal language. Its goal is to express algorithms in a manner that is unambiguous to people and machines. Like any calculus, a language’s notation contains both syntax and semantics. Since syntax can be easily translated, the semantics are more fundamental. Church and Turing showed that the minimal semantics of the Lambda Calculus and Unive...