Group: SRG_at_UCD - Tags

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   no-tag   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