Smalltalk
From MaRDI portal
Software:14267
swMATH1561MaRDI QIDQ14267FDOQ14267
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- On environment-driven software model for internetware
- Denotational semantics of an object-oriented programming language with explicit wrappers
- Reactive programming for interactive graphics
- Object oriented programming via Fortran 90
- Denotational semantics of a parallel object-oriented language
- A modest model of records, inheritance, and bounded quantification
- Title not available (Why is that?)
- Title not available (Why is that?)
- C++ lambda expressions and closures
- Title not available (Why is that?)
- CScout: a refactoring browser for C
- Lowest common ancestors in trees and directed acyclic graphs
- Title not available (Why is that?)
- Directly reflective meta-programming
- An object-oriented approach to structural analysis and design
- Reasoning and revision in hybrid representation systems
- A semantic object-oriented data access system
- Simple type-theoretic foundations for object-oriented programming
- Query languages for hierarchic databases
- Comparing object encodings.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fast and compact dispatching for dynamic object-oriented languages
- From modula to oberon
- Unanticipated integration of development tools using the classification model
- A semantics of multiple inheritance
- Efficient execution of pure object-oriented programs by follow-up compilation
- Objects and classes in Algol-like languages
- Title not available (Why is that?)
- Reasoning about dynamically evolving process structures
- Implementation strategies for first-class continuations
- Title not available (Why is that?)
- 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
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- Inheritance as implicit coercion
- Title not available (Why is that?)
- A science of operations. Machines, logic and the invention of programming.
- How to make OR-results available: A proposal for project scheduling
- Refinement, conformance and inheritance
- A meta-language for typed object-oriented languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Taligent MVP in interactive statistical graphics
- Core FOBS: A hybrid functional and object-oriented language
- On inner classes
- Title not available (Why is that?)
- An algebraic approach to formalization of object-orientation*
- Fighting bit rot with types (Experience report: Scala collections)
- Enforcing structural regularities in software using intensive
- Knowledge-based dialogue for dynamic systems
- Self and selftype
- The conical methodology and the evolution of simulation model development
- Object identity as a query language primitive
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- An object-oriented parallel programming language for distributed-memory parallel computing platforms
- Modular invariants for layered object structures
- Issues in the design of a parallel object-oriented language
- DyC: An expressive annotation-directed dynamic compiler for C
- Title not available (Why is that?)
- A delegation-based object calculus with subtyping
- Incremental algorithms for dispatching in dynamically typed languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- BIT: A very compact Scheme system for microcontrollers
- MudPie: layers in the ball of mud
- Title not available (Why is that?)
- A list processing language TAO with multiple programming paradigms
- On the role of memory in object-based and object-oriented languages
- Title not available (Why is that?)
- MULTILISP: a language for concurrent symbolic computation
- Tailorable language for behavioral composition and configuration of software components
- Software visualization. International seminar Dagstuhl Castle, Germany, May 20--25, 2001. Revised papers
- Efficient polymorphic calls
- An enhanced role model for alleviating the role-binding anomaly
- Multi-layer logic - a predicate logic including data structure as knowledge representation language
- Object-oriented Fortran 90 P-adaptive finite element method.
- New architectures for constructed complex systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An object-oriented semantic data model for CAD applications
- Title not available (Why is that?)
- A browser for incremental programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Denotational semantics of a simple model of Eiffel
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: Smalltalk