On the public citation graph
The programming language pascal
0 signed · 689 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1145/364888.876696openalex-snapshot
Report on SUBSET ALGOL 60 (IFIP)
inferredcites →https://doi.org/10.1145/365696.365702openalex-snapshot
A contribution to the development of ALGOL
inferredcites →https://doi.org/10.1145/367236.367262openalex-snapshot
Report on the algorithmic language ALGOL 60
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118567210.ch10openalex-snapshot
Running, Debugging and Optimizing Programs
inferred← citeshttps://doi.org/10.1002/asi.4630310102openalex-snapshot
Information system design methodology
inferred← citeshttps://doi.org/10.1002/cpe.4330060504openalex-snapshot
SuperPascal—a publication language for parallel scientific computing
inferred← citeshttps://doi.org/10.1002/j.1097-024x.1986.tb00014.xopenalex-snapshot
Contextually Communicating Sequential Processes — a Software Engineering Environment
inferred← citeshttps://doi.org/10.1002/j.1538-7305.1985.tb00048.xopenalex-snapshot
Datastream-A Language for Large Files
inferred← citeshttps://doi.org/10.1002/smr.4360040104openalex-snapshot
Reverse‐engineering and intermodular data flow: A theoretical approach
inferred← citeshttps://doi.org/10.1002/spe.393openalex-snapshot
Compiler to interpreter: experiences with a distributed programming language
inferred← citeshttps://doi.org/10.1002/spe.4380010403openalex-snapshot
The design of a pascal compiler
inferred← citeshttps://doi.org/10.1002/spe.4380020108openalex-snapshot
A pascal compiler for ICL 1900 series computers
inferred← citeshttps://doi.org/10.1002/spe.4380030306openalex-snapshot
Aspects of reference locality in list structures in virtual memory
inferred← citeshttps://doi.org/10.1002/spe.4380040205openalex-snapshot
Does APL really need run‐time checking?
inferred← citeshttps://doi.org/10.1002/spe.4380040208openalex-snapshot
Dynamic data structure mapping
inferred← citeshttps://doi.org/10.1002/spe.4380050406openalex-snapshot
Biomac: Block structured programming using PDP‐11 assembler language
inferred← citeshttps://doi.org/10.1002/spe.4380060103openalex-snapshot
Postlude to a PASCAL‐compiler bootstrap on a decsystem‐10
inferred← citeshttps://doi.org/10.1002/spe.4380060110openalex-snapshot
A pascal compiler for PDP 11 minicomputers
inferred← citeshttps://doi.org/10.1002/spe.4380060306openalex-snapshot
The design of a real‐time operating system for a minicomputer. part II
inferred← citeshttps://doi.org/10.1002/spe.4380060308openalex-snapshot
Systematic programming of scheduling algorithms
inferred← citeshttps://doi.org/10.1002/spe.4380060309openalex-snapshot
Implementation of a PASCAL compiler for the IBM 360
inferred← citeshttps://doi.org/10.1002/spe.4380070102openalex-snapshot
Modula: A language for modular multiprogramming
inferred← citeshttps://doi.org/10.1002/spe.4380070604openalex-snapshot
Ambiguities and insecurities in pascal
inferred← citeshttps://doi.org/10.1002/spe.4380080207openalex-snapshot
Sequential pascal with recovery blocks
inferred← citeshttps://doi.org/10.1002/spe.4380080509openalex-snapshot
Experience with the universal intermediate language janus
inferred← citeshttps://doi.org/10.1002/spe.4380090305openalex-snapshot
MAP: A Pascal macro preprocessor for large program development
inferred← citeshttps://doi.org/10.1002/spe.4380090309openalex-snapshot
Non‐recursive top‐down syntax analysis
inferred← citeshttps://doi.org/10.1002/spe.4380100702openalex-snapshot
Variable number of parameters in typed languages
inferred← citeshttps://doi.org/10.1002/spe.4380100804openalex-snapshot
Interpretation and code generation based on intermediate languages
inferred← citeshttps://doi.org/10.1002/spe.4380100902openalex-snapshot
An experiment in parallel program design
inferred← citeshttps://doi.org/10.1002/spe.4380110208openalex-snapshot
The architecture of the PLAIN data base handler
inferred← citeshttps://doi.org/10.1002/spe.4380110904openalex-snapshot
Improving the structure of large Pascal programs
inferred← citeshttps://doi.org/10.1002/spe.4380120309openalex-snapshot
Extending the power of Pascal's external procedure mechanism
inferred← citeshttps://doi.org/10.1002/spe.4380120508openalex-snapshot
An alternative approach to arrays
inferred← citeshttps://doi.org/10.1002/spe.4380130403openalex-snapshot
The programming language ACTUS
inferred← citeshttps://doi.org/10.1002/spe.4380130910openalex-snapshot
PIGS—A system for programming with interactive graphical support
inferred← citeshttps://doi.org/10.1002/spe.4380131007openalex-snapshot
The influence of hardware and software considerations on the design of synchronous parallel algorithms
inferred← citeshttps://doi.org/10.1002/spe.4380131202openalex-snapshot
DTL: A language for the design and implementation of concurrent programs as structured networks
inferred← citeshttps://doi.org/10.1002/spe.4380140502openalex-snapshot
Integrating library modules into Pascal programs
inferred← citeshttps://doi.org/10.1002/spe.4380141005openalex-snapshot
Implementation of the database programming language modula/R on the personal computer lilith
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.4380141103openalex-snapshot
Polymorphic programming II. An orthogonal tagged high level architecture abstract machine
inferred← citeshttps://doi.org/10.1002/spe.4380151204openalex-snapshot
A high level language based system for cross‐assembler definition
inferred← citeshttps://doi.org/10.1002/spe.4380170105openalex-snapshot
Joyce—A programming language for distributed systems
inferred← citeshttps://doi.org/10.1002/spe.4380170402openalex-snapshot
Strongly typed user interfaces in an abstract data store
inferred← citeshttps://doi.org/10.1002/spe.4380190606openalex-snapshot
A multiprocessor implementation of joyce
inferred← citeshttps://doi.org/10.1002/spe.4380200206openalex-snapshot
Conversion of simulation processes to pascal constructs
inferred← citeshttps://doi.org/10.1002/spe.4380251303openalex-snapshot
Open issues in object-oriented programming—A scandinavian perspective
inferred← citeshttps://doi.org/10.1002/sys.21751openalex-snapshot
PRODEC for human systems integration of increasingly autonomous systems
inferred← citeshttps://doi.org/10.1006/inco.1997.2697openalex-snapshot
All Structured Programs Have Small Tree Width and Good Register Allocation
inferred← citeshttps://doi.org/10.1007/1-84628-054-0_6openalex-snapshot
Introduction to Programming Languages
inferred← citeshttps://doi.org/10.1007/10722581_1openalex-snapshot
The Development of Procedural Programming Languages Personal Contributions and Perspectives
inferred← citeshttps://doi.org/10.1007/11915355_16openalex-snapshot
Issues of Selecting a Programming Environment for a Programming Curriculum in General Education
inferred← citeshttps://doi.org/10.1007/3-540-06666-7_48openalex-snapshot
A pascal compiler bootstrapped on a DEC-System 10
inferred← citeshttps://doi.org/10.1007/3-540-06720-5_1openalex-snapshot
An axiomatic definition of the programming language PASCAL
inferred← citeshttps://doi.org/10.1007/3-540-06786-8_294openalex-snapshot
Software portability via an intermediate language
inferred← citeshttps://doi.org/10.1007/3-540-06841-4_55openalex-snapshot
Langages Sans Etiquettes et Transformations de Programmes
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_124openalex-snapshot
Proving program correctness in LCF
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_134openalex-snapshot
On the transfer of control between contexts
inferred← citeshttps://doi.org/10.1007/3-540-06907-0_102openalex-snapshot
CAI activities in Switzerland
inferred← citeshttps://doi.org/10.1007/3-540-07131-8_23openalex-snapshot
The reliability of programming systems
inferred← citeshttps://doi.org/10.1007/3-540-07141-5_209openalex-snapshot
Toward a Methodology for Designing Large Systems and Verifying Their Properties
inferred← citeshttps://doi.org/10.1007/3-540-07141-5_271openalex-snapshot
Ein Dialogprogrammiersystem für den Unterricht in Programmiersprachen
inferred← citeshttps://doi.org/10.1007/3-540-07168-7_73openalex-snapshot
Language characteristics programming languages as a tool in writing system software
inferred← citeshttps://doi.org/10.1007/3-540-07168-7_75openalex-snapshot
Relationship between definition and implementation of a language
inferred← citeshttps://doi.org/10.1007/3-540-07389-2_182openalex-snapshot
Parsing as a subtask of compiling
inferred← citeshttps://doi.org/10.1007/3-540-07407-4_29openalex-snapshot
Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
inferred← citeshttps://doi.org/10.1007/3-540-07994-7_47openalex-snapshot
Parallel programming: An axiomatic approach
inferred← citeshttps://doi.org/10.1007/3-540-07994-7_50openalex-snapshot
The programming language concurrent pascal
inferred← citeshttps://doi.org/10.1007/3-540-07994-7_56openalex-snapshot
The structure of an operating system
inferred← citeshttps://doi.org/10.1007/3-540-08065-1_3openalex-snapshot
Usability and portability of a compiler writing system
inferred← citeshttps://doi.org/10.1007/3-540-08065-1_9openalex-snapshot
Almost top-down analysis for generalized LR(K) grammars
inferred← citeshttps://doi.org/10.1007/3-540-08138-0_8openalex-snapshot
Grobstrukturen für kontextfreie Grammatiken
inferred← citeshttps://doi.org/10.1007/3-540-08755-9_7openalex-snapshot
Synchronization in a layered system
inferred← citeshttps://doi.org/10.1007/3-540-08860-1_4openalex-snapshot
Grammars with dynamic control sets
inferred← citeshttps://doi.org/10.1007/3-540-09510-1_43openalex-snapshot
An axiomatic treatment of ALGOL 68 routines
inferred← citeshttps://doi.org/10.1007/3-540-09745-7_1openalex-snapshot
The module: A system structuring facility in high-level programming languages
inferred← citeshttps://doi.org/10.1007/3-540-09745-7_12openalex-snapshot
The design of a successor to pascal
inferred← citeshttps://doi.org/10.1007/3-540-10007-5_39openalex-snapshot
An introduction to data algebras
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-10256-6_7openalex-snapshot
Conclusions and further research
inferred← citeshttps://doi.org/10.1007/3-540-11172-7_6openalex-snapshot
High level sequential and concurrent programming
inferred← citeshttps://doi.org/10.1007/3-540-13883-8_75openalex-snapshot
Persistent first class procedures are enough
inferred← citeshttps://doi.org/10.1007/3-540-16066-3_1openalex-snapshot
An algorithmic interface structure for pascal compilers
inferred← citeshttps://doi.org/10.1007/3-540-17189-4_101openalex-snapshot
The integration of version control into programming languages
inferred← citeshttps://doi.org/10.1007/3-540-37437-x_3openalex-snapshot
Programmiersprachen und Paradigmen
inferred← citeshttps://doi.org/10.1007/3-540-45337-7_3openalex-snapshot
Sealing, Encapsulation, and Mutablility
inferred← citeshttps://doi.org/10.1007/3-540-53504-7_59openalex-snapshot
Selected aspects of the calculus of self-modifiable algorithms theory
inferred← citeshttps://doi.org/10.1007/3-540-61739-6_32openalex-snapshot
Generalized dominators for structured programs
inferred← citeshttps://doi.org/10.1007/3540069585_61openalex-snapshot
Portable and Adaptable Compilers
inferred← citeshttps://doi.org/10.1007/978-1-4471-0403-2_6openalex-snapshot
Introduction to Programming Languages
inferred← citeshttps://doi.org/10.1007/978-1-4471-3031-4_6openalex-snapshot
Introduction to Programming Languages
inferred← citeshttps://doi.org/10.1007/978-1-4471-3178-6_11openalex-snapshot
A Layered Persistent Architecture for Napier88
inferred← citeshttps://doi.org/10.1007/978-1-4471-3209-7_6openalex-snapshot
Persistent Hyper-Programs
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_5openalex-snapshot
Concurrent and Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-1-4612-1902-6_1openalex-snapshot
C++ as Structured Programming: An Historical Perspective
inferred← citeshttps://doi.org/10.1007/978-1-4612-4118-8_11openalex-snapshot
Syntactic Control of Interference
inferred← citeshttps://doi.org/10.1007/978-1-4612-6315-9_17openalex-snapshot
Structured Multiprogramming
inferred← citeshttps://doi.org/10.1007/978-1-4612-6315-9_19openalex-snapshot
The Programming Language Concurrent Pascal
inferred← citeshttps://doi.org/10.1007/978-1-4613-9685-7_8openalex-snapshot
Annotation of Operations on Composite Types
inferred← citeshttps://doi.org/10.1007/978-1-4614-0284-8_2openalex-snapshot
Heterogeneous Multicore Architecture
inferred← citeshttps://doi.org/10.1007/978-1-4615-0883-0_5openalex-snapshot
Synthesis-Based Software Architecture Design
inferred← citeshttps://doi.org/10.1007/978-1-4684-3893-2_8openalex-snapshot
PIXAL: A High Level Language for Image Processing
inferred← citeshttps://doi.org/10.1007/978-1-4684-7624-8_11openalex-snapshot
Current Trends in Programming
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_1openalex-snapshot
The Invention of Concurrent Programming
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_10openalex-snapshot
Monitors: An Operating System Structuring Concept
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_11openalex-snapshot
The Programming Language Concurrent Pascal
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_16openalex-snapshot
Communicating Sequential Processes
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_18openalex-snapshot
Joyce—A Programming Language for Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_19openalex-snapshot
SuperPascal: A Publication Language for Parallel Scientific Computing
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_20openalex-snapshot
Efficient Parallel Recursion
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_7openalex-snapshot
An Outline of a Course on Operating System Principles
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_8openalex-snapshot
Structured Multiprogramming
inferred← citeshttps://doi.org/10.1007/978-1-84882-555-0_11openalex-snapshot
The Unification of Data and Algorithms
inferred← citeshttps://doi.org/10.1007/978-1-84882-555-0_9openalex-snapshot
The Algol Research Programme
inferred← citeshttps://doi.org/10.1007/978-3-030-27486-3_28-1openalex-snapshot
Model-Based Human Systems Integration
inferred← citeshttps://doi.org/10.1007/978-3-030-71995-1_24openalex-snapshot
A String Diagrammatic Axiomatisation of Finite-State Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-76391-6_4openalex-snapshot
Articulating Human Systems Integration
inferred← citeshttps://doi.org/10.1007/978-3-030-93582-5_28openalex-snapshot
Model-Based Human Systems Integration
inferred← citeshttps://doi.org/10.1007/978-3-031-19647-8_29openalex-snapshot
Architecture on Knowledge Management Systems: Its Presence in the Academic Literature
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_15openalex-snapshot
Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out
inferred← citeshttps://doi.org/10.1007/978-3-319-17701-4_3openalex-snapshot
Introduction to Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-47099-3_16openalex-snapshot
Toward a Parallel Turing Machine Model
inferred← citeshttps://doi.org/10.1007/978-3-322-91968-7_7openalex-snapshot
Höhere Programmiersprachen
inferred← citeshttps://doi.org/10.1007/978-3-322-99367-0_1openalex-snapshot
Allgemeine Eigenschaften von Algorithmen und Programmen
inferred← citeshttps://doi.org/10.1007/978-3-540-31958-0_13openalex-snapshot
Teaching: People to People – About People A Plea for the Historic and Human View
inferred← citeshttps://doi.org/10.1007/978-3-540-77847-9_5openalex-snapshot
Systementwicklung und Lifecycle Management
inferred← citeshttps://doi.org/10.1007/978-3-642-27266-0_3openalex-snapshot
Programming Languages and Paradigms
inferred← citeshttps://doi.org/10.1007/978-3-642-46725-7_1openalex-snapshot
Real-Time Euclid: Concepts Useful for the Further Development of PEARL
inferred← citeshttps://doi.org/10.1007/978-3-642-57991-2_5openalex-snapshot
Languages for Statistics and Data Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-58154-0_5openalex-snapshot
Syntaktische und semantische Definition algorithmischer Sprachen
inferred← citeshttps://doi.org/10.1007/978-3-642-58722-1_13openalex-snapshot
Maschinennahe Programmstrukturen
inferred← citeshttps://doi.org/10.1007/978-3-642-58722-1_9openalex-snapshot
Objektorientierte Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-59412-0_28openalex-snapshot
Abstract Data Types, Then and Now
inferred← citeshttps://doi.org/10.1007/978-3-642-59412-0_8openalex-snapshot
Pascal and Its Successors
inferred← citeshttps://doi.org/10.1007/978-3-642-61556-6_1openalex-snapshot
Types, Bindings and Parameters in a Persistent Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-65586-9_19openalex-snapshot
Programmierung digitaler Datenverarbeitungssysteme
inferred← citeshttps://doi.org/10.1007/978-3-642-66599-8_9openalex-snapshot
DIPOL, eine Anwendungsorientierte Programmiersprache für Diskrete Prozesse auf der Basis von Pearl
inferred← citeshttps://doi.org/10.1007/978-3-642-67091-6_2openalex-snapshot
Methoden der Programm- und Systemkonstruktion: Ein Statusbericht
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-67616-1_38openalex-snapshot
Hardwareentwicklungen und Ihr Einfluss auf Softwaresysteme
inferred← citeshttps://doi.org/10.1007/978-3-642-76501-8_8openalex-snapshot
Analysing PEARL Programs for Timely Schedulability and Executability
inferred← citeshttps://doi.org/10.1007/978-3-642-82470-8_10openalex-snapshot
Sequential Pascal with Recovery Blocks
inferred← citeshttps://doi.org/10.1007/978-3-642-83397-7_14openalex-snapshot
Design of a Compiler for a Semantic Data Model
inferred← citeshttps://doi.org/10.1007/978-3-642-83397-7_19openalex-snapshot
The Software Development Environment as a Knowledge Base Management System
inferred← citeshttps://doi.org/10.1007/978-3-642-93222-9_1openalex-snapshot
Entstehungsgeschichte und Anwendungsgebiete von CHILL
inferred← citeshttps://doi.org/10.1007/978-3-642-95289-0_10openalex-snapshot
Program Proving: Exit and Return Jumps in Structured Programs
inferred← citeshttps://doi.org/10.1007/978-3-658-01628-9_14openalex-snapshot
Höhere Programmiersprachen und C
inferred← citeshttps://doi.org/10.1007/978-3-658-14634-4_14openalex-snapshot
Höhere Programmiersprachen und C
inferred← citeshttps://doi.org/10.1007/978-3-658-18121-5_1openalex-snapshot
Allgemeine Eigenschaften von Algorithmen und Programmen
inferred← citeshttps://doi.org/10.1007/978-3-658-30331-0_9openalex-snapshot
Höhere Programmiersprachen und C
inferred← citeshttps://doi.org/10.1007/978-3-658-41779-6_9openalex-snapshot
Höhere Programmiersprachen und C
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_14openalex-snapshot
Abstraction Mechanisms in CLU
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_16openalex-snapshot
Notes on the Design of Euclid
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_17openalex-snapshot
The Programming Language Concurrent Pascal
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_18openalex-snapshot
Modula: A Language for Modular Multiprogramming
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_19openalex-snapshot
Communicating Sequential Processes
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_2openalex-snapshot
On the Design of Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_8openalex-snapshot
Ambiguities and Insecurities in Pascal
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_9openalex-snapshot
An Assessment of the Programming Language Pascal
inferred← citeshttps://doi.org/10.1007/978-3-662-44043-8_7openalex-snapshot
Graphical Representations of Context-Free Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-63560-5_6openalex-snapshot
Systementwicklung und Lifecycle Management
inferred← citeshttps://doi.org/10.1007/978-3-8351-9101-3_27openalex-snapshot
Enterprise JavaBeans 3.0
inferred← citeshttps://doi.org/10.1007/978-94-009-7893-5_17openalex-snapshot
Discrete Event Simulation Based on Communicating Sequential Processes
inferred← citeshttps://doi.org/10.1007/978-94-010-1161-7_7openalex-snapshot
A Survey of Many-Valued Logic (1966–1974)
inferred← citeshttps://doi.org/10.1007/978-94-011-2556-7_16openalex-snapshot
Geometry for Three-Dimensional GIS in Geoscientific Applications
inferred← citeshttps://doi.org/10.1007/978-981-10-5107-4_1openalex-snapshot
Introduction to Predictive Computing
inferred← citeshttps://doi.org/10.1007/978-981-33-4619-2_19openalex-snapshot
A Systematic Approach to Present “Files and File Systems” in Theoretical Courses of Computer Science
showing the first 200 of 686 · page through all 686
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.