Results 221 to 230 of about 74,863 (264)
Some of the next articles are maybe not open access.
Programming languages and logics of programs
1983We prove the completeness theorem for a class of logics of programs. As corollaries of our result, we obtain the completeness theorem for a large class of extensions of PDL.
openaire +1 more source
The Clojure programming language
Proceedings of the 2008 symposium on Dynamic languages, 2008Customers and stakeholders have substantial investments in, and are comfortable with the performance, security and stability of, industry-standard platforms like the JVM and CLR. While Java and C# developers on those platforms may envy the succinctness, flexibility and productivity of dynamic languages, they have concerns about running on customer ...
openaire +1 more source
IEEE Software, 2014
Andrew Gerrand, who works on the Go programming language at Google, speaks with Jeff Meyerson in this excerpt from Software Engineering Radio. His conversation with Jeff begins with a history of the language, including the details behind how Go was conceived and how the open source community contributes to it. Andrew explains how Go intends to simplify
openaire +1 more source
Andrew Gerrand, who works on the Go programming language at Google, speaks with Jeff Meyerson in this excerpt from Software Engineering Radio. His conversation with Jeff begins with a history of the language, including the details behind how Go was conceived and how the open source community contributes to it. Andrew explains how Go intends to simplify
openaire +1 more source
The Turing programming language
Communications of the ACM, 1988Turing, a new general purpose programming language, is designed to have Basic's clean interactive syntax, Pascal's elegance, and C's flexibility.
Richard C. Holt, James R. Cordy
openaire +1 more source
The structure of programming languages
Communications of the ACM, 1966The following are identified as major components of every programming language: (1) the elementary program statement, (2) mechanisms for linking elementary statements together, (3) the means by which a program can obtain data inputs. Several alternative forms of each of these components are described, compared and evaluated.
openaire +2 more sources
Informatik - Forschung und Entwicklung, 2006
We investigate the state of the art in the development of quantum programming languages. Two kinds of such languages are distinguished, those targeting at practical applications like simulation or the programming of actual quantum computers, and those targeting the theoretical analysis of quantum programs. We give an overview over existing work on both
openaire +1 more source
We investigate the state of the art in the development of quantum programming languages. Two kinds of such languages are distinguished, those targeting at practical applications like simulation or the programming of actual quantum computers, and those targeting the theoretical analysis of quantum programs. We give an overview over existing work on both
openaire +1 more source
The IITRAN programming language
Communications of the ACM, 1969The IITRAN language, developed to be used by students, and its important features are described. IITRAN is a procedure-oriented language with a one-level block structure and a variety of data types. Several novel and powerful features are included. A discussion of design principles to be followed in a student language is given.
Robert B. K. Dewar +2 more
openaire +1 more source
The Programming Language Scheme
AI Communications, 1987The programming language Scheme was created originally as a distillation of proven concepts and new ideas in programming at MIT (Sussman and Steele, 1975). Scheme became what it is now by two different developments: Teaching (mainly at MIT and Yale) and programming-language research (mainly at Indiana). It has now become a serious tool for producing AI
openaire +1 more source
Information and Software Technology, 1995
Abstract Z is a specification language, and, rightly, not in general executable. Z-- is a programming language superficially identical to Z, but using only those forms of expressions and predicate which are immediately executable. The Z-- approach differs from other Z animations in being single-pass, without backtracking, and in modelling a set as ...
openaire +1 more source
Abstract Z is a specification language, and, rightly, not in general executable. Z-- is a programming language superficially identical to Z, but using only those forms of expressions and predicate which are immediately executable. The Z-- approach differs from other Z animations in being single-pass, without backtracking, and in modelling a set as ...
openaire +1 more source