On the public citation graph
CLU Reference Manual
0 signed · 254 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 points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380130605openalex-snapshot
The implementation of generators and goal‐directed evaluation in icon
inferred← citeshttps://doi.org/10.1002/spe.4380150205openalex-snapshot
A survey of systems programming languages: Concepts and facilities
inferred← citeshttps://doi.org/10.1002/spe.4380251203openalex-snapshot
Ropes: An alternative to strings
inferred← citeshttps://doi.org/10.1002/spe.683openalex-snapshot
STLlint: lifting static checking from languages to libraries
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-10007-5_43openalex-snapshot
Modular program construction using abstractions
inferred← citeshttps://doi.org/10.1007/3-540-11494-7_25openalex-snapshot
The use of transformations to implement an algorithm
inferred← citeshttps://doi.org/10.1007/3-540-11980-9_15openalex-snapshot
Toward the design and implementation of object oriented architecture
inferred← citeshttps://doi.org/10.1007/3-540-15198-2_20openalex-snapshot
On observational equivalence and algebraic specification
inferred← citeshttps://doi.org/10.1007/3-540-15984-3_280openalex-snapshot
An algebraic implementation of packages
inferred← citeshttps://doi.org/10.1007/3-540-19074-0_76openalex-snapshot
Data base programming tools in the ATLANT language
inferred← citeshttps://doi.org/10.1007/3-540-36388-2_9openalex-snapshot
JMatch: Iterable Abstract Pattern Matching for Java
inferred← citeshttps://doi.org/10.1007/3-540-45102-1_11openalex-snapshot
Copying and Comparing: Problems and Solutions
inferred← citeshttps://doi.org/10.1007/3-540-45440-3_10openalex-snapshot
Beyond Generic Component Parameters
inferred← citeshttps://doi.org/10.1007/3-540-45927-8_3openalex-snapshot
Existential Types for Imperative Languages
inferred← citeshttps://doi.org/10.1007/3-540-46423-9_4openalex-snapshot
Automatic Removal of Array Memory Leaks in Java
inferred← citeshttps://doi.org/10.1007/3-540-47891-4_16openalex-snapshot
Concurrency Features for the Trellis/Owl Language
inferred← citeshttps://doi.org/10.1007/3-540-47891-4_6openalex-snapshot
What is “Object-Oriented Programming”?
inferred← citeshttps://doi.org/10.1007/3-540-50325-0_1openalex-snapshot
The stratified loose approach: A generalization of initial and loose semantics
inferred← citeshttps://doi.org/10.1007/3-540-50345-5_28openalex-snapshot
Managing persistent data with mneme: Designing a reliable, shared object interface
inferred← citeshttps://doi.org/10.1007/3-540-50345-5_31openalex-snapshot
Common object-oriented repository system
inferred← citeshttps://doi.org/10.1007/3-540-52609-9_82openalex-snapshot
Distributed computing with a processor bank
inferred← citeshttps://doi.org/10.1007/3-540-54141-1_21openalex-snapshot
The database programming language Atlant: Principal features and implementation techniques
inferred← citeshttps://doi.org/10.1007/3-540-54496-8_15openalex-snapshot
A kernel specification formalism with higher-order parameterisation
inferred← citeshttps://doi.org/10.1007/3-540-55015-1_18openalex-snapshot
Providing dynamic type abstractions and specifications for persistent information
inferred← citeshttps://doi.org/10.1007/3-540-55253-7_27openalex-snapshot
Modules for a model-oriented specification language: A proposal for metasoft
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_128openalex-snapshot
Notes on typed object-oriented programming
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_124openalex-snapshot
Specifications and their use in defining subtypes
inferred← citeshttps://doi.org/10.1007/978-1-4613-2237-5_10openalex-snapshot
Issues in Process and Communication Structure for Distributed Programs
inferred← citeshttps://doi.org/10.1007/978-1-4613-2521-5_17openalex-snapshot
Rationale for Comments: The Effect on Programming Languages and Implementation
inferred← citeshttps://doi.org/10.1007/978-1-4757-1388-6_11openalex-snapshot
tm—An Object-Oriented Language for CAD and Required Database Capabilities
inferred← citeshttps://doi.org/10.1007/978-3-540-89330-1_20openalex-snapshot
Exception Handlers as Extensible Cases
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_61openalex-snapshot
Logic Engines as Interactors
inferred← citeshttps://doi.org/10.1007/978-3-540-92995-6_10openalex-snapshot
Interoperating Logic Engines
inferred← citeshttps://doi.org/10.1007/978-3-642-13550-7_16openalex-snapshot
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM
inferred← citeshttps://doi.org/10.1007/978-3-642-32202-0_4openalex-snapshot
The C++0x “Concepts” Effort
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_23openalex-snapshot
Persistent Foundations for Scalable Multi-Paradigmal Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-72945-4_2openalex-snapshot
A Paradigm for Intelligent CAD
inferred← citeshttps://doi.org/10.1007/978-3-642-82453-1_3openalex-snapshot
Tools for Verifying Network Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-84374-7_8openalex-snapshot
An Object-Oriented Database for Trellis
inferred← citeshttps://doi.org/10.1007/978-3-642-87955-5_5openalex-snapshot
Nachrichtenverarbeitung -Objekt-orientierte Programmierung (1)
inferred← citeshttps://doi.org/10.1007/978-4-431-68081-9_9openalex-snapshot
The Type Mechanism of the TIPE/L Programming Language
inferred← citeshttps://doi.org/10.1007/bf00264163openalex-snapshot
Complexity theory and the operational structure of algebraic programming systems
inferred← citeshttps://doi.org/10.1007/bf00993199openalex-snapshot
Concepts and realization of a high-performance data type architecture
inferred← citeshttps://doi.org/10.1007/bf02525599openalex-snapshot
A programming methodology based on data abstraction
inferred← citeshttps://doi.org/10.1007/s11390-017-1702-6openalex-snapshot
Principles to Support Modular Software Construction
inferred← citeshttps://doi.org/10.1016/0020-0190(84)90108-xopenalex-snapshot
Programmed deallocation without dangling reference
inferred← citeshttps://doi.org/10.1016/0020-0190(88)90183-4openalex-snapshot
Implementing functional programs using mutable abstract data types
inferred← citeshttps://doi.org/10.1016/0022-0000(87)90023-7openalex-snapshot
On observational equivalence and algebraic specification
inferred← citeshttps://doi.org/10.1016/0096-0551(79)90017-1openalex-snapshot
Testing and verification aspects of Pascal-like languages
inferred← citeshttps://doi.org/10.1016/0096-0551(87)90019-1openalex-snapshot
Performance evaluation methodologies for abstract data type implementation techniques
inferred← citeshttps://doi.org/10.1016/0096-0551(91)90002-qopenalex-snapshot
Black-box specification in Spec
inferred← citeshttps://doi.org/10.1016/0140-3664(90)90059-popenalex-snapshot
Supporting object interaction in heterogeneous distributed systems
inferred← citeshttps://doi.org/10.1016/0141-9331(93)90047-bopenalex-snapshot
Mechanisms for controlling evolution in persistent object systems
inferred← citeshttps://doi.org/10.1016/0164-1212(81)90035-2openalex-snapshot
The external structure: Experience with an automated module interconnection language
inferred← citeshttps://doi.org/10.1016/0167-6423(87)90004-9openalex-snapshot
Reveur-3: the implementation of a general completion procedure parameterized by built-in theories and strategies
inferred← citeshttps://doi.org/10.1016/0167-8191(89)90074-4openalex-snapshot
Automatic transformation of high-level object-oriented specifications into parallel programs
inferred← citeshttps://doi.org/10.1016/0306-4379(83)90034-0openalex-snapshot
Privacy and security in information systems using programming language features
inferred← citeshttps://doi.org/10.1016/0743-1066(84)90004-9openalex-snapshot
Equality, types, modules, and (why not?) generics for logic programming
inferred← citeshttps://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90044-iopenalex-snapshot
The semantics of second-order lambda calculus
inferred← citeshttps://doi.org/10.1016/0950-5849(92)90040-vopenalex-snapshot
Requirements organization approach for object-based construction of software systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.022openalex-snapshot
Decision Procedures for Set-Valued Fields
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.014openalex-snapshot
A Design for Type-Directed Programming in Java
inferred← citeshttps://doi.org/10.1016/j.scico.2004.11.004openalex-snapshot
Supporting software composition at the programming language level
inferred← citeshttps://doi.org/10.1016/j.scico.2008.09.009openalex-snapshot
A language for generic programming in the large
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60131-xopenalex-snapshot
Specification and Implementation of Abstract Data Types
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60164-3openalex-snapshot
Reusable Software Components
inferred← citeshttps://doi.org/10.1016/s0360-1315(97)00064-xopenalex-snapshot
The abstraction-first approach to data abstraction and algorithms
inferred← citeshttps://doi.org/10.1017/s095679680000126xopenalex-snapshot
Dynamic typing in polymorphic languages
inferred← citeshttps://doi.org/10.1017/s1471068411000433openalex-snapshot
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
inferred← citeshttps://doi.org/10.1049/iet-sen:20080010openalex-snapshot
Reducing the use of nullable types through non-null by default and monotonic non-null
inferred← citeshttps://doi.org/10.1109/32.120313openalex-snapshot
Language design for program manipulation
inferred← citeshttps://doi.org/10.1109/32.159831openalex-snapshot
A case study of CES: a distributed collaborative editing system implemented in Argus
inferred← citeshttps://doi.org/10.1109/32.21753openalex-snapshot
The AdaPIC tool set: supporting interface control and analysis throughout the software development process
inferred← citeshttps://doi.org/10.1109/32.4643openalex-snapshot
Preserving abstraction in concurrent programming
inferred← citeshttps://doi.org/10.1109/32.605759openalex-snapshot
Software reuse by specialization of generic procedures through views
inferred← citeshttps://doi.org/10.1109/bigdata59044.2023.10386437openalex-snapshot
Analysis of Medical Incident Reports using Text Mining*
inferred← citeshttps://doi.org/10.1109/fdmpp.1992.588584openalex-snapshot
Semantic Models For Parallel Computers
inferred← citeshttps://doi.org/10.1109/icassp.1983.1171941openalex-snapshot
The signal representation language SRL
inferred← citeshttps://doi.org/10.1109/iccl.1988.13070openalex-snapshot
Object oriented programming (OOP) and its relevance to designing intelligent software systems
inferred← citeshttps://doi.org/10.1109/iccl.1988.13073openalex-snapshot
The design of software interfaces in Spec
inferred← citeshttps://doi.org/10.1109/iccl.1988.13082openalex-snapshot
Using obviously synchronizable series expressions instead of loops
inferred← citeshttps://doi.org/10.1109/icdcs.1990.89302openalex-snapshot
Structure-oriented computer architectures
inferred← citeshttps://doi.org/10.1109/icdcs.1991.148726openalex-snapshot
Dynamic reconfiguration of distributed programs
inferred← citeshttps://doi.org/10.1109/kbse.1992.252907openalex-snapshot
Software reuse through view type clusters
inferred← citeshttps://doi.org/10.1109/mc.1986.1663146openalex-snapshot
Reusing and Interconnecting Software Components
inferred← citeshttps://doi.org/10.1109/ms.1985.230352openalex-snapshot
Ada-Based support for programming-in-the-Large
inferred← citeshttps://doi.org/10.1109/tse.1987.232836openalex-snapshot
Distrbution and Abstract Types in Emerald
inferred← citeshttps://doi.org/10.1142/s0218215792000143openalex-snapshot
AN ARCHITECTURAL SURVEY OF OBJECT MANAGEMENT SYSTEMS
inferred← citeshttps://doi.org/10.1145/1028976.1028986openalex-snapshot
Scalable extensibility via nested inheritance
inferred← citeshttps://doi.org/10.1145/103135.103138openalex-snapshot
Dynamic typing in a statically typed language
inferred← citeshttps://doi.org/10.1145/1064978.1065021openalex-snapshot
Essential language support for generic programming
inferred← citeshttps://doi.org/10.1145/1065887.1065892openalex-snapshot
CCured: type-safe retrofitting of legacy software
inferred← citeshttps://doi.org/10.1145/1066100.1066102openalex-snapshot
Simplify: a theorem prover for program checking
inferred← citeshttps://doi.org/10.1145/1067649.801729openalex-snapshot
On the semantic structure of information - A proposal of the abstract storage architecture
inferred← citeshttps://doi.org/10.1145/1094811.1094823openalex-snapshot
Parametric polymorphism for software component architectures
inferred← citeshttps://doi.org/10.1145/1133651.1133653openalex-snapshot
Quantified types in an imperative language
inferred← citeshttps://doi.org/10.1145/1159861.1159872openalex-snapshot
A technique for generic iteration and its optimization
inferred← citeshttps://doi.org/10.1145/1166253.1166265openalex-snapshot
From information visualization to direct manipulation
inferred← citeshttps://doi.org/10.1145/117009.117016openalex-snapshot
An improved storage management scheme for block structured languages
inferred← citeshttps://doi.org/10.1145/117009.117017openalex-snapshot
An ad hoc approach to the implementation of polymorphism
inferred← citeshttps://doi.org/10.1145/122203.122206openalex-snapshot
A comparison of module constructs in programming languages
inferred← citeshttps://doi.org/10.1145/122576.122585openalex-snapshot
A multi-level parallelism architecture
inferred← citeshttps://doi.org/10.1145/123186.123319openalex-snapshot
Waveform moment methods for improved interconnection analysis
inferred← citeshttps://doi.org/10.1145/141874.141886openalex-snapshot
Parameterized specifications for software reuse
inferred← citeshttps://doi.org/10.1145/1499310.1499357openalex-snapshot
A prototyping environment for real-time graphics
inferred← citeshttps://doi.org/10.1145/1500774.1500837openalex-snapshot
Criteria for a standard command language based on data abstraction
inferred← citeshttps://doi.org/10.1145/1570506.1570511openalex-snapshot
Threesomes, with and without blame
inferred← citeshttps://doi.org/10.1145/162754.162815openalex-snapshot
Parametrized programming in LILEANNA
inferred← citeshttps://doi.org/10.1145/1639949.1640133openalex-snapshot
On understanding data abstraction, revisited
inferred← citeshttps://doi.org/10.1145/165854.165863openalex-snapshot
Specifications and their use in defining subtypes
inferred← citeshttps://doi.org/10.1145/178243.178261openalex-snapshot
Cache performance of garbage-collected programs
inferred← citeshttps://doi.org/10.1145/181904.181908openalex-snapshot
Suggestion for a parametrized class model
inferred← citeshttps://doi.org/10.1145/191080.191083openalex-snapshot
Typechecking and modules for multi-methods
inferred← citeshttps://doi.org/10.1145/191525.191537openalex-snapshot
Linkage in the Nemesis single address space operating system
inferred← citeshttps://doi.org/10.1145/193173.195300openalex-snapshot
Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity
inferred← citeshttps://doi.org/10.1145/197320.197383openalex-snapshot
A behavioral notion of subtyping
inferred← citeshttps://doi.org/10.1145/199818.199841openalex-snapshot
A new iteration mechanism for the C++ programming language
inferred← citeshttps://doi.org/10.1145/209866.209872openalex-snapshot
The object oriented model and its advantages
inferred← citeshttps://doi.org/10.1145/218570.218571openalex-snapshot
Typechecking and modules for multimethods
inferred← citeshttps://doi.org/10.1145/2211616.2211617openalex-snapshot
Type checking annotation-based product lines
inferred← citeshttps://doi.org/10.1145/234286.1057814openalex-snapshot
Monitors and Concurrent Pascal
inferred← citeshttps://doi.org/10.1145/2384616.2384686openalex-snapshot
Open and efficient type switch for C++
inferred← citeshttps://doi.org/10.1145/24039.24040openalex-snapshot
IDL: sharing intermediate representations
inferred← citeshttps://doi.org/10.1145/24714.24727openalex-snapshot
Iteration and abstract data types
inferred← citeshttps://doi.org/10.1145/2491956.2462194openalex-snapshot
Reconciling exhaustive pattern matching with objects
inferred← citeshttps://doi.org/10.1145/263698.263720openalex-snapshot
Adding type parameterization to the Java language
inferred← citeshttps://doi.org/10.1145/2663171.2663183openalex-snapshot
Specification of generic APIs, or
inferred← citeshttps://doi.org/10.1145/268998.266669openalex-snapshot
A decentralized model for information flow control
inferred← citeshttps://doi.org/10.1145/2737924.2738008openalex-snapshot
Lightweight, flexible object-oriented generics
inferred← citeshttps://doi.org/10.1145/29873.30399openalex-snapshot
Algorithmic specifications: a constructive specification method for abstract data types
inferred← citeshttps://doi.org/10.1145/3133894openalex-snapshot
Familia: unifying interfaces, type classes, and family polymorphism
inferred← citeshttps://doi.org/10.1145/314602.314604openalex-snapshot
Dynamic typing for distributed programming in polymorphic languages
inferred← citeshttps://doi.org/10.1145/318593.318606openalex-snapshot
Abstract types have existential types
inferred← citeshttps://doi.org/10.1145/319838.319848openalex-snapshot
Integrating functional and imperative programming
inferred← citeshttps://doi.org/10.1145/323627.323645openalex-snapshot
The structuring of systems using upcalls
inferred← citeshttps://doi.org/10.1145/324422.324397openalex-snapshot
Viewing Ada from a process model perspective
inferred← citeshttps://doi.org/10.1145/3318.3319openalex-snapshot
Implementation of resilient, atomic data types
inferred← citeshttps://doi.org/10.1145/35037.42182openalex-snapshot
Fine-grained mobility in the Emerald system
inferred← citeshttps://doi.org/10.1145/357153.357157openalex-snapshot
The VAL Language: Description and Analysis
inferred← citeshttps://doi.org/10.1145/3592626.3592667openalex-snapshot
Linking in a Global Information Architecture
inferred← citeshttps://doi.org/10.1145/3689782openalex-snapshot
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
inferred← citeshttps://doi.org/10.1145/37499.37511openalex-snapshot
Fine-grained mobility in the emerald system
inferred← citeshttps://doi.org/10.1145/384281.808227openalex-snapshot
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
inferred← citeshttps://doi.org/10.1145/38765.38815openalex-snapshot
The Trellis programming environment
inferred← citeshttps://doi.org/10.1145/38765.38819openalex-snapshot
An information system based on distributed objects
inferred← citeshttps://doi.org/10.1145/38765.38831openalex-snapshot
Modules and type checking in PL/LL
inferred← citeshttps://doi.org/10.1145/390009.804470openalex-snapshot
Secure application environments in APL\3000
inferred← citeshttps://doi.org/10.1145/44501.45065openalex-snapshot
Abstract types have existential type
inferred← citeshttps://doi.org/10.1145/502874.502902openalex-snapshot
Type checking, separate compilation and reusability
inferred← citeshttps://doi.org/10.1145/503956.503970openalex-snapshot
Replication, reconfiguration, and the Argus mail repository
inferred← citeshttps://doi.org/10.1145/503956.504005openalex-snapshot
The Bugnet distributed debugging system
inferred← citeshttps://doi.org/10.1145/504282.504299openalex-snapshot
Modular mixin-based inheritance for application frameworks
inferred← citeshttps://doi.org/10.1145/512644.512659openalex-snapshot
Atomic data abstractions in a distributed collaborative editing system
inferred← citeshttps://doi.org/10.1145/512644.512669openalex-snapshot
Representation independence and data abstraction
inferred← citeshttps://doi.org/10.1145/5689.5691openalex-snapshot
Abstraction-based software development
inferred← citeshttps://doi.org/10.1145/57669.57670openalex-snapshot
The role of opaque types to build abstractions
inferred← citeshttps://doi.org/10.1145/586088.586093openalex-snapshot
Type-Safe linking with recursive DLLs and shared libraries
inferred← citeshttps://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferred← citeshttps://doi.org/10.1145/62070.45066openalex-snapshot
Types and persistence in database programming languages
inferred← citeshttps://doi.org/10.1145/62083.62098openalex-snapshot
A performance comparison of object and relational databases using the Sun Benchmark
inferred← citeshttps://doi.org/10.1145/62083.62099openalex-snapshot
Intensional concepts in an object database model
inferred← citeshttps://doi.org/10.1145/62083.62102openalex-snapshot
AVANCE: an object management system
inferred← citeshttps://doi.org/10.1145/62138.62141openalex-snapshot
Keynote address - data abstraction and hierarchy
inferred← citeshttps://doi.org/10.1145/62678.62721openalex-snapshot
Objects as closures: abstract semantics of object-oriented languages
inferred← citeshttps://doi.org/10.1145/68127.68130openalex-snapshot
XE design rationale: Clu revisited
inferred← citeshttps://doi.org/10.1145/68210.69228openalex-snapshot
Debugging of heterogeneous parallel systems
inferred← citeshttps://doi.org/10.1145/75277.75296openalex-snapshot
Dynamic typing in a statically-typed language
inferred← citeshttps://doi.org/10.1145/773379.806611openalex-snapshot
Resource management in a decentralized system
showing the first 200 of 254 · page through all 254
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.