Journal of the ACM (JACM)
An efficient context-free parsing algorithm
Communications of the ACM
Block structures, indirect addressing, and garbage collection
Communications of the ACM
EULER: a generalization of ALGOL, and its formal definition: Part II
Communications of the ACM
The next 700 programming languages
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
LISP 1.5 Programmer's Manual
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
GL—a denotational testbed with continuations and partial continuations as first-class objects
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Embedding continuations in procedural objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stores and partial continuations as first-class objects in a language and its environment
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typing first-class continuations in ML
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compilation of functional languages by program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Using the run-time sizes of data structures to guide parallel-thread creation
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On-line Text Editing: A Survey
ACM Computing Surveys (CSUR)
Communications of the ACM
Communications of the ACM
Communications of the ACM
An experimental evaluation of data type conventions
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
A bonus from van Wijngaarden's device
Communications of the ACM
Protection in programming languages
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mode modules as representations of domains: preliminary report
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Actor induction and meta-evaluation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
Using a Continuation Twice and Its Implications for the Expressive Power of call/cc
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
µ3L: An HLL-RISC processor for parallel execution of FP-language programs
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Direct execution of lisp on a list_directed architecture
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Exception handling: Formal specification and systematic program construction
ICSE '84 Proceedings of the 7th international conference on Software engineering
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Tagged architecture and the semantics of programming languages: Extensible types
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
On the time required for retention
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Denotational semantics as a specification of code generators
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
High level operations in automatic programming
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Calculating properties of programs by valuations on specific models
Proceedings of ACM conference on Proving assertions about programs
GLOSS: A semantic model of programming languages
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
The A.M. Turing Award: 1971 ACM A. M. Turing Award
ACM '71 Proceedings of the 1971 26th annual conference
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
On the time required for retention
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
QUEST: the design of a very high level, pedagogic programming language
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A generative nested-sequential basis for general-purpose programming languages
ACM SIGPLAN Notices - Abstracts in programming language-related research
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
The contour model of block structured processes
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
PUMPKIN: (another) microprogramming language
ACM SIGMICRO Newsletter
Combining algebraic effects with continuations
Theoretical Computer Science
A few exercises in theorem processing
Theoretical Computer Science
ACM Turing award lectures
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
User engineering principles for interactive systems
AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
Data structures in the extensible programming language AEPL
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
On The Advantages of Tagged Architecture
IEEE Transactions on Computers
A data definition facility based on a value-oriented storage model
IBM Journal of Research and Development
Objects and values: the basis of a storage model for procedural languages
IBM Journal of Research and Development
IBM Journal of Research and Development
Implementing a data definition facility driven by graph grammars
Computer Languages
Computer Languages
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 48.37 |
GEDANKEN is an experimental programming language with the following characteristics. (1) Any value which is permitted in some context of the language is permissible in any other meaningful context. In particular, functions and labels are permissible results of functions and values of variables. (2) Assignment and indirect addressing are formalized by introducing values, called references, which in turn possess other values. The assignment operation always affects the relation between some reference and its value. (3) All compound data structures are treated as functions. (4) Type declarations are not permitted.The functional approach to data structures and the use of references insure that any process which accepts some data structure will accept any logically equivalent structure, regardless of its internal representation. More generally, any data structure may be implicit; i.e. it may be specified by giving an arbitrary algorithm for computing or accessing its components. The existence of label variables permits the construction of co-routines, quasi-parallel processes, and other unorthodox control mechanisms.A variety of programming examples illustrates the generality of the language. Limitations and possible extensions are discussed briefly.