The following pages link to (Q3122694):
Displaying 50 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- An inheritance flow model for class hierarchy analysis (Q293289) (← links)
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- A scalable module system (Q391632) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- Regular languages viewed from a graph-theoretic perspective (Q515689) (← links)
- Statically safe program generation with SafeGen (Q532402) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- Mathematical context in interactive documents (Q626936) (← links)
- Thread algebra for poly-threading (Q640299) (← links)
- Machine structure oriented control code logic (Q731332) (← links)
- What is a sorting function? (Q843213) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- A platform-independent distributed runtime for standard multithreaded Java (Q853757) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Estimation of dynamical characteristics of a parallel program on a model (Q885854) (← links)
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- Compact and efficient strings for Java (Q988196) (← links)
- C++ lambda expressions and closures (Q988556) (← links)
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
- Mobile ambients (Q1575154) (← links)
- Recovering distributed objects (Q1607093) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Comparative performance evaluation of Java threads for embedded applications: Linux Thread vs. Green Thread. (Q1853143) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Specification languages in algebraic compilers (Q1853753) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- Type inference for variant object types (Q1854549) (← links)
- On inner classes (Q1854553) (← links)
- Program algebra with unit instruction operators (Q1858433) (← links)
- An attribute-grammar framework for specifying the accessibility in Java programs (Q1869984) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Improving type error messages for generic Java (Q1929365) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- Modeling and visualizing object-oriented programs with Codecharts (Q2248065) (← links)
- Program transformations for light-weight CPU accounting and control in the Java virtual machine (Q2271902) (← links)
- View-based propagator derivation (Q2342586) (← links)
- Some observations on LR-like parsing with delayed reduction (Q2380022) (← links)
- Productivity prediction of MPI programs based on models (Q2458064) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- A minimalist approach to objects (Q2568279) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)
