About: Dependent type system for object-oriented programming languages

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Dependent type system for object-oriented programming languages Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/09/1316
Description	Advanced type systems can provide more safety than type systems of programming languages currently in use. Moreover, they can change the style of programming discipline if used rigorously. The proposed project aims at basic research of a new type system for object-oriented programming languages that allows to guarantee safer programs, type check more language constructs and support the correct-by-construction development and implementation methodology. The contribution of the project comes with its approach. Shortly, we plan to emit functional programming with dependent types into the object-oriented environment and investigate the possible incidences. In particular, the dependent types in subtyping imposed by class-based inheritance as the basic concept for reuse and modularity, and the relation with traditional lambda-based theory are two main topics that will be studied. An important part of the project is the development of an experimental language featuring studied principles. (en) Pokročilá typová kontrola dokáže zajistit vyšší míru správnosti programů, než je tomu běžné u současných programovacích jazyků. V některých případech použití takového systému znamená změnu přístupu k programování obecně. Navrhovaný projekt se zabývá základním výzkumem v oblasti typové kontroly pro objektově-orientovaný programovací jazyk, který by umožnil odhalovat vyšší množství chyb, kontrolovat složitější jazykové konstrukce a podporovat konstrukci korektních programů. Přístup k řešení naznačuje předpokládaný přínos projektu. Jedná se zejména o nalezení pozice hodnotově závislých typu v objektově-orientovaném typovaném prostředí. Vztah závislých typů, podtypů a objektových typů a studium vlastností takto definovaného systému, včetně jeho vztahu k původní teorii jsou hlavní teoretické části projektu. K projektu pak také patří konstrukce experimentálního programovacího jazyka demonstrující studované vlastnosti.
Title	Dependent type system for object-oriented programming languages (en) Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky
skos:notation	GA201/09/1316
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F09%2F1316/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F09%2F1316/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-01-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	65679689
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	O - Nesplněno zadání, smlouva však byla dodržena
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	dependent types; formal reasoning; functional programming; lambda calculus; language constructs and (en)
http://linked.open...neniPrubehuReseni	Zastaven na návrh panelu. (cs)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	1 (xsd:int)
http://linked.open.../pocetVysledkuRIV	0 (xsd:int)
http://linked.open...enychVysledkuVRIV	0 (xsd:int)
http://linked.open...lneniVMinulemRoce	2009-04-22 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F09%2F1316
http://linked.open...iciPoslednihoRoku	2009
http://linked.open...atUdajeProjZameru	2010
http://linked.open.../vavai/cep/soutez	SGA02009GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2009-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2009-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	výsledky řešení grantu jsou z řady důvodů, objektivních i subjektivních, nedostatečné a nenaplňují deklarované cíle projektu. (en) the results of the grant are a number of reasons, objective and subjective, inadequate and does not meet the declared objectives of the project. (cs)
http://linked.open...tniCyklusProjektu	ZU
http://linked.open.../cep/klicoveSlovo	formal reasoning functional programming lambda calculus dependent types
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1316/2009/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1316/2009/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1316/2010/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1316/2010/orjk%3A26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software