This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n12http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n17http://purl.org/net/nknouf/ns/bibtex#
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/subjekt/
n8http://linked.opendata.cz/ontology/domain/vavai/
n22https://schema.org/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F11%3A86081816%21RIV12-GA0-27240___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F11%3A86081816%21RIV12-GA0-27240___
rdf:type
skos:Concept n8:Vysledek
dcterms:description
This paper outlines the possibilities which LLVM (Low Level Virtual Machine) framework offers to implementors of functional programming languages. First, the LLVM is briefly introduced. Then its use is demonstrated on implementation of a simple functional programming language named Tiny. Our primary goal is to implement the TIL-Script functional programming language that is a computational variant of Transparent Intensional Logic (TIL). We outline the main principles of its implementation using the LLVM framework This paper outlines the possibilities which LLVM (Low Level Virtual Machine) framework offers to implementors of functional programming languages. First, the LLVM is briefly introduced. Then its use is demonstrated on implementation of a simple functional programming language named Tiny. Our primary goal is to implement the TIL-Script functional programming language that is a computational variant of Transparent Intensional Logic (TIL). We outline the main principles of its implementation using the LLVM framework
dcterms:title
Using LLVM for a functional programming language implementation Using LLVM for a functional programming language implementation
skos:prefLabel
Using LLVM for a functional programming language implementation Using LLVM for a functional programming language implementation
skos:notation
RIV/61989100:27240/11:86081816!RIV12-GA0-27240___
n8:predkladatel
n9:orjk%3A27240
n3:aktivita
n14:P
n3:aktivity
P(GAP401/10/0792)
n3:dodaniDat
n4:2012
n3:domaciTvurceVysledku
n18:8104336
n3:druhVysledku
n15:D
n3:duvernostUdaju
n11:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
237351
n3:idVysledku
RIV/61989100:27240/11:86081816
n3:jazykVysledku
n21:eng
n3:klicovaSlova
LLVM, virtual machines, Lambda calculus, Transparent Intensional Logic, TIL-Script
n3:klicoveSlovo
n5:LLVM n5:Lambda%20calculus n5:virtual%20machines n5:Transparent%20Intensional%20Logic n5:TIL-Script
n3:kontrolniKodProRIV
[1C4EFC61BC64]
n3:mistoKonaniAkce
Tallin
n3:mistoVydani
Amsterodam
n3:nazevZdroje
Information modelling and knowledge bases XXIII
n3:obor
n10:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n19:GAP401%2F10%2F0792
n3:rokUplatneniVysledku
n4:2011
n3:tvurceVysledku
Ciprich, Nikola
n3:typAkce
n12:WRD
n3:zahajeniAkce
2011-06-04+02:00
s:issn
0922-6389
s:numberOfPages
7
n17:hasPublisher
IOS Press
n22:isbn
978-1-60750-991-2
n20:organizacniJednotka
27240