Titlebook: Objects, Models, Components, Patterns; 48th International C Jan Vitek Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 2010 Ja

fertilizer

Revisiting Parametric Types and Virtual Classes, it illustrates how virtual constraints and type refinements, as recently introduced in gbeta and ., enable structural treatment of virtual types; finally, it shows how a novel kind of dynamic type check can detect compatibility among entire families of classes.

Chivalrous

Moles: Tool-Assisted Environment Isolation with Closures,utomated test generation. In a case study, testing code programmed against the Microsoft SharePoint Foundation API, we achieved full code coverage while running tests in isolation without an actual SharePoint server. The Moles framework integrates with .NET and Visual Studio.

otic-capsule

Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks,h are triggered independently and are scattered throughout the application code. In this paper, we propose a number of language constructs that reconcile the elegant processing of events of a reactive programming system with the loose coupling of a publish/subscribe system that is required to cope with the dynamic nature of mobile ad hoc networks.

MINT

装入胶囊

单调性

攀登

Subjugate

https://doi.org/10.1007/978-3-642-13953-6Java; JavaScript; aspect-oriented programming; component-based programming; design; distributed object sy

发源

exclamation