Sign in

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types.

Markus BachFlorian ForsterFriedrich Steimann
Published in: FASE (2007)
Keyphrases
  • special case
  • programming language
  • open source
  • multiple types
  • database
  • databases
  • neural network
  • information systems
  • general purpose
  • web applications
  • closely related
  • programming environment