Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Featherweight Java: Core OO Fonctionnalités Modélisation

Dans cours

CS-452: Foundations of software

The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply ...

Description

Cette séance de cours présente Featherweight Java, un modèle minimaliste pour représenter les principales fonctionnalités orientées objet. Il couvre des sujets tels que l'encapsulation, le sous-typage, la modélisation Java et les défis de la capture de l'utilisation des classes en Java. L'instructeur discute du but de Featherweight Java, de son histoire et de ses applications dans l'analyse des fonctionnalités Java et des extensions proposées.

Enseignant·e·s (2)

Martin Odersky

Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET. Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.

Sébastien Jean Robert Doeraene

Source officielle

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Concepts associés (32)

Java (langage)

Java est un langage de programmation de haut niveau orienté objet créé par James Gosling et Patrick Naughton, employés de Sun Microsystems, avec le soutien de Bill Joy (cofondateur de Sun Microsystems en 1982), présenté officiellement le au SunWorld. La société Sun est rachetée en 2009 par la société Oracle qui détient et maintient désormais Java. Un logiciel écrit en language Java a pour particularité d'être compilé vers un code intermédiaire formé de bytecodes qui peut être exécutée dans une machine virtuelle Java (JVM) en faisant abstraction du système d'exploitation.

Java version history

The Java language has undergone several changes since JDK 1.0 as well as numerous additions of classes and packages to the standard library. Since J2SE 1.4, the evolution of the Java language has been governed by the Java Community Process (JCP), which uses Java Specification Requests (JSRs) to propose and specify additions and changes to the Java platform. The language is specified by the Java Language Specification (JLS); changes to the JLS are managed under JSR 901.

Java (technique)

Java est une technique informatique développée initialement par Sun Microsystems puis acquise par Oracle à la suite du rachat de l'entreprise. Défini à l'origine comme un langage de programmation, Java a évolué pour devenir un ensemble cohérent d'éléments techniques et non techniques.

Programmation orientée objet

La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique. Elle consiste en la définition et l'interaction de briques logicielles appelées objets ; un objet représente un concept, une idée ou toute entité du monde physique, comme une voiture, une personne ou encore une page d'un livre. Il possède une structure interne et un comportement, et il sait interagir avec ses pairs.

Subtyping

In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as S

Afficher plus

Séances de cours associées (33)

Les génériques en Java : cours de cellules et de paires

Couvre la mise en œuvre de classes génériques en Java, en se concentrant sur les classes Cell et Pair.

Programmation orientée objet : Héritage et polymorphisme

Introduit l'héritage, le polymorphisme et les concepts de programmation orientés objet en Java à travers des exemples pratiques.

Interfaces Java : Types et interfaces énumérés

Explore le principe du codage vers une interface, les types de Java énumérés, et les avantages de l'utilisation d'interfaces pour l'encapsulation.

Immutabilité en Java : Date et DateBuilder

Explore l'immuabilité en Java à travers les classes Date et DateBuilder, en mettant l'accent sur la sécurité des threads et la fiabilité du code.

Mini-projet 2 Tutoriel Explication

Explique le tutoriel du mini-projet 2 pour le cours CS107, en mettant l'accent sur les interactions de modèles et les décisions de conception.

Afficher plus

Concepts associés (32)

Java (langage)

Java version history

Java (technique)

Programmation orientée objet

Subtyping

Afficher plus