Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- 681.3*D33 --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Computer science. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming languages (Electronic computers) --- 681.3*D33 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Logic programming --- 681.3*D16 --- 681.3*D33 --- 681.3*F33 --- 681.3*I23 --- Computerwetenschap--?*D16 --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Studies of program constructs: control primitives; functional constructs; program and recursion schemes; type structure (Logics and meanings of programs)-- See also {681.3*D32}; {681.3*D33} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F33 Studies of program constructs: control primitives; functional constructs; program and recursion schemes; type structure (Logics and meanings of programs)-- See also {681.3*D32}; {681.3*D33} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Computer programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Een statisch type systeem is een belangrijk hulpmiddel bij het efficiënt ontwikkelen van correcte software. We beschrijven zowel de theoretische onderbouw als de praktische kant van onze uitbreiding van Scala's type systeem. Meer concreet veralgemeenden we Scala's ondersteuning voor parametrisch polymorfisme - doorgaans "genericity" genoemd in object-georiënteerde talen - naar het hogere-orde systeem. We noemen het resultaat "type constructor polymorfisme", aangezien Scala programmeurs nu veilig abstractie kunnen maken van type constructors. Deze veralgemening, versterkt door de synergie met bestaande Scala features zoals implicits, is voor de library ontwerper een belangrijke troef in het arsenaal van hulpmiddelen om abstracties te definiëren, terwijl de gebruiker van deze abstracties zich geen zorgen hoeft te maken over hun interne werking. De theoretische kant van het verhaal richt zich op de lacunes in de bestaande Scala formalismes, en presenteert onze oplossing: een nieuwe calculus voor Scala. Tot slot werken we onze visie uit voor toekomstige verbeteringen van het type systeem, gebaseerd op onze ervaring met type constructor polymorfisme. A static type system is an important tool in efficiently developing correct software. We describe the theoretical underpinnings as well as the practical side of our extension of Scala's type system. More concretely, we generalised Scala's support for parametric polymorphism -- typically called "genericity" in object-oriented languages -- to the higher-order case. We call the result "type constructor polymorphism", as Scala programmers may now safely abstract over type constructors. This generalisation, amplified by the synergy with Scala's existing features such as implicits, represents an important asset in the library designer's abstraction-building tool belt, while the user of these abstractions need not worry about their inner workings. The theoretical side of the story focusses on the lacunae in the existing Scala formalisms, and presents our core calculus that solves these. Finally, we elaborate on our vision for future improvements of the type system, based on our practical experience with type constructor polymorphism. Software ontwikkeling is een essentiële activiteit voor vele moderne bedrijven. Onze samenleving is sterk afhankelijk van IT, zelfs voor de meest dagdagelijkse taken. Niettemin is het ontwikkelen van grote software projecten een niet-triviale aangelegenheid. De afgewerkte vorm van een software toepassing bestaat uit code die (enkel) voor een machine leesbaar is, en die is afgeleid uit programmatekst die wel begrijpbaar is voor de programmeur. Het vertalen van de mens-vriendelijke voorstelling naar een efficiënte, machine-leesbare vorm, is de taak van de programmeertaal. Om het belang van een programmeertaal te illustreren, beschouw de volgende analogie: het ontwikkelen van software in een beperkte programmeertaal, is zoals het schrijven van een roman met enkel een- of tweelettergrepige woorden en zonder spellingscontrole of grammatica tools. Moderne programmeertalen zijn al behoorlijk krachtig, maar er blijven nog veel mogelijkheden om ze krachtiger en meer uitbreidbaar te maken (zodat je de metaforische woordenschat kan uitbreiden met nieuwe woorden waarvan de spelling gecontroleerd kan worden of zodat je nieuwe grammaticale constructies kan toevoegen zodat meer grammaticale fouten opgespoord kunnen worden). Het doel van mijn onderzoek is om de programmeur toe te laten de taal uit te breiden, zodat hij of zij zijn of haar ideeën compacter en preciezer kan uitdrukken. Hierdoor kunnen meer fouten tijdig opgespoord worden, zodat de gebruiker van de applicatie er geen last van zal hebben. Software development is an essential activity for many modern companies. Our society heavily relies on IT (and thus also on software) for even the most common day-to-day tasks. However, developing large software projects is a non-trivial effort and programming languages play a determining role in how succesful this effort is. A software application, when finished, consists of machine-readable code that was derived from a human-readable text, written in a programming language. Translating this human-readable representation to a format that can be understood by a computer, is the job of a programming language. To illustrate the importance of a programming language, consider this analogy: developing software with a limited programming language, is like writing a novel using only one or two-syllable words, without a spellchecker or grammar tools. Modern programming languages are already quite powerful, but there are many opportunities to make them more extensible (so that you can extend the vocabulary your metaphorical spellchecker is able to process, extend the grammar tools so that they can detect more syntactical errors, and so on). The goal of my research is to allow the programmer to extend the language so that he or she can express his or her ideas more concisely, while at the same time allowing the computer to find more mistakes, that would hinder the user of the application, if they went by undetected.

Academic collection --- 681.3*D33 <043> --- 681.3*F<043> --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages)--Dissertations --- Theory of computation--Dissertaties --- Theses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- Operating systems (Computers) --- Systèmes d'exploitation (Ordinateurs) --- 681.3*D33 --- 681.3*D4 --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Operating systems--See also {681.3*C} --- Operating systems --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Systèmes d'exploitation (Ordinateurs)