registrieren | anmelden | FAQ

[?]

CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Recent | Recommended | Search | Authors | Tags | Export

Data groups: specifying the modification of extended state

Vol. 33, No. 10. (October 1998), pp. 144-153.

View FullText article

ACM, DOI

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

bec, kiniry, SRG_at_UCD (group)

Find related articles with these CiteULike tags

no-tag, oopsla98, verification

BibTeX record

RIS record

Group Tags

All tags in the group SRG_at_UCD

Filter:

abstract abstract_interpretation acquisition active adhoc-networks aggregation algebraic algorithms alias amusing aop aosd application applications applicative-functors approximation arrows associated-types automation autonomic aware based behavior biofeedback biometrics bluetooth build-systems bytecode caching calculi category category-theory certified-verifiers codata coercions combinatorics communication comonads compiler completeness complexity component composition computation computing conary concurrency concurrent configuration constructions context context-aware contexts contract contracts coq corba corecursion cryptography data data_structure decorators delegation dependent-types design design-patterns development diophantine distributed dsl dynamic dynamic-dispatch dynamic-languages eager epidemic-models epigram equivalence esc escjava event extensionality face fault-tolerance first-order-logic fixpoint formal formal-methods framework friday functional functional-state fundamental furniture gadts gaia game generic-programming gossiping goto graphics guide haskell hci higher-order-logic hoare hoas hol home hubs hybrid-type-checking ides immutability imperative implicit-context incremental incremental-computation information-placement inheritance intensional interconnection isabelle its java jml jmm jvm language language-design lazy learning locking logic make memory-models metaprogramming methods middleware mobile mobility model modelling models-as-programs modularity modules monadic-translators monads morphism morphisms multicast multimethods np object object-databases object-identity object-orientation object-oriented of ontology oop operating-systems optimization overlay-networks packaging parallel parsing partial-functions pcc pedagogy performance permutations pervycom physical platform polymorphism position predicate-dispatch process program proofs provers pseudocode publish publish-subscribe pvs random reactive reclassification recognition records recursion reference reification relative retina revision-control rewrite rewriting roles scan security self-management semantics semistructured sensor sensor-networks sensors sentient service-discovery simulating-language-features smart social software spaces specification specification-languages specifications specs static stick-e stm subscribe subtyping superposition survey synthesis system systems termination theory toolkits tools transactions transformation trees trusted-kernels type type-classes type-inference type-isomorphisms types typesetting type-theory ubiquitous universal verification vision wash wearable web widgets