DOCSLIB.ORG

Jonctionsgen

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Jonctionsgen DEF>VJ9 publication 17-10-2006 17:35 Pagina 1 9 9 Ver- 9 bindin- Jonctionsgen 9 DEF>VJ9 publication 17-10-2006 17:35 Pagina 2 57 The Language of Sharing Deeltaal Protocoles d’échanges 1113 Stitch and Split / Selves and territories in Science Fiction Stitch and Split / Lichamen en Lokaties in Science Fiction Stitch and Split / Identités et Territoires dans la Science Fiction Simon Pope 1517 Charade elpueblodechina 1921 elpicoroco Ronald Patterson 3436 Klingon Klingon Klingon An Mertens 3840 Over spelen Claudia Borges 5355 Language ID 5658 Espace Citoyen Espace Citoyen Espace Citoyen Julia Lee Barclay 5860 Cutting it up 6365 (Ir)regular Expressions Onregelmatige uitdrukkingen Expressions (Ir)rationelles AGF 6668 Liniendicke Vincent Vandeghinste 7072 Perl Perl Perl Mario Campanella 74 Chatbots Chatbots Chatbots tatibrazil 7776 Menopausal chatbot Jacques Jouet 8587 Poèmes de métro Harrisson, Sarah Infanger, Filiep Tacq, Richard Vijgen 92 The Future Book TheFuture Book in- Femke Snelting 9394 Same Content, Different Message content 101109 Regional dialectics Regionale Dialektiek Dialectiques régionales houd Wendy Van Wynsberghe 104112 Yes or No Ja of Nee Stephane Quertimont 110118 Walo+ Gazète Walo+ GazèteWalo+ Gazète index 114122 Jabbeke Jabbeke Lucas Catherine 116124 Tintin and the Arabs Kuifje en de Arabieren 119127 The Dictionary of Languages Taalwoordenboek Le Dictionnaire des Langages 126134 Translating in Europe Vertalen in Europa Traduire en Europe Alecky Blythe & Jason Barnett 129137 I only came here for six months Ionly came here for six months I only came here for six months 131139 Brave new words Dappere nieuwe woorden Les meilleurs des mots Jamal Boukhriss 135143 Alleentegen de wereld Patricia Niedzwicki 139147 La langue au féminin Bambi Ceuppens 141149 Marc benoemt ’s morgens de dingen Peter Westenberg 152160 TussenQuadriga en Taalcorrectie Graham Harwood 164173 Netmonster 170178 V/J9 Bus V/J9 BusV/J9 Bus Marijs Boulogne & An Mertens 172180 Woordspelen Woordspelen Woordspelen Kris Rutten 180188 Situated Meaning 190191 Colophon DEF>VJ9 publication 17-10-2006 17:35 Pagina 4 Verbindingen 9 introduction The Language introductie V/J9 of SharingDeel- 5 Protocolestaal d’échanges introduction Jonctions 9 DEF>VJ9 publication 17-10-2006 17:35 Pagina 6 Introductie Introduction Verbindingen/Jonctions 9 vond plaats van 24 tot 28 Verbindingen/Jonctions 9 took place from 24 november 2005 in Brussel, until 28 November 2005 between Brussels, Luik en Antwerpen. V/J9 Liège and Antwerp. To contribute to a critical stelde een kritische inter- reading of language, memory and exchange pretatie voor van taal, ge- as underlying structures and applications of heugen en uitwisseling, de digital media, V/J9 considered language and fundamentele elementen memory as instruments for sharing contents van digitale media. Omdat and free exchange of information, instead of deze onderliggende struc- accepting them as unchangeable entities. We turen en toepassingen maar were curious about language and code as al tevaak als onveranderlijke means to express multiplicity; we wanted to entiteiten geaccepteerd find out how dialects, pidgin and slang could worden, vatten we taal en act as cultural bridges. geheugen op als instru- menten voor het uitwisselen We took the words ‘jonctions’ and ‘verbin- van inhouden en voor de dingen’ literally, and made connections be- vrije distributie van infor- tween places and languages in our own matie. We waren nieuws- country. If we are crossing linguistic borders gierig naar taal en code als V/J9 between fellow citizens speaking Bruxellois, V/J9 6 methodes om uitdrukking 7 Walloon, English, French, Dutch, West-Vlaams te geven aan meervoudig- La 9e édition du festival Verbindingen/Jonctions heid en naar hoe dialecten, a eu lieu du 24 au 27 novembre. Sous le titre straattaal en verbasteringen ‘Protocoles d’échanges’, ce festival a abordé les als culturele bruggen kun- thèmes du langage, de la mémoire et de l’échange. nen functioneren. Ces ‘Protocoles d’échanges’ sont l’occasion de considérer les langages informatiques, les langues We namen het woord ancestrales, les monuments historiques comme ‘verbindingen’ letterlijk, en des lieux d’expérimentation. Et proposent de legden relaties leggen tussen retrouver dans ces pratiques des possibilités plaatsen en talen in ons eigen d’échanges et de transmissions plus libres et plus land. Als we taalgrenzen complexes. Ce fut l’occasion aussi de prendre overschrijden tussen mede- au pied de la lettre les mots ‘jonctions’ et ‘ver- burgersdie Brussels, Waals, bindingen’, et d’établir des connexions entre Engels, Frans, Nederlands, les lieux et les langues dans notre propre pays. Si West-Vlaams of Marrokaans nous traversions les frontières linguistiques entre spreken, overschrijden we nos compatriotes parlant bruxellois, wallon, ook grenzen tussen fictie en anglais, français, néerlandais, west-vlaams ou een surrealistische toepas- marocain, nous franchissions aussi les frontières sing van taal; zo surrealistisch entre la fiction et une pratique surréaliste du als een ‘cadavre exquis’; taal Introduction DEF>VJ9 publication 17-10-2006 17:35 Pagina 8 als een compilatie van Weerspiegelen onze talen hybride constructies en ‘queer’ zaken of zijn ze enkel deconstructies. or Moroccan, we are also crossing borders When computers exchange information, uitdrukkingsvormen van between fiction and a surrealist practice of memory, ghosts... can they learn from our patriarchaal dictatorschap? Zijn onze talen levende language; as surrealist as an exquisite corpse; vernacular, fictive, embodied practices in a Kunnen we van computer- doden of cyborgs? Geven ze language as a compilation of hybrid construc- future that makes them look ubiquitous? Can talen het vermogen over- ons manieren om de toe- tions and deconstructions. we feed their protocols and legislation with nemen om onszelf te ontwik- komst te bedenken van hoe our complexity in terms of gender, race, geo- kelen door te leren van hoe en wat we zullen spreken? Are our languages like walking dead or cy- graphy? Are our languages reflecting a queer iets gebruikt wordt en waar Kunnen we onze toekomst borgs? Do they provide us with a way to think deal or are they expressions of patriarchal het fout gaat? formuleren door voorouder- the future of how and what we will be speak- dictatorship? Can we learn from certain com- lijkedialecten te herschrijven, ing? Can we rewrite ancestral dialects, re- puter languages the ability to evolve accord- V/J9 nodigde antropologen, monumenten te herbouwen build monuments, discover new paths into ing to uses and mistakes? Klingon-docenten, geluids- en nieuwe paden te vinden our own cities and histories in order to change en stemperformers, verta- door onze steden en geschie- the future? Can we use our body languages V/J9 invited anthropologists, Klingon teachers, lers, Perl-programeurs, denissen? Als onze geheu- and voices as a remedies to remember, when sound and voice performers, translators, perl vrouwelijke chatbots, lin- gens het risico lopen te our memories risk to be crashed by an over- programmers, female chat bots, linguists, guisten, vredesactivisten, crashen doordat ze overbe- load of information and/or copyright surveil- peace activists, net artists, West-Vlaams wiki- net-kunstenaars, West- last worden door informatie lance? Let’s try to write without electronic pedians, linguists, oulipo poets, walking artists Vlaamse wikipedianten, en copyright-controle, kun- devices. Let’s try walking, shouting, singing. to talk to each other, and to talk with you. oulipo-poeten en wandel- V/J9 Let’s try to communicate without knowing V/J9 8 nen we onze lichaamstaal artiesten uit om in gesprek 9 en stemmen gebruiken als each others’ language. te gaan; met elkaar, en met u. remedie om te herinneren? langage, tel un cadavre exquis, une langue, de nos pratiques vernaculaires, fictives et corpo- Laten we proberen te schrij- compilation de constructions hybrides et de relles dans un futur fait d’ubiquité? Pouvons- ven zonder electronische déconstructions. nous nourrir leurs protocoles et leurs lois de notre apparaten. Laten we lopen, complexité de genre, race, géographie? Mais schreeuwen, zingen. Laten Nos langages sont-ils des morts-vivants ou des nos langages sont-ils un reflet d’une négociation we proberen te communi- cyber organismes? Nous donnent-ils les moyens ‘queer’ ou d’une dictature patriarcale? Et nous, ceren zonder elkaars taal te de penser le futur de comment et de quoi nous pouvons-nous apprendre de certains langages kennen. Kunnen computers parlerons? Pouvons-nous réécrire les dialectes informatiques une habileté à évoluer selon nos leren van onze alledaagse, ancestraux, rénover les monuments, découvrir erreurs et nos usages? fictieve, belichaamde prak- de nouveaux parcours dans nos villes et nos tijken om informatie, ge- histoires dans le but d’écrire le futur? Pouvons- V/J9 fut le lieu de passage d’anthropologistes, heugen, en geesten uit te nous utiliser nos corps et nos voix comme derniers de professeurs de klingon, de performeurs de wisselen in een toekomst lieux de souvenirs alors que notre mémoire sons et de voix, de traducteurs/trices, de pro- waarin ze onzichtbaar lijken risque d’imploser par surcharge ou sous le poids grammeurs/euses perl, de chat bot, de linguistes, te zijn geworden? Kunnen du copyright? Et si nous écrivions sans interface d’activistes de la paix, d’artistes du net, de poètes we hun protocollen en voor- électronique? Et si nous communiquions sans oulipo, d’artistes marchant. schriften voeden
Load more

