About: Derivation in Scattered Context Grammar via Lazy Function Evaluation

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

About: Derivation in Scattered Context Grammar via Lazy Function Evaluation Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This paper is extension of the article published in the MEMICS'09 conference. This paper discusses scattered context grammars (SCG) and considers the application of scattered context grammar production rules. We use function that represents single derivation step over the given sentential form. Moreover, we define this function in such a way, so that it represents the delayed execution of scattered context grammar production rules using the same principles as a lazy evaluation in functional programming. Finally, we prove equivalence of the usual and the delayed execution of SCG production rules. This paper is extension of the article published in the MEMICS'09 conference. This paper discusses scattered context grammars (SCG) and considers the application of scattered context grammar production rules. We use function that represents single derivation step over the given sentential form. Moreover, we define this function in such a way, so that it represents the delayed execution of scattered context grammar production rules using the same principles as a lazy evaluation in functional programming. Finally, we prove equivalence of the usual and the delayed execution of SCG production rules. (en)
Title	Derivation in Scattered Context Grammar via Lazy Function Evaluation Derivation in Scattered Context Grammar via Lazy Function Evaluation (en)
skos:prefLabel	Derivation in Scattered Context Grammar via Lazy Function Evaluation Derivation in Scattered Context Grammar via Lazy Function Evaluation (en)
skos:notation	RIV/00216305:26230/09:PU86255!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(2C06008), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Jirák, Ota Kolář, Dušan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	309581
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/09:PU86255
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	scattered context grammars, SCG, delayed execution, lazy evaluation, derivation (en)
http://linked.open.../riv/klicoveSlovo	SCG delayed execution scattered context grammars lazy evaluation derivation - verbs - prefixes - suffixes - Czech National Corpus
http://linked.open...ontrolniKodProRIV	[221CA9BC31D6]
http://linked.open...v/mistoKonaniAkce	Znojmo
http://linked.open...i/riv/mistoVydani	Wadern
http://linked.open...i/riv/nazevZdroje	Dagstuhl Post-proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Virtual Laboratory of Microprocessor Technology Application
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Jirák, Ota Kolář, Dušan
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2009-11-13 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	10 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
https://schema.org/isbn	978-3-939897-15-6
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Derivation in Scattered Context Grammar via Lazy Function Evaluation Derivation in Scattered Context Grammar via Lazy Function Evaluation Derivation in Scattered Context Grammar via Lazy Function Evaluation Derivation in Scattered Context Grammar via Lazy Function Evaluation

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, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software