Cited in
(only showing first 100 items - show all)- On environment-driven software model for internetware
- scientific article; zbMATH DE number 1951124 (Why is no real title available?)
- MULTILISP: a language for concurrent symbolic computation
- Denotational semantics of an object-oriented programming language with explicit wrappers
- Reactive programming for interactive graphics
- Tailorable language for behavioral composition and configuration of software components
- Software visualization. International seminar Dagstuhl Castle, Germany, May 20--25, 2001. Revised papers
- Denotational semantics of a parallel object-oriented language
- A modest model of records, inheritance, and bounded quantification
- Object oriented programming via Fortran 90
- scientific article; zbMATH DE number 1412986 (Why is no real title available?)
- Efficient polymorphic calls
- Multi-layer logic - a predicate logic including data structure as knowledge representation language
- scientific article; zbMATH DE number 4115919 (Why is no real title available?)
- An enhanced role model for alleviating the role-binding anomaly
- ProofWidgets
- Object-oriented Fortran 90 P-adaptive finite element method.
- New architectures for constructed complex systems
- C++ lambda expressions and closures
- CScout: a refactoring browser for C
- scientific article; zbMATH DE number 814793 (Why is no real title available?)
- A CuCh interpretation of an object-oriented language
- scientific article; zbMATH DE number 822579 (Why is no real title available?)
- scientific article; zbMATH DE number 43833 (Why is no real title available?)
- Lowest common ancestors in trees and directed acyclic graphs
- scientific article; zbMATH DE number 49147 (Why is no real title available?)
- scientific article; zbMATH DE number 49475 (Why is no real title available?)
- Directly reflective meta-programming
- scientific article; zbMATH DE number 804355 (Why is no real title available?)
- scientific article; zbMATH DE number 53091 (Why is no real title available?)
- A semantic object-oriented data access system
- scientific article; zbMATH DE number 1200754 (Why is no real title available?)
- Reasoning and revision in hybrid representation systems
- An object-oriented semantic data model for CAD applications
- An object-oriented approach to structural analysis and design
- Query languages for hierarchic databases
- scientific article; zbMATH DE number 4178814 (Why is no real title available?)
- Simple type-theoretic foundations for object-oriented programming
- Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- Numerical simulations of a nonlinear stochastic partial differential equation modeling phytoplankton aggregation
- A browser for incremental programming
- Comparing object encodings.
- Fast and compact dispatching for dynamic object-oriented languages
- scientific article; zbMATH DE number 1508929 (Why is no real title available?)
- scientific article; zbMATH DE number 604130 (Why is no real title available?)
- scientific article; zbMATH DE number 108285 (Why is no real title available?)
- scientific article; zbMATH DE number 108426 (Why is no real title available?)
- scientific article; zbMATH DE number 108548 (Why is no real title available?)
- Unanticipated integration of development tools using the classification model
- Denotational semantics of a simple model of Eiffel
- A semantics of multiple inheritance
- scientific article; zbMATH DE number 795689 (Why is no real title available?)
- scientific article; zbMATH DE number 1310935 (Why is no real title available?)
- Efficient execution of pure object-oriented programs by follow-up compilation
- From modula to oberon
- Objects and classes in Algol-like languages
- scientific article; zbMATH DE number 1324831 (Why is no real title available?)
- Reasoning about dynamically evolving process structures
- scientific article; zbMATH DE number 3936466 (Why is no real title available?)
- scientific article; zbMATH DE number 964529 (Why is no real title available?)
- scientific article; zbMATH DE number 964534 (Why is no real title available?)
- On simulation, subtyping and substitutability in sequential object systems
- Syntactic adaptability of programming languages
- scientific article; zbMATH DE number 760243 (Why is no real title available?)
- scientific article; zbMATH DE number 1350769 (Why is no real title available?)
- scientific article; zbMATH DE number 2080581 (Why is no real title available?)
- Implementation strategies for first-class continuations
- An operational semantics for object-oriented concepts based on the class hierarchy
- Design and evaluation of C++ open multi-methods
- Simple and safe SQL queries with \texttt{C++} templates
- scientific article; zbMATH DE number 52152 (Why is no real title available?)
- scientific article; zbMATH DE number 234022 (Why is no real title available?)
- Classboxes: controlling visibility of class extensions
- Uniform and safe metaclass composition
- scientific article; zbMATH DE number 1686271 (Why is no real title available?)
- scientific article; zbMATH DE number 791545 (Why is no real title available?)
- scientific article; zbMATH DE number 495016 (Why is no real title available?)
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- Specification and verification of object-oriented programs using supertype abstraction
- scientific article; zbMATH DE number 866635 (Why is no real title available?)
- Elkhound
- FC++
- Lambda Library C++
- DINDE
- SERB
- SIMSCRIPT
- FORMAC
- COBOL
- Modula
- Oberon
- ET++
- ParoC++
- GeoBench
- Ada95
- PROOF
- OBSCURE
- BETA
- CLOS
- POOL
This page was built for software: Smalltalk
