Internationale Konferenz über funktionale Programmierung - International Conference on Functional Programming
Die ACM SIGPLAN International Conference on Functional Programming ( ICFP ) ist eine jährliche akademische Konferenz auf dem Gebiet der Informatik, die vom ACM SIGPLAN in Zusammenarbeit mit der IFIP- Arbeitsgruppe 2.8 (Functional Programming) gesponsert wird . Die Konferenz konzentriert sich auf funktionale Programmierung und verwandte Bereiche von Programmiersprachen , Logik , Compilern und Softwareentwicklung .
Das ICFP wurde erstmals 1996 abgehalten und ersetzte zwei alle zwei Jahre stattfindende Konferenzen: Funktionale Programmierung und Computerarchitektur ( FPCA ) sowie LISP und funktionale Programmierung ( LFP ). Der Konferenzort wechselt zwischen Europa (ungerade Jahre) und Nordamerika (gerade Jahre). Die Konferenz dauert in der Regel 3 Tage und ist von Workshops am selben Ort umgeben, die bestimmten Funktionssprachen oder Anwendungsbereichen gewidmet sind.
Das ICFP veranstaltet seit 1998 auch einen offenen jährlichen Programmierwettbewerb, den ICFP-Programmierwettbewerb .
Geschichte
- 2012: 17. Internationale ACM SIGPLAN-Konferenz über funktionale Programmierung in Kopenhagen , Dänemark (Generalvorsitzender: Peter Thiemann , Universität Freiburg ; Programmvorsitzender: Robby Findler , Northwestern University )
Verbundene Veranstaltungen
- Kommerzielle Benutzer der funktionalen Programmierung (CUFP)
- Erlang Workshop
- Haskell Symposium
- Funktionale und deklarative Programmierung in der Bildung (FDPE)
- Functional Programming Developer Tracks (DEFUN)
- MEchanisiertes Denken über Sprachen mit variablem Binden (MERLIN)
- Workshop zu Ansätzen und Anwendungen der induktiven Programmierung
- Workshop zu Curry und funktionaler Logikprogrammierung
- Workshop zur generischen Programmierung (WGP)
- Workshop zur Mechanisierung der Metatheorie (WMM)
- Workshop zu ML
- Workshop zu Schema und funktionaler Programmierung
- Programmiersprachen erfüllen die Programmüberprüfung (PLPV) - nur 2007, jetzt mit POPL verbunden
Siehe auch
- Verwandte Konferenzen
- FLOPS: Internationales Symposium für funktionale und logische Programmierung
- IFL: Internationale Symposien zur Implementierung und Anwendung funktionaler Sprachen
- ISMM: Internationales Symposium für Speicherverwaltung
- MPC: Internationale Konferenz über Mathematik der Programmkonstruktion
- PLDI: Design und Implementierung von Programmiersprachen
- POPL: Prinzipien von Programmiersprachen
- PPDP: Internationale Konferenz über Prinzipien und Praxis der deklarativen Programmierung
- TFP: Symposium über Trends in der funktionalen Programmierung
- TLCA: Internationale Konferenz über typisierte Lambda-Kalküle und Anwendungen
- TLDI: Internationaler Workshop zu Typen in der Sprachgestaltung und -implementierung
- SAS: Internationales Symposium für statische Analyse
- Verwandte Zeitschriften
- Zeitschrift für funktionale Programmierung
- Zeitschrift für funktionale und logische Programmierung
- Übergeordnete und symbolische Berechnung
- ACM-Transaktionen zu Programmiersprachen und -systemen
Externe Links
- ICFP-Hauptstandort
- ICFP 2008 Konferenz
- ICFP 2007 Konferenz
- ICFP 2006 Konferenz
- ICFP-Programmierwettbewerb
- Konferenz zur funktionalen Programmierung
 |
Dieser Artikel über formale Methoden ist ein Stummel . Sie können Wikipedia helfen, indem Sie es erweitern . |