Home
Catalogue search
Refine your search:
Keyword:
Settore ING-INF / 05 - Sistemi di Elaborazione delle Informazioni (1)
computational linguistics (1)
computational methods (1)
computer software (1)
formal languages (1)
knowledge based systems (1)
logic programming (1)
program specialization (1)
unfold fold transformation rules (1)
Creator / Publisher:
Pettorossi, A (1)
Proietti, M (1)
Renault, S (1)
Year:
1997 (1)
Medium:
Online (1)
Type
BLLDB-Access:
free (1)
subject to license (0)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 1 of 1
1
Reducing nondeterminism while specializing logic programs
Renault, S
;
Pettorossi, A
;
Proietti, M
. - : Association for Computing Machinery (ACM), 1997
Abstract:
Program specialization is a collection of program transformation techniques for improving program efficiency by exploiting some information available at compile-time about the input data. This work shows that current techniques for program specialization based on partial evaluation do not perform well on nondeterministic logic programs. Following this, a set of transformation rules which extend the ones used for partial evaluation is considered. Finally, a strategy is proposed to direct the application of these extended rules to derive very efficient specialized programs.
Keyword:
computational linguistics
;
computational methods
;
computer software
;
formal languages
;
knowledge based systems
;
logic programming
;
program specialization
;
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
;
unfold fold transformation rules
URL:
http://hdl.handle.net/2108/49580
BASE
Hide details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
1
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern