Intentional Programming

Intentional Programming

Intentionale Programmierung ist ein Programmierparadigma. Sie bezeichnet den Ansatz, vom herkömmlichen Quelltext als alleinige Spezifikation eines Programms abzurücken, um die Intentionen des Programmierers durch eine Vielfalt von jeweils geeigneten Spezifikationsmöglichkeiten in besserer Weise auszudrücken. Die Intentionale Programmierung befindet sich noch in Entwicklung, basierend auf Ideen von Charles Simonyi.

Insbesondere auch die traditionellen, in der Regel sehr ausgereiften Notationen diverser Problemdomänen (z. B. mathematische Formeln, Notenschrift, chemische Strukturformeln, Schaltungssymbole etc.) sollen verwendbar sein.

Die Unzulänglichkeit, einen komplizierten Sachverhalt lediglich mit einer einzigen Darstellung zu erfassen, ist nichts Ungewöhnliches. Z. B. in der Differentialgeometrie versucht man Mannigfaltigkeiten zu beschreiben. Eine Kugel kann nicht in allen Aspekten gut auf eine einzige zweidimensionale Karte projiziert werden. Man muss mehrere Karten anfertigen (einen Atlas), die jeweils nur Teilaspekte erfassen.

Es gibt derzeit keine Implementation einer intentionalen Programmiersprache.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Intentional programming — In computer programming, intentional programming is a collection of concepts which enable software source code to reflect the precise information, called intention , which programmers had in mind when conceiving their work. By closely matching… …   Wikipedia

  • Intentional Software — is a software company founded by Charles Simonyi. It focuses on developing software tools that pass on control over functionality to the users, [cite book |title=Jump the Curve |last=Uldrich |first=Jack |year=2008 |publisher=Adams Media… …   Wikipedia

  • Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu …   Wikipedia

  • Programming in the large and programming in the small — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computin …   Wikipedia

  • Language-oriented programming — is a style of computer programming, via metaprogramming in which, rather than solving problems in general purpose programming languages, the programmer creates one or more domain specific programming languages for the problem first, and solves… …   Wikipedia

  • Literate programming — is a philosophy of computer programming based on the premise that a computer program should be written similar to literature, with human readability as a primary goal. According to this philosophy, programmers should aim for a ldquo;literate… …   Wikipedia

  • Automatic programming — In computer science, the term automatic programming [Ricardo Aler Mur, [http://et.evannai.inf.uc3m.es/icml06/aiptutorial.htm Automatic Inductive Programming] , ICML 2006 Tutorial . June 2006.] identifies a type of computer programming in which… …   Wikipedia

  • Concept programming — is a programming paradigm focusing on how concepts, that live in the programmer s head, translate into representations that are found in the code space. This approach was introduced in 2001 by Christophe de Dinechin with the XL Programming… …   Wikipedia

  • Semantic-oriented programming — (SOP) in which you express your code directly in semantic meanings, most suitable to reflect your task. This means, that for each task you may need to add new semantic meanings, thus you ll need an extendable and configurable programming language …   Wikipedia

  • Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”