Als «pl.programming-languages» getaggte Fragen

Insbesondere Programmiersprachen, die sich auf ihre Semantik konzentrieren.

7
Feste Anwendungen der Kategorietheorie in TCS?
Ich habe ein paar Teile der Kategorietheorie gelernt. Es ist sicherlich eine andere Sichtweise. (Sehr grobe Zusammenfassung für diejenigen, die es nicht gesehen haben: Die Kategorietheorie bietet die Möglichkeit, alle Arten von mathematischem Verhalten ausschließlich in Bezug auf funktionale Beziehungen zwischen Objekten auszudrücken. Beispielsweise werden Dinge wie das kartesische Produkt …
7
Welche interessanten Sätze in TCS stützen sich auf das Axiom of Choice? (Oder alternativ das Axiom of Determinacy?)
Mathematiker sorgen sich manchmal um das Axiom of Choice (AC) und das Axiom of Determinancy (AD). Axiom of Choice : Bei einer gegebenen Sammlung nicht leerer Mengen gibt es eine Funktion f , die bei gegebener Menge S in C ein Mitglied von S zurückgibt .CC{\cal C}fffSSSCC{\cal C}SSS Axiom of …
12
Was ist die theoretische Grundlage der imperativen Programmierung?
Die funktionale Programmierung hat eine theoretische Grundlage in der Lambda-Rechnung und der kombinatorischen Logik . Als jemand, der sich mit statistischem Rechnen beschäftigt, finde ich diese Konzepte sehr nützlich für die Modellierung. Gibt es eine äquivalente mathematische Grundlage für die imperative Programmierung , oder ist sie einfach aus der praktischen …
7
Was macht die Denotationssemantik aus?
In einem anderen Thread definierte Andrej Bauer die Denotationssemantik als: Die Bedeutung eines Programms hängt von der Bedeutung seiner Teile ab. Was mich an dieser Definition stört, ist, dass sie scheinbar nicht das heraushebt, was gemeinhin als Denotationssemantik von dem, was gemeinhin als Nicht-Denotationssemantik angesehen wird, nämlich strukturelle Operationssemantik . …
7
Was wissen wir über nachweislich korrekte Programme?
Die ständig zunehmende Komplexität von Computerprogrammen und die immer wichtigere Position von Computern in unserer Gesellschaft lassen mich fragen, warum wir immer noch keine Programmiersprachen gemeinsam verwenden, in denen Sie einen formalen Nachweis erbringen müssen, dass Ihr Code ordnungsgemäß funktioniert. Ich glaube, der Begriff ist ein "zertifizierender Compiler" (ich habe …
6
Reguläre Ausdrücke sind es nicht
Fragen Sie sogar jemanden mit einem Hintergrund in der Informatik, was ein regulärer Ausdruck ist, und die Antwort geht wahrscheinlich über die Beschränkung hinaus, in Reichweite eines Automaten mit endlichen Zuständen zu sein. Zum Beispiel der "reguläre Ausdruck" /^1?$|^(11+?)\1+$/ Erstellt von der bekannten Perl-Persönlichkeit Abigail (und Teil von Perls Testsuite …
3
Typklassen vs Objektschnittstellen
Ich glaube nicht, dass ich Typenklassen verstehe. Ich habe irgendwo gelesen, dass es falsch und irreführend ist, sich Typklassen als "Interfaces" (von OO) vorzustellen, die ein Typ implementiert. Das Problem ist, ich habe ein Problem damit, sie als etwas anderes zu sehen und wie das falsch ist. Wenn ich zum …
4
Forschung und offene Herausforderungen in der Theorie der Programmiersprache
Im Geiste einiger allgemeiner Diskussionen wie dieser eröffne ich diesen Thread mit der Absicht, Meinungen zu den offenen Herausforderungen und aktuellen Themen der Programmiersprachenforschung zu sammeln . Ich hoffe, dass die Diskussion sogar Meinungen über die Zukunft der Forschung in Programmiersprachen zum Vorschein bringt. Ich glaube, dass diese Art der …
5
Programmiersprachen für eine effiziente Berechnung
Es ist unmöglich, eine Programmiersprache zu schreiben, die alle Maschinen zulässt, die an allen Eingaben anhalten, und keine anderen. Es scheint jedoch einfach zu sein, eine solche Programmiersprache für jede Standardkomplexitätsklasse zu definieren. Insbesondere können wir eine Sprache definieren, in der wir alle effizienten Berechnungen und nur effiziente Berechnungen ausdrücken …
4
Beziehung zwischen Verträgen und abhängiger Eingabe
Ich habe einige Artikel über abhängige Typen und Programmierverträge gelesen. Aus der Mehrzahl der von mir gelesenen Artikel geht hervor, dass Verträge dynamisch überprüft werden und abhängige Typen statisch überprüft werden. Es gab einige Papiere, die mich glauben ließen, dass es möglich ist, Verträge zu haben, die teilweise statisch überprüft …
4
Was sind die Unterschiede zwischen logischen Beziehungen und Simulationen?
Ich bin Anfänger und arbeite an Methoden zum Nachweis der Programmäquivalenz. Ich habe einige Artikel über das Definieren logischer Beziehungen oder Simulationen gelesen, um zu beweisen, dass zwei Programme gleichwertig sind. Aber ich bin ziemlich verwirrt über diese beiden Techniken. Ich weiß nur, dass logische Beziehungen induktiv definiert werden, während …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.