Skip to main content
Springer Nature Link
Log in

Anwendungen Constraint basierter Programmierung

  • Conference paper
Informatik ’97 Informatik als Innovationsmotor

Part of the book series: Informatik aktuell ((INFORMAT))

  • 185 Accesses

Zusammenfassung

Die constraintbasierte Programmierung ist für viele eine der spannendsten Entwicklungen in der Computeranwendung in den letzten zehn Jahren. Dieses junge Gebiet hat von Anfang an in Forschung und Praxis gleichermaßen für Aktivität gesorgt. Kein Wunder, daß sich damit Forscher begeistern und ebenso Millionen verdienen lassen — handelt es sich bei der Constrainttechnologie doch um eine allgemeine Methode für elegantes, effektives, deklaratives Problemlösen mit höheren Programmiersprachen.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. F. Benhamou and A. Colmerauer, editors.Constraint Logic Programming: Selected Research. MIT Press, Cambridge, MA, USA, 1993.

    MATH  Google Scholar 

  2. E. C. Freuder, editor.Second International Conference on Principles and Practice of Constraint ProgrammingCP’96. Springer LNCS 1118, August 1996.

    Google Scholar 

  3. T. Frühwirth. Constraint handling rules. In A. Podelski, editor,Constraint Programming: Basics and Trends, LNCS 910. Springer-Verlag, March 1995.

    Google Scholar 

  4. T. Frühwirth and S. Abdennadher.Cons traint-Programmierung. Springer Verlag, Heidelberg, September 1997.

    Book  Google Scholar 

  5. T. Fruhwirth and S. Abdennadher. Der Mietspiegel im Internet: Ein Fall fur Constraint- Logikprogrammierung. KI 1/97,Themenheft Constraints, April 1997.

    Google Scholar 

  6. D. Q. Goldin and P. C. Kanellakis. Constraint query algebras.Constraints Journal, 1 (1+2): 45 – 83, September 1996.

    Article  MathSciNet  Google Scholar 

  7. P. Van Hentenryck and V.J. Saraswat.Principles and Practice of Constraint Programming. MIT Press, Cambridge, MA, USA, April 1995.

    Google Scholar 

  8. M. Höhfeld and G. Smolka. Definite relations over constraint languages. LILOG Report 53, IWBS, IBM, Stuttgart, Germany, October 1988.

    Google Scholar 

  9. P. Brisset J.-R. Molwitz and T. Frühwirth. Planning cordless business communication systems. InIEEE Expert Magazine, Special Track on Intelligent Telecommunications, January 1996.

    Google Scholar 

  10. J. Jaffar and J. L. Lassez. Constraint logic programming. InProceedings of the14th ACM Symposium on Principles of Programming Languages PCPL-87, Munich, Germany, pages 111–119, 1987.

    Google Scholar 

  11. J. Jaffar and M. J. Maher. Constraint logic programming: A survey.Journal of Logic Programming, 20: 503 – 581, 1994.

    Article  MathSciNet  Google Scholar 

  12. M. J. Maher. Logic semantics for a class of committed-choice programs. In J.L. Lassez, editor,Proceedings of the Fourth International Conference on Logic Programming, pages 858 - 876. MIT Press, May 1987.

    Google Scholar 

  13. V.A. Saraswat. ConcurrentConstraint Programming. MIT Press, 1993.

    Google Scholar 

  14. L. Sterling and E. Shapiro.The Art of Prolog. MIT Press, 1994.

    Google Scholar 

  15. P. van Hentenryck, H. Simonis, and M. Dincbas. Constraint satisfaction using constraint logic programming.Artificial Intelligence, 58 (1–3): 113 – 159, 1992.

    Article  MathSciNet  MATH  Google Scholar 

  16. M. Wallace. Practical applications of constraint programming.Constraints Journal, 1(1,2):139–168, September 1996. Kluwer Academic Publishers.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität (LMU), Oettingenstraße 67, 80538, München, Germany

    Thom Frühwirth & Slim Abdennadher

Authors
  1. Thom Frühwirth
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Slim Abdennadher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl für Informatik V, RWTH Aachen, D-52056, Aachen, Germany

    Matthias Jarke  & Klaus Pohl  & 

  2. Philips GmbH Forschungslaboratorien, Weißhausstr. 2, D-52066, Aachen, Germany

    Klaus Pasedach

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Frühwirth, T., Abdennadher, S. (1997). Anwendungen Constraint basierter Programmierung. In: Jarke, M., Pasedach, K., Pohl, K. (eds) Informatik ’97 Informatik als Innovationsmotor. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-60831-5_40

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63066-1

  • Online ISBN: 978-3-642-60831-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics