keigoi's tags

abstractinterpretation alias ambient aspectoriented binary cache categorytheory causality chr codeduplication cognitive component comprehension concurrency concurrency-monad configurationmanagement context continuation continuationserver coq csp cyclone databasereverse dataflow deadlock denotationalsemantics dependency distributed domainspecific dsl duce embedded embeddedlanguage erlang escapeanalysis eventstructure expressiveness faulttolerance flowtype fullabstraction functionalprogramming fundeps genericprogramming gui haskell hoas immutable implementation iospec java lineartype location logicprogramming lowlevel maude memory metaprogramming modallogic modelchecking modeling modulesystem monad multilanguage network operatingsystem operationalsemantics p2p partialevaluation picalculus programanalysis programlogic programming proofcarrying refactoring refinement region reliability resourcebounds resourceusage reuse reverse rewritinglogic safe-c session slicing softwaredesign softwareengineering softwareprocess spreadsheet stm strictnessanalysis stringanalysis subtyping survey tile timedautomata trs type typeclass typedirected visualization webapplication web_verification workflowmanagement

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.