Recommended publications
  • Docworks PDF 600
    Minimax estimation in regression and random censorship models Citation for published version (APA): Belitser, E. N. (2000). Minimax estimation in regression and random censorship models. (CWI tracts; Vol. 127). Centrum voor Wiskunde en Informatica. Document status and date: Published: 01/01/2000 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]
  • Writing Cybersecurity Job Descriptions for the Greatest Impact
    Writing Cybersecurity Job Descriptions for the Greatest Impact Keith T. Hall U.S. Department of Homeland Security Welcome Writing Cybersecurity Job Descriptions for the Greatest Impact Disclaimers and Caveats • Content Not Officially Adopted. The content of this briefing is mine personally and does not reflect any position or policy of the United States Government (USG) or of the Department of Homeland Security. • Note on Terminology. Will use USG terminology in this brief (but generally translatable towards Private Sector equivalents) • Job Description Usage. For the purposes of this presentation only, the Job Description for the Position Description (PD) is used synonymously with the Job Opportunity Announcement (JOA). Although there are potential differences, it is not material to the concepts presented today. 3 Key Definitions and Concepts (1 of 2) • What do you want the person to do? • Major Duties and Responsibilities. “A statement of the important, regular, and recurring duties and responsibilities assigned to the position” SOURCE: https://www.opm.gov/policy-data- oversight/classification-qualifications/classifying-general-schedule-positions/classifierhandbook.pdf • Major vs. Minor Duties. “Major duties are those that represent the primary reason for the position's existence, and which govern the qualification requirements. Typically, they occupy most of the employee's time. Minor duties generally occupy a small portion of time, are not the primary purpose for which the position was established, and do not determine qualification requirements” SOURCE: https://www.opm.gov/policy-data- oversight/classification-qualifications/classifying-general-schedule-positions/positionclassificationintro.pdf • Tasks. “Activities an employee performs on a regular basis in order to carry out the functions of the job.” SOURCE: https://www.opm.gov/policy-data-oversight/assessment-and-selection/job-analysis/job_analysis_presentation.pdf 4 Key Definitions and Concepts (2 of 2) • What do you want to see on resumes that qualifies them to do this work? • Competency.
    [Show full text]
  • Comparative Programming Languages CM20253
    We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily
    [Show full text]
  • List of Programming Languages
    List of programming languages The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in alphabetical order. Dialects of BASIC, esoteric programming languages, and markup languages are not included. 0–9ABCDEFGHIJKLMNOPQRSTUVWXYZ Contents: See also A A.NET ALGOL W A-0 System Alice A+ Alma-0 ABAP AmbientTalk ABC Amiga E ABC ALGOL AMOS ACC AMPL Accent AngelScript Ace DASL (Distributed Application Apache Pig latin Specification Language) Apex Action! APL ActionScript App Inventor for Android's visual block Actor language Ada AppleScript Adenine APT Agda Arc Agilent VEE ARexx Agora Argus AIMMS Assembly language Aldor AutoHotkey Alef AutoIt ALF AutoLISP / Visual LISP ALGOL 58 Averest ALGOL 60 AWK ALGOL 68 Axum B B BASIC Babbage Batch file (Windows/MS-DOS) Ballerina bc Bash BCPL BeanShell BlooP Bertrand Boo BETA Boomerang BLISS Bosque Blockly C C – ISO/IEC 9899 CLU C-- (C minus minus) CMS-2 C++ (C plus plus) – ISO/IEC 14882 COBOL – ISO/IEC 1989 C* CobolScript – COBOL Scripting language C# (C sharp) – ISO/IEC 23270 Cobra C/AL CoffeeScript Caché ObjectScript ColdFusion C Shell (csh) COMAL Caml Combined Programming Language (CPL) Cayenne COMIT CDuce Common Intermediate Language (CIL) Cecil Common Lisp (also known as CL) Cesil COMPASS Céu Component Pascal Ceylon Constraint Handling Rules (CHR) CFEngine COMTRAN Cg Cool Ch Coq Chapel Coral 66 Charm CorVision CHILL COWSEL CHIP-8 CPL chomski Cryptol ChucK Crystal Cilk Csound CL (IBM) Cuneiform Claire Curl
    [Show full text]
  • Docworks PDF 600
    P!l)_n.ted a.t .the Mathematic.al Cen.tJie, 413 K/f./.JMlaan, Am6.te.Jtdam. The Mathematic.al Cen.tJie , 6011.nded .the 11-.th 06 Feb'1.U1V1.IJ 1946, ,u., a non­ p!W 6U w:Ut.u.:tio n aJm.ing a.t .the pJWmo:Uo n o 6 pwr.e ma.the.ma:Ue!i and ill., appUc.ationJ.,. 1.t ,u., -6poY11.>01Led by .the Ne.the.Jtland6 Gove.Jtnmen.t .th!Wu.gh .the Ne..the.Jtland6 O!Lganiza:Uon 6DIL .the Advanc.e.men.t 06 PUILe Re-6e.a!Lc.h {Z.W.0.). MATHEMATICAL CENTRE TRACTS 134 PROCEEDINGS INTERNATIONAL CONFERENCE ON ALGOL 68 J.C. van VLIET (ed.) H. WUPPER (ed.) RECHENZENTRUM DER RUHR-UNIVERSITAT BOCHUM, BRD, MARCH 30-31, 1981 MATHEMATISCH CENTRUM AMSTERDAM 1981 1980 Mathematics·subjectclassification: 68-06,68B10,68B20 Co~uting Reviews: 4.22,1.52,4.34,4.12,5.23 l. INTRODUCTION "What can we do with ALGOL 68?" is the question raised by the chairman of the Standing Subcommittee on ALGOL 68 Support in the first contribution to this conference. The three main topics of the conference suggest three possible answers to this question: one can teach the language, implement it, and apply it. The papers collected in these proceedings deal with various aspects of teaching, implementation, and applications. They do not attempt to fully answer the question of what can be done, but they hopefully will provide some useful pieces of information, both to those who want to learn more about the,language, and to those who are actually involved in problems in the areas addressed.
    [Show full text]
  • (Pdf) of the School of Squiggol: a History of the Bird−Meertens
    The School of Squiggol A History of the Bird{Meertens Formalism Jeremy Gibbons University of Oxford Abstract. The Bird{Meertens Formalism, colloquially known as \Squig- gol", is a calculus for program transformation by equational reasoning in a function style, developed by Richard Bird and Lambert Meertens and other members of IFIP Working Group 2.1 for about two decades from the mid 1970s. One particular characteristic of the development of the Formalism is fluctuating emphasis on novel `squiggly' notation: sometimes favouring notational exploration in the quest for conciseness and precision, and sometimes reverting to simpler and more rigid nota- tional conventions in the interests of accessibility. This paper explores that historical ebb and flow. 1 Introduction In 1962, IFIP formed Working Group 2.1 to design a successor to the seminal algorithmic language Algol 60 [4]. WG2.1 eventually produced the specification for Algol 68 [63, 64]|a sophisticated language, presented using an elaborate two- level description notation, which received a mixed reception. WG2.1 continues to this day; technically, it retains responsibility for the Algol languages, but practi- cally it takes on a broader remit under the current name Algorithmic Languages and Calculi. Over the years, the Group has been through periods of focus and periods of diversity. But after the Algol 68 project, the period of sharpest focus covered the two decades from the mid 1970s to the early 1990s, when what later became known as the Bird{Meertens Formalism (BMF) drew the whole group together again. It is the story of those years that is the subject of this paper.
    [Show full text]
  • Topics in Programming Languages, a Philosophical Analysis Through the Case of Prolog
    i Topics in Programming Languages, a Philosophical Analysis through the case of Prolog Luís Homem Universidad de Salamanca Facultad de Filosofia A thesis submitted for the degree of Doctor en Lógica y Filosofía de la Ciencia Salamanca 2018 ii This thesis is dedicated to family and friends iii Acknowledgements I am very grateful for having had the opportunity to attend classes with all the Epimenides Program Professors: Dr.o Alejandro Sobrino, Dr.o Alfredo Burrieza, Dr.o Ángel Nepomuceno, Dr.a Concepción Martínez, Dr.o Enrique Alonso, Dr.o Huberto Marraud, Dr.a María Manzano, Dr.o José Miguel Sagüillo, and Dr.o Juan Luis Barba. I would like to extend my sincere thanks and congratulations to the Academic Com- mission of the Program. A very special gratitude goes to Dr.a María Manzano-Arjona for her patience with the troubles of a candidate with- out a scholarship, or any funding for the work, and also to Dr.o Fer- nando Soler-Toscano, for his quick and sharp amendments, corrections and suggestions. Lastly, I cannot but offer my heartfelt thanks to all the members and collaborators of the Center for Philosophy of Sciences of the University of Lisbon (CFCUL), specially Dr.a Olga Pombo, who invited me to be an integrated member in 2011. iv Abstract Programming Languages seldom find proper anchorage in philosophy of logic, language and science. What is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming language topics. Natural languages history is intrinsically acoustics-to-visual, phonetics- to-writing, whereas computing programming languages, under man– machine interaction, aspire to visual-to-acoustics, writing-to-phonetics instead, namely through natural language processing.
    [Show full text]
  • History and Spirit of C and C++ Olve Maudal
    History and Spirit of C and C++ Olve Maudal https://c1.staticflickr.com/1/118/300053732_0b20ed7e73.jpg To get a deep understanding of C and C++, it is useful to know the history of these wonderful programming languages. It is perhaps even more important to appreciate the driving forces, motivation and the spirit that has shaped these languages into what we have today. In the first half of this talk we go back to the early days of programmable digital computers. We will take a brief look at really old machine code, assembler, Fortran, IAL, Algol 60 and CPL, before we discuss the motivations behind BCPL, B and then early C. We will also discuss influential hardware architectures represented by EDSAC, Atlas, PDP-7, PDP-11 and Interdata 8/32. From there we quickly move through the newer language versions such as K&R C, C89, C99 and C11. In the second half we backtrack into the history again, now including Simula, Algol 68, Ada, ML, Clu into the equation. We will discuss the motivation for creating C++, and with live coding we will demonstrate by example how it has evolved from the rather primitive “C with Classes” into a supermodern and capable programming language as we now have with C++11/14 and soon with C++17. A 90 minute session at ACCU 2015, April 23, Bristol, UK Part I Part II History and spirit of C History and spirit of C++ The short version Before C++ Before C Developing the initial versions of C++ (pre-1985) Early C and K&R Development of C++ (after-1985) ANSI C Evolution of C++ by examples Modern C Q&A Part I Part II History and
    [Show full text]
  • HPC Scientific Programming: Tools and Techniques
    HPC Scientific programming: tools and techniques F. Affinito CINECA Roma - SCAI Department Roma, 4-6 November 2013 AGENDA DEL CORSO 4 novembre 2013 I Architetture I La cache ed il sistema di memoria I Pipeline I Profilers 5 novembre 2013 I Compilatori I Librerie I Floating-point 6 novembre 2013 I Makefile I Debugging Outline Introduzione Architetture La cache e il sistema di memoria Pipeline Profilers Compilatori e ottimizzazione Librerie scientifiche Floating Point Computing Makefile Bugs and Prevention Testing Static analysis Run-time analysis Debugging Conclusions Quanto possono variare le prestazioni? Prodotto matrice-matrice (misurato in secondi) Precisione singola doppia Loop incorretto 7500 7300 senza ottimizzazione 206 246 con ottimizzazione (-fast) 84 181 codice ottimizzato 23 44 Libreria ACML (seriale) 6.7 13.2 Libreria ACML (2 threads) 3.3 6.7 Libreria ACML (4 threads) 1.7 3.5 Libreria ACML (8 threads) 0.9 1.8 Pgi accelerator 3 5 CUBLAS 1.6 3.2 Qual è il margine di manovra? Software development Algoritmi I Fondamentale è la scelta dell’algoritmo I algoritmo efficiente ! buone prestazioni I algoritmo inefficiente ! cattive prestazioni I Se l’algortimo non è efficiente non ha senso tutto il discorso sulle prestazioni I Regola d’oro I Curare quanto possibile la scelta dell’algoritmo prima della codifica, altrimenti c’è la possibilità di dover riscrivere!!! Outline Introduzione Architetture La cache e il sistema di memoria Pipeline Profilers Compilatori e ottimizzazione Librerie scientifiche Floating Point Computing Makefile Bugs and Prevention
    [Show full text]
  • The Language List - Version 2.4, January 23, 1995
    The Language List - Version 2.4, January 23, 1995 Collected information on about 2350 computer languages, past and present. Available online as: http://cui_www.unige.ch/langlist ftp://wuarchive.wustl.edu/doc/misc/lang-list.txt Maintained by: Bill Kinnersley Computer Science Department University of Kansas Lawrence, KS 66045 [email protected] Started Mar 7, 1991 by Tom Rombouts <[email protected]> This document is intended to become one of the longest lists of computer programming languages ever assembled (or compiled). Its purpose is not to be a definitive scholarly work, but rather to collect and provide the best information that we can in a timely fashion. Its accuracy and completeness depends on the readers of Usenet, so if you know about something that should be added, please help us out. Hundreds of netters have already contributed to this effort. We hope that this list will continue to evolve as a useful resource available to everyone on the net with an interest in programming languages. "YOU LEFT OUT LANGUAGE ___!" If you have information about a language that is not on this list, please e-mail the relevant details to the current maintainer, as shown above. If you can cite a published reference to the language, that will help in determining authenticity. What Languages Should Be Included The "Published" Rule - A language should be "published" to be included in this list. There is no precise criterion here, but for example a language devised solely for the compiler course you're taking doesn't count. Even a language that is the topic of a PhD thesis might not necessarily be included.
    [Show full text]
  • Decision Procedures in Algebra and Logic Reading Material
    Decision procedures in Algebra and Logic Reading material PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Wed, 07 Jul 2010 00:08:49 UTC Contents Articles Some background 1 Algebraic structure 1 Mathematical logic 9 Structure (mathematical logic) 22 Universal algebra 29 Model theory 34 Proof theory 41 Sequent calculus 44 Python (programming language) 50 Sage (mathematics software) 62 Decision procedures and implementations 69 Decision problem 69 Boolean satisfiability problem 72 Constraint satisfaction 79 Rewriting 82 Maude system 87 Resolution (logic) 94 Automated theorem proving 98 Prover9 103 Method of analytic tableaux 104 Natural deduction 124 Isabelle (theorem prover) 138 Satisfiability Modulo Theories 140 Prolog 144 References Article Sources and Contributors 157 Image Sources, Licenses and Contributors 159 Article Licenses License 160 1 Some background Algebraic structure In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The notion of algebraic structure has been formalized in universal algebra. As an abstraction, an "algebraic structure" is the collection of all possible models of a given set of axioms. More concretely, an algebraic structure is any particular model of some set of axioms. For example, the monster group both "is" an algebraic structure in the concrete sense, and abstractly, "has" the group structure in common with all other groups. This article employs both meanings of "structure." This definition of an algebraic structure should not be taken as restrictive.
    [Show full text]
  • Functional and Concurrent Programming
    Functional and Concurrent Programming Simon Thompson [email protected] CO545 Lecture 1 CO545: functional and concurrent programming CO545: functional and concurrent programming Lectures 22 lectures: introduction, functional programming, concurrent programming, going further CO545: functional and concurrent programming Lectures Classes 22 lectures: introduction, 11 two-hour functional programming, terminal sessions: concurrent programming, from this week going further CO545: functional and concurrent programming Lectures Classes 22 lectures: introduction, 11 two-hour functional programming, terminal sessions: concurrent programming, from this week going further Resources Moodle for slides, lecture recordings, programs, class and seminar resources CO545: functional and concurrent programming Lectures Classes 22 lectures: introduction, 11 two-hour functional programming, terminal sessions: concurrent programming, from this week going further Resources Lecturers Moodle for Simon Thompson slides, lecture recordings, [email protected] programs, class and Dominic Orchard seminar resources [email protected] What will I learn? What will I learn? Functional ideas Values, names, evaluation, structured types, lists, higher-order functions, recursion, PBT. What will I learn? Functional ideas Concurrent ideas Values, names, evaluation, Processes and messages, structured types, lists, process ids and spawn, higher-order functions, asynchrony and mailboxes, recursion, PBT. fail-safe and exits, … What will I learn? Functional ideas Concurrent ideas Values, names, evaluation, Processes and messages, structured types, lists, process ids and spawn, higher-order functions, asynchrony and mailboxes, recursion, PBT. fail-safe and exits, … Put it into practice Using these ideas in practice in the Erlang programming language. What will I learn? Functional ideas Concurrent ideas Values, names, evaluation, Processes and messages, structured types, lists, process ids and spawn, higher-order functions, asynchrony and mailboxes, recursion, PBT.
    [Show full text]