The following pages link to (Q3122689):
Displayed 27 items.
- Modular verification of multithreaded programs (Q557795) (← links)
- Simple and safe SQL queries with \texttt{C++} templates (Q608241) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- Types for access control (Q1575157) (← links)
- A type system for JVM threads (Q1853613) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Sound refactorings (Q2266944) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Using CafeOBJ to Mechanise Refactoring Proofs and Application (Q2870325) (← links)
- An Overview of CaesarJ (Q3634735) (← links)
- Timing constraints' optimization of reserved tasks in the distributed shop-floor scheduling (Q4405520) (← links)
- New trends in coupled simulations featuring domain decomposition and metacomputing (Q4423083) (← links)
- Java for high-performance network-based computing: a survey (Q4539923) (← links)
- THE EFFECTS OF VARYING PARAMETER VALUES AND HETEROGENEITY IN AN INDIVIDUAL-BASED MODEL OF PREDATOR-PREY INTERACTION (Q4671153) (← links)
- WEB INFORMATION MONITORING FOR COMPETITIVE INTELLIGENCE (Q4781421) (← links)
- Simulating multiple inheritance in Java (Q4790876) (← links)
- (Q4790905) (← links)
- The BLISS programming language: a history (Q4791023) (← links)
- DirectJ: Java APIs for optimized 2D graphics (Q4791116) (← links)
- Grids and Grid technologies for wide-area distributed computing (Q4791119) (← links)
- Using atomic await commands to develop concurrent programs in Java (Q4798473) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- Simple concurrent garbage collection almost without synchronization (Q5962117) (← links)