On the public citation graph

Revised report on the algorithmic language ALGOL 68

https://doi.org/10.1007/bf00265077
0 signed · 226 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0471736562.biblioopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1002/cpe.4330030604openalex-snapshot
ES‐Kit: An object‐oriented distributed system
inferred← citeshttps://doi.org/10.1002/cpe.707openalex-snapshot
A quality‐of‐service‐based framework for creating distributed heterogeneous software components
inferred← citeshttps://doi.org/10.1002/spe.1010openalex-snapshot
Using independence to enable parallelism on multicore computers
inferred← citeshttps://doi.org/10.1002/spe.4380050108openalex-snapshot
A high‐level job control language
inferred← citeshttps://doi.org/10.1002/spe.4380060105openalex-snapshot
Graph plotting in ALGOL 68‐R
inferred← citeshttps://doi.org/10.1002/spe.4380070304openalex-snapshot
System implementation in Algol 68‐R
inferred← citeshttps://doi.org/10.1002/spe.4380070602openalex-snapshot
TOSI: A tree oriented string interpreter for the design and implementation of semantics
inferred← citeshttps://doi.org/10.1002/spe.4380080507openalex-snapshot
Use of a formal notation for static semantics in compiler design
inferred← citeshttps://doi.org/10.1002/spe.4380080509openalex-snapshot
Experience with the universal intermediate language janus
inferred← citeshttps://doi.org/10.1002/spe.4380090303openalex-snapshot
Parallel processing in an adaptable application oriented language processor
inferred← citeshttps://doi.org/10.1002/spe.4380100605openalex-snapshot
A critical comparison of several programming language implementations
inferred← citeshttps://doi.org/10.1002/spe.4380100702openalex-snapshot
Variable number of parameters in typed languages
inferred← citeshttps://doi.org/10.1002/spe.4380130306openalex-snapshot
Algorithms for a persistent heap
inferred← citeshttps://doi.org/10.1002/spe.4380130704openalex-snapshot
An implementation of Algol 68 for a small computer
inferred← citeshttps://doi.org/10.1002/spe.4380140106openalex-snapshot
Persistent object management system
inferred← citeshttps://doi.org/10.1002/spe.4380141007openalex-snapshot
Polymorphic programming I. Another language designed on semantic principles
inferred← citeshttps://doi.org/10.1002/spe.4380150704openalex-snapshot
The robust implementation of sequence‐controlled iteration
inferred← citeshttps://doi.org/10.1002/spe.4380150903openalex-snapshot
Towards a language for concurrent processes
inferred← citeshttps://doi.org/10.1002/spe.4380160107openalex-snapshot
Implementing ALGOL 68 predicates
inferred← citeshttps://doi.org/10.1002/spe.4380240905openalex-snapshot
Assignment as the sole means of updating objects
inferred← citeshttps://doi.org/10.1007/3-540-07410-4_647openalex-snapshot
Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen
inferred← citeshttps://doi.org/10.1007/3-540-08446-0_39openalex-snapshot
Writing the elementary function procedures for the ALGOL68C compiler
inferred← citeshttps://doi.org/10.1007/3-540-08446-0_45openalex-snapshot
Intermediate languages: Current status
inferred← citeshttps://doi.org/10.1007/3-540-08921-7_63openalex-snapshot
Attribute grammars and two-level grammars: A unifying approach
inferred← citeshttps://doi.org/10.1007/3-540-10250-7_25openalex-snapshot
On defining semantics by means of extended attribute grammars
inferred← citeshttps://doi.org/10.1007/3-540-10250-7_26openalex-snapshot
Tree-affix dendrogrammars for languages and compilers
inferred← citeshttps://doi.org/10.1007/3-540-10256-6_7openalex-snapshot
Conclusions and further research
inferred← citeshttps://doi.org/10.1007/3-540-12689-9_108openalex-snapshot
Aspects of programs with finite modes
inferred← citeshttps://doi.org/10.1007/3-540-15648-8_5openalex-snapshot
Recursive definitions in type theory
inferred← citeshttps://doi.org/10.1007/3-540-53101-7_10openalex-snapshot
The project on Extended Affix Grammars at Nijmegen
inferred← citeshttps://doi.org/10.1007/3-540-54444-5_101openalex-snapshot
On the borderline between grammars and programs
inferred← citeshttps://doi.org/10.1007/3-540-63576-9_98openalex-snapshot
A variant of Earley parsing
inferred← citeshttps://doi.org/10.1007/978-1-4612-4118-8_4openalex-snapshot
The Essence of Algol
inferred← citeshttps://doi.org/10.1007/978-1-4612-4118-8_6openalex-snapshot
On the Orthogonality of Assignments and Procedures in Algol
inferred← citeshttps://doi.org/10.1007/978-1-4612-4118-8_9openalex-snapshot
Design of the Programming Language Forsythe
inferred← citeshttps://doi.org/10.1007/978-1-4757-1388-6_3openalex-snapshot
opal: An Office Procedure Automation Language for Local Area Network Environments Via Active Mailing and Program Dispatching
inferred← citeshttps://doi.org/10.1007/978-1-4899-3797-1_1openalex-snapshot
A
inferred← citeshttps://doi.org/10.1007/978-1-4899-3797-1_3openalex-snapshot
C
inferred← citeshttps://doi.org/10.1007/978-1-84882-914-5_8openalex-snapshot
Structuring Data
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_2openalex-snapshot
The School of Squiggol
inferred← citeshttps://doi.org/10.1007/978-3-030-99461-7_7openalex-snapshot
Zipping Strategies and Attribute Grammars
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_14openalex-snapshot
Named Arguments as Intersections, Optional Arguments as Unions
inferred← citeshttps://doi.org/10.1007/978-3-319-52789-5_2openalex-snapshot
Compilers and Interpreters
inferred← citeshttps://doi.org/10.1007/978-3-540-74964-6_4openalex-snapshot
Understanding Programming Language Concepts Via Operational Semantics
inferred← citeshttps://doi.org/10.1007/978-3-540-89020-1_15openalex-snapshot
Shaped Generic Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-02478-8_61openalex-snapshot
Adaptable Grammars for Non-Context-Free Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-16690-7_2openalex-snapshot
UTP and Sustainability
inferred← citeshttps://doi.org/10.1007/978-3-642-67091-6_6openalex-snapshot
Entwicklungslinien in der Informatik
inferred← citeshttps://doi.org/10.1007/978-3-642-67444-0_18openalex-snapshot
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-67881-3_7openalex-snapshot
Correctness of Software — An Overview
inferred← citeshttps://doi.org/10.1007/978-3-642-72930-0_19openalex-snapshot
A Proposal for an ALGOL 68 Binding of GKS
inferred← citeshttps://doi.org/10.1007/978-3-642-76118-8_44openalex-snapshot
Spezifikation numerischer Software für parallele Superrechner
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_7openalex-snapshot
A Tutorial on Algol 68
inferred← citeshttps://doi.org/10.1007/978-94-009-6000-8_1openalex-snapshot
C
inferred← citeshttps://doi.org/10.1007/978-94-009-7145-5_8openalex-snapshot
Flexibility
inferred← citeshttps://doi.org/10.1007/978-94-009-8377-9_9openalex-snapshot
On Intensionality in Programming Languages
inferred← citeshttps://doi.org/10.1007/978-94-015-1239-8_1openalex-snapshot
A
inferred← citeshttps://doi.org/10.1007/bf00288543openalex-snapshot
On parsing two-level grammars
inferred← citeshttps://doi.org/10.1007/bf00289072openalex-snapshot
The report on the standard hardware representation for ALGOL 68
inferred← citeshttps://doi.org/10.1007/bf00289713openalex-snapshot
A denotational semantics for shared-memory parallelism and nondeterminism
inferred← citeshttps://doi.org/10.1007/bf00625282openalex-snapshot
On termination problems for finitely interpreted ALGOL-like programs
inferred← citeshttps://doi.org/10.1007/bf01752392openalex-snapshot
Algebraic specification of data types: A synthetic approach
inferred← citeshttps://doi.org/10.1007/bf01848104openalex-snapshot
A foundation for conceptual data structures by cylindric and partial algebras
inferred← citeshttps://doi.org/10.1007/bfb0000101openalex-snapshot
Specification of data bases through rewriting rules
inferred← citeshttps://doi.org/10.1007/bfb0014674openalex-snapshot
A study on transformational semantics
inferred← citeshttps://doi.org/10.1007/bfb0016235openalex-snapshot
A semantical model for integration and modularization of rules
inferred← citeshttps://doi.org/10.1007/bfb0016242openalex-snapshot
Higher-order arrays and stacks in programming. An application of complexity theory to logics of programs
inferred← citeshttps://doi.org/10.1007/bfb0018349openalex-snapshot
A set constructor for inductive sets in Martin-Löf's type theory
inferred← citeshttps://doi.org/10.1007/bfb0021420openalex-snapshot
A note on "pointers"
inferred← citeshttps://doi.org/10.1007/bfb0025725openalex-snapshot
Two-level graph grammars
inferred← citeshttps://doi.org/10.1007/bfb0043080openalex-snapshot
All recursive types defined using products and sums can be implemented using pointers
inferred← citeshttps://doi.org/10.1007/bfb0105112openalex-snapshot
Parallel structures for vector processing
inferred← citeshttps://doi.org/10.1007/s00165-019-00501-3openalex-snapshot
Fifty years of Hoare’s logic
inferred← citeshttps://doi.org/10.1016/0020-0190(76)90002-8openalex-snapshot
A space-saving technique for assigning algol 68 multiple values
inferred← citeshttps://doi.org/10.1016/0020-0190(79)90100-5openalex-snapshot
United and discriminated record types in strongly typed languages
inferred← citeshttps://doi.org/10.1016/0020-0190(81)90147-2openalex-snapshot
Degrees of constancy in programming languages
inferred← citeshttps://doi.org/10.1016/0020-0190(82)90111-9openalex-snapshot
Universal Grammars
inferred← citeshttps://doi.org/10.1016/0020-0190(82)90135-1openalex-snapshot
Compile time type checking of structure field accessing
inferred← citeshttps://doi.org/10.1016/0020-0190(84)90081-4openalex-snapshot
How to produce all sentences from a two-level grammar
inferred← citeshttps://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferred← citeshttps://doi.org/10.1016/0066-4138(78)90001-0openalex-snapshot
An introduction to the formal definition of ALGOL 68
inferred← citeshttps://doi.org/10.1016/0096-0551(77)90002-9openalex-snapshot
Pointers and data abstractions in high level languages—I: Language proposals
inferred← citeshttps://doi.org/10.1016/0096-0551(77)90003-0openalex-snapshot
Pointers and data abstractions in high level languages—II: Correctness proofs
inferred← citeshttps://doi.org/10.1016/0096-0551(78)90026-7openalex-snapshot
Parallel compilation: A design and its application to SIMULA 67
inferred← citeshttps://doi.org/10.1016/0096-0551(79)90018-3openalex-snapshot
Semantic specification using two-level grammars: Blocks, procedures and parameters
inferred← citeshttps://doi.org/10.1016/0096-0551(80)90049-1openalex-snapshot
Toward modular verifiable exception handling
inferred← citeshttps://doi.org/10.1016/0096-0551(85)90004-9openalex-snapshot
Deriving a compiler from an operational semantics written in VDL
inferred← citeshttps://doi.org/10.1016/0096-0551(85)90007-4openalex-snapshot
The design of Apple—A language for modular programs
inferred← citeshttps://doi.org/10.1016/0096-0551(90)90016-iopenalex-snapshot
The hierarchical development of a generic type mechanism for functional languages
inferred← citeshttps://doi.org/10.1016/0096-0551(93)90016-topenalex-snapshot
Partial evaluation grammars
inferred← citeshttps://doi.org/10.1016/0164-1212(94)00054-qopenalex-snapshot
The importance of ignorance in requirements engineering
inferred← citeshttps://doi.org/10.1016/0167-6423(87)90032-3openalex-snapshot
Logic programming and rapid prototyping
inferred← citeshttps://doi.org/10.1016/0167-6423(89)90016-6openalex-snapshot
Elementary data structures in ALGOL-like languages
inferred← citeshttps://doi.org/10.1016/0169-023x(94)90031-0openalex-snapshot
EVORM: A conceptual modelling technique for evolving application domains
inferred← citeshttps://doi.org/10.1016/0169-023x(95)00043-ropenalex-snapshot
A generic model for 3-dimensional conceptual modelling
inferred← citeshttps://doi.org/10.1016/0304-3975(83)90064-6openalex-snapshot
Towards a programming language based on the notion of two-level grammar
inferred← citeshttps://doi.org/10.1016/0360-1315(83)90029-5openalex-snapshot
Ousbasic—A structured basic-like language for teaching computing
inferred← citeshttps://doi.org/10.1016/0360-1315(85)90023-5openalex-snapshot
Text processing in a student environment
inferred← citeshttps://doi.org/10.1016/b978-0-08-020242-6.50004-6openalex-snapshot
An Introduction to the Formal Definition of ALGOL 68
inferred← citeshttps://doi.org/10.1016/b978-0-12-174690-2.50014-9openalex-snapshot
Modules in high level programming languages
inferred← citeshttps://doi.org/10.1016/b978-0-12-374514-9.00002-1openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/b978-0-12-518850-0.50028-7openalex-snapshot
A PROGRAMMING SYSTEM FOR INTERVAL ARITHMETIC IN ALGOL 68
inferred← citeshttps://doi.org/10.1016/b978-0-408-02938-4.50007-3openalex-snapshot
Concepts and notations for concurrent programming**Reprinted from: ACM Computing Surveys, 15(1), March 1983 with permission of the Association for Computing Machinery Inc.
inferred← citeshttps://doi.org/10.1016/j.cirpj.2010.09.001openalex-snapshot
A non-contact control architecture for micro-components assembly
inferred← citeshttps://doi.org/10.1016/j.jvlc.2009.04.005openalex-snapshot
Generic and reflective graph transformations for checking and enforcement of modeling guidelines
inferred← citeshttps://doi.org/10.1016/s0304-0208(08)73076-7openalex-snapshot
A New Transformational Approach to Partial Correctness Proof Calculi for Algol 6 8-Like Programs with Finite Modes and Simple Sideeffects
inferred← citeshttps://doi.org/10.1016/s0306-4379(97)00022-7openalex-snapshot
Exploiting fact verbalisation in conceptual information modelling
inferred← citeshttps://doi.org/10.1016/s0927-0507(05)80199-9openalex-snapshot
Chapter 2 Programming languages
inferred← citeshttps://doi.org/10.1016/s0933-3657(99)00007-xopenalex-snapshot
Formal description of temporal knowledge in case reports
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36190-6openalex-snapshot
Applying Petri Nets to Requirements Validation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)63436-0openalex-snapshot
Specification of a Specification Language
inferred← citeshttps://doi.org/10.1080/0020739790100107openalex-snapshot
Mathematics by computer‐assisted learning (CAL) — the real problems
inferred← citeshttps://doi.org/10.1080/15567280701797087openalex-snapshot
Graphstega: Graph Steganography Methodology
inferred← citeshttps://doi.org/10.1093/combul/18.4.34openalex-snapshot
Reviews
inferred← citeshttps://doi.org/10.1093/comjnl/17.4.332openalex-snapshot
A Method for Defining General Networks for CAD, Using Interactive Computer Graphics
inferred← citeshttps://doi.org/10.1093/comjnl/19.2.151openalex-snapshot
On Interpreter-Oriented Definitions of Programming Languages
inferred← citeshttps://doi.org/10.1093/comjnl/23.3.286openalex-snapshot
An Alternative for the 'Completer' Function
inferred← citeshttps://doi.org/10.1093/oso/9780198739548.003.0015openalex-snapshot
Introduction to the Science of Meaning
inferred← citeshttps://doi.org/10.1109/32.52776openalex-snapshot
On criteria for module interfaces
inferred← citeshttps://doi.org/10.1109/69.476503openalex-snapshot
A general theory for evolving application models
inferred← citeshttps://doi.org/10.1109/85.759367openalex-snapshot
The influence of programming languages on the design of MU5
inferred← citeshttps://doi.org/10.1109/acsc.2000.824376openalex-snapshot
Object-oriented natural language requirements specification
inferred← citeshttps://doi.org/10.1109/ares.2011.72openalex-snapshot
Van Wijngaarden Grammars and Metamorphism
inferred← citeshttps://doi.org/10.1109/hicss.1992.183227openalex-snapshot
Performance evaluation of the Rekursiv object oriented computer
inferred← citeshttps://doi.org/10.1109/iccl.1990.63763openalex-snapshot
Experience with distributed programming in Orca
inferred← citeshttps://doi.org/10.1109/iccl.1998.674175openalex-snapshot
Formal callability and its relevance and application to interprocedural data-flow analysis
inferred← citeshttps://doi.org/10.1109/idap.2018.8620736openalex-snapshot
A Framework Based on Compiler Design Techniques for Programming Learning Environments
inferred← citeshttps://doi.org/10.1109/mahc.1989.10020openalex-snapshot
Biographies
inferred← citeshttps://doi.org/10.1109/mc.1982.1654020openalex-snapshot
Computer-Aided Specification of Process Control Systems
inferred← citeshttps://doi.org/10.1109/pgec.1964.263907openalex-snapshot
Computer-Aided Digital System Design and Analysis Using a Register Transfer Language
inferred← citeshttps://doi.org/10.1109/sess.1993.263958openalex-snapshot
Are formal methods a good thing for programming language standards? Setting an agenda for the future
inferred← citeshttps://doi.org/10.1109/tc.1976.1674589openalex-snapshot
Programming Languages—The First 25 Years
inferred← citeshttps://doi.org/10.1109/tc.1978.1675100openalex-snapshot
Aspects of Applicative Programming for Parallel Processing
inferred← citeshttps://doi.org/10.1109/tpami.1981.4767171openalex-snapshot
Computing Perimeters of Regions in Images Represented by Quadtrees
inferred← citeshttps://doi.org/10.1109/tse.1980.230482openalex-snapshot
The Implementation of Run-Time Diagnostics in Pascal
inferred← citeshttps://doi.org/10.1109/tse.1984.5010230openalex-snapshot
A Simple Separate Compilation Mechanism for Block-Structured Languages
inferred← citeshttps://doi.org/10.1109/tse.1984.5010305openalex-snapshot
Monitoring for Deadlock and Blocking in Ada Tasking
inferred← citeshttps://doi.org/10.1109/tse.1985.231846openalex-snapshot
Making Pointers Safe in System Programming Languages
inferred← citeshttps://doi.org/10.1109/tsmc.1979.4310183openalex-snapshot
Artificial Intelligence Programming Languages for Computer Aided Manufacturing
inferred← citeshttps://doi.org/10.1109/vlhcc.2008.4639088openalex-snapshot
Generic and reflective graph transformations for the checking and enforcement of modeling guidelines
inferred← citeshttps://doi.org/10.1111/j.1467-8659.1982.tb00035.xopenalex-snapshot
Relying on abstraction to facilitate graphics programming
inferred← citeshttps://doi.org/10.1111/j.1467-8659.1985.tb00185.xopenalex-snapshot
A Proposal for an ALGOL 68 Binding of GKS
inferred← citeshttps://doi.org/10.1145/1008933.1008935openalex-snapshot
On non-hierachical systems of binary operators
inferred← citeshttps://doi.org/10.1145/101356.101357openalex-snapshot
A survey of adaptable grammars
inferred← citeshttps://doi.org/10.1145/1028664.1028710openalex-snapshot
Notes on notes on postmodern programming
inferred← citeshttps://doi.org/10.1145/1052883.1052890openalex-snapshot
Notes on notes on postmodern programming
inferred← citeshttps://doi.org/10.1145/1238844.1238855openalex-snapshot
The development of the Emerald programming language
inferred← citeshttps://doi.org/10.1145/1464291.1464362openalex-snapshot
The LISP 2 programming language and system
inferred← citeshttps://doi.org/10.1145/152819.152821openalex-snapshot
Dynamic semantic specification by two-level grammars for a block structured language with subroutine parameters
inferred← citeshttps://doi.org/10.1145/154766.155580openalex-snapshot
The development of the C language
inferred← citeshttps://doi.org/10.1145/157352.157359openalex-snapshot
Typographical extensions for programming languages
inferred← citeshttps://doi.org/10.1145/163114.163119openalex-snapshot
Two-level grammars are more expressive than Type 0 grammars
inferred← citeshttps://doi.org/10.1145/165354.165362openalex-snapshot
Safe and leakproof resource management using Ada83 limited types
inferred← citeshttps://doi.org/10.1145/165593.165596openalex-snapshot
Equal rights for functional objects or, the more things change, the more they are the same
inferred← citeshttps://doi.org/10.1145/181550.181564openalex-snapshot
Comprehension syntax
inferred← citeshttps://doi.org/10.1145/24039.24052openalex-snapshot
An axiomatic treatment of exception handling in an expression-oriented language
inferred← citeshttps://doi.org/10.1145/2993236.2993245openalex-snapshot
Programmable semantic fragments: the design and implementation of typy
inferred← citeshttps://doi.org/10.1145/306363.306400openalex-snapshot
Using formal grammars to encode expert problem solving knowledge
inferred← citeshttps://doi.org/10.1145/3093335.2993245openalex-snapshot
Programmable semantic fragments: the design and implementation of typy
inferred← citeshttps://doi.org/10.1145/3276482openalex-snapshot
Empowering union and intersection types with integrated subtyping
inferred← citeshttps://doi.org/10.1145/3299887.3299892openalex-snapshot
Stream Processing Languages in the Big Data Era
inferred← citeshttps://doi.org/10.1145/35043.35045openalex-snapshot
A view of the origins and development of Prolog
inferred← citeshttps://doi.org/10.1145/356669.356671openalex-snapshot
A Tutorial on Algol 68
inferred← citeshttps://doi.org/10.1145/356901.356903openalex-snapshot
Concepts and Notations for Concurrent Programming
inferred← citeshttps://doi.org/10.1145/357121.357123openalex-snapshot
A Multiprocessing Approach to Compile-Time Symbol Resolution
inferred← citeshttps://doi.org/10.1145/357121.357127openalex-snapshot
Handling Operator Precedence in Arithmetic Expressions with Tree Transformations
inferred← citeshttps://doi.org/10.1145/359046.359055openalex-snapshot
An event-driven compiling technique
inferred← citeshttps://doi.org/10.1145/359146.359150openalex-snapshot
Progressive acyclic digraphs—a tool for database integrity
inferred← citeshttps://doi.org/10.1145/360363.360371openalex-snapshot
High-level binding with low-level linkers
inferred← citeshttps://doi.org/10.1145/382256.382801openalex-snapshot
On the requirements for the use of a program design language
inferred← citeshttps://doi.org/10.1145/390017.808308openalex-snapshot
Efficient implementation and optimization of run-time checking in PASCAL
inferred← citeshttps://doi.org/10.1145/390017.808314openalex-snapshot
Static determination of dynamic properties of generalized type unions
inferred← citeshttps://doi.org/10.1145/390018.808308openalex-snapshot
Efficient implementation and optimization of run-time checking in PASCAL
inferred← citeshttps://doi.org/10.1145/390018.808314openalex-snapshot
Static determination of dynamic properties of generalized type unions
inferred← citeshttps://doi.org/10.1145/390019.808308openalex-snapshot
Efficient implementation and optimization of run-time checking in PASCAL
inferred← citeshttps://doi.org/10.1145/390019.808314openalex-snapshot
Static determination of dynamic properties of generalized type unions
inferred← citeshttps://doi.org/10.1145/4472.4474openalex-snapshot
Side effects and aliasing can have simple axiomatic descriptions
inferred← citeshttps://doi.org/10.1145/582153.582171openalex-snapshot
Maple
inferred← citeshttps://doi.org/10.1145/72551.72552openalex-snapshot
Programming languages for distributed computing systems
inferred← citeshttps://doi.org/10.1145/800022.808314openalex-snapshot
Static determination of dynamic properties of generalized type unions
inferred← citeshttps://doi.org/10.1145/800094.803029openalex-snapshot
A language implementation design for a multiprocessor computer system
inferred← citeshttps://doi.org/10.1145/800143.804727openalex-snapshot
An extended Algol-60 for Shaded Computer Graphics
inferred← citeshttps://doi.org/10.1145/800237.807129openalex-snapshot
Correctness of data representations (Extended Abstract)
inferred← citeshttps://doi.org/10.1145/800238.807138openalex-snapshot
Derivatives without tears in Algol 68
inferred← citeshttps://doi.org/10.1145/800238.807145openalex-snapshot
Towards a machine-independent transput section
inferred← citeshttps://doi.org/10.1145/800238.807152openalex-snapshot
An attribute description of a subset of Algol 68
inferred← citeshttps://doi.org/10.1145/872738.807141openalex-snapshot
Some remarks on new instances and garbage collection
inferred← citeshttps://doi.org/10.1145/872738.807145openalex-snapshot
Towards a machine-independent transput section
inferred← citeshttps://doi.org/10.1145/872738.807147openalex-snapshot
Storage management for ALGOL68
inferred← citeshttps://doi.org/10.1145/872738.807154openalex-snapshot
Character string pattern matching in Algol 68
inferred← citeshttps://doi.org/10.1145/93548.93560openalex-snapshot
Type-dependent parameter inference
inferred← citeshttps://doi.org/10.1145/942574.807129openalex-snapshot
Correctness of data representations (Extended Abstract)
inferred← citeshttps://doi.org/10.1145/947586.947590openalex-snapshot
An interpretative implementation of limited entry decision tables in Algol 68
inferred← citeshttps://doi.org/10.1145/948566.948570openalex-snapshot
An acceptive grammar for the natural language English
inferred← citeshttps://doi.org/10.1145/948566.948572openalex-snapshot
Prettyprinting styles for various languages
inferred← citeshttps://doi.org/10.1145/949344.949385openalex-snapshot
A language based formalism for domain driven development
inferred← citeshttps://doi.org/10.1145/949344.949449openalex-snapshot
A language based formalism for domain driven development
inferred← citeshttps://doi.org/10.1145/953145.953148openalex-snapshot
Program execution in the symbol 2R computer
inferred← citeshttps://doi.org/10.1145/953777.953781openalex-snapshot
Program readability, closing keywords and prefix-style intermediate keywords
showing the first 200 of 226 · page through all 226
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.