HOME

TheInfoList



OR:

TOPPS is a research group at Datalogisk institut, Copenhagen University (DIKU). TOPPS is an abbreviation of the
Danish Danish may refer to: * Something of, from, or related to the country of Denmark People * A national or citizen of Denmark, also called a "Dane," see Demographics of Denmark * Culture of Denmark * Danish people or Danes, people with a Danish ance ...
"Teori Og Praksis for ProgrammeringsSprog", which roughly translates into "Theory and practice of programming languages". The group web site states that they are a group of researchers with interest in "Semantics-based Program Analysis and Manipulation".


References

University of Copenhagen {{compu-scientist-stub