Personal tools
You are here: Home / Internal / RISC Forum / 2010 / RISC Forum

RISC Forum

Filed under: ,
Christian Aistleitner: Differential aspects of differential characteristic set computations (internal thesis defense)
When Jun 21, 2010
from 01:30 PM to 02:00 PM
Where RISC seminar room
Attendees all@risc
Add event to calendar vCal
iCal

In this thesis we try to improve on four aspects of the differential part of differential characteristic set theory.

The most important contribution is a clear and rigorous separation between used programs and their specifications, while presenting the theory of the differential part of differential characteristic set computations in a mostly self-contained fashion. Although the formulations used in current literature might suggest that there is already such a separation between programs and their specifications, we give several counter-examples to this impression.

Secondly, instead of using just one set of requirements for differential reduction, we present and use several different kinds of specifications and can thereby precisely describe what requirements are needed for each of the occurrences of differential reduction.

Thirdly, we promote constants to first-class citizens of differential characteristic set theory.

Finally, we give a generalization of coherence and a corresponding Rosenfeld Lemma.

« December 2022 »
December
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
Upcoming Events
RISC Forum Dec 12, 2022 01:30 PM - 01:45 PM
NO RISC Forum Dec 19, 2022 01:30 PM - 01:55 PM
NO RISC Forum Dec 26, 2022 01:30 PM - 01:45 PM
NO RISC Forum Jan 02, 2023 01:30 PM - 01:45 PM
RISC Forum Jan 09, 2023 01:30 PM - 01:50 PM
Previous events…
Upcoming events…