Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Tailorable language for behavioral composition and configuration of software components: Label: en
A minimalist approach to objects: Label: en
Orthogonal parallel processing in Vector Pascal: Label: en
A point based model of the Gregorian calendar: Label: en
Co-evolving code and design with intensional views: a case study: Label: en
Runtime bytecode transformation for Smalltalk: Label: en
Inter-language reflection: a conceptual model and its implementation: Label: en
Open aspects: Label: en
The Green language: Label: en
Access enhancement objects for data management in Smalltalk: Label: en
Uniform and safe metaclass composition: Label: en
Classboxes: controlling visibility of class extensions: Label: en
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming: Label: en
Incremental programming language development: Label: en
Extending movilog for supporting web services: Label: en
Parallel resource co-allocation for the computational grid: Label: en
A generic, formal language-based methodology for hierarchical floorplanning-placement: Label: en
PPL: A whole-image processing language: Label: en
Mechanisms for improved covariant type-checking: Label: en
Refinement of worst-case execution time bounds by graph pruning: Label: en
Bounded memory protocols: Label: en
A sparse evaluation technique for detailed semantic analyses: Label: en
Noninterference in a predicative polymorphic calculus for access control: Label: en
Reconciling method overloading and dynamically typed scripting languages: Label: en
Dependent vector types for data structuring in multirate Faust: Label: en
Memory-optimal evaluation of expression trees involving large objects: Label: en
Widening and narrowing operators for abstract interpretation: Label: en
Verifying pointer and string analyses with region type systems: Label: en
A browser for incremental programming: Label: en
Unanticipated integration of development tools using the classification model: Label: en
Safe metaclass composition using mixin-based inheritance: Label: en
MudPie: layers in the ball of mud: Label: en
Verifying persistent security properties: Label: en
Nesting analysis of mobile ambients: Label: en
Reasoning about layered message passing systems: Label: en
Model checking and abstraction to the aid of parameterized systems (a survey): Label: en
Employing symmetry reductions in model checking: Label: en
Unified selection from lists, arrays, and objects.: Label: en
On the applicability of the longest-match rule in lexical analysis.: Label: en
A study of dynamic memory management in C++ programs.: Label: en
An attribute-grammar framework for specifying the accessibility in Java programs: Label: en
An optimal data structure to handle dynamic environments in non-deterministic computations: Label: en
ALua: Flexibility for parallel programming: Label: en
Distributed call-tracking for security: Label: en
Security boundaries in mobile ambients: Label: en
Behavioural typing for safe ambients: Label: en
Orderly communication in the ambient calculus.: Label: en
Information flow for Algol-like languages: Label: en
Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9--11, 2003.: Label: en
A type system for static and dynamic checking of C++ pointers: Label: en