Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(6)
Andrei P. Nemytykh
3
E. A. Gaydar
1
I. M. Ignatovich
1
V. F. Kozadoy
1
S. V. Chmutov
1
Conferences
(3)
Dagstuhl Seminars
1
DISCO
1
Ershov Memorial Conference
1
Keywords
(4)
Embed
Subscribe
Academic
Authors
Victoria A. Pinchuk
Victoria A. Pinchuk,Pereslavl University,Software Engineering,Scientific Computing
Edit
Victoria A. Pinchuk
Pereslavl University
Publications:
3
|
Citations:
32
Fields:
Software Engineering
,
Scientific Computing
View FAQ about top research areas and Fields of study
Collaborated with
6 co-authors
from 1990 to 1996
|
Cited by
27 authors
Cumulative
Annual
Sort by:
Publications
(3)
BibTeX
|
RIS
|
RefWorks
Download
A Self-Applicable Supercompiler
(
Citations: 18
)
Andrei P. Nemytykh
,
Victoria A. Pinchuk
,
Valentin F. Turchin
Conference:
Dagstuhl Seminars
, pp. 322-337, 1996
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler
(
Citations: 13
)
Andrei P. Nemytykh
,
Victoria A. Pinchuk
Conference:
Ershov Memorial Conference
, pp. 249-260, 1996
Implementation Of The Symbolic Analytic Transformations Language FLAC
(
Citations: 1
)
S. V. Chmutov
,
E. A. Gaydar
,
I. M. Ignatovich
,
V. F. Kozadoy
,
Andrei P. Nemytykh
,
Victoria A. Pinchuk
Conference:
Design and Implementation of Symbolic Computation Systems - DISCO
, pp. 276-277, 1990
Sort by:
Citations
(32 times by 32 publications)
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages
(
Citations: 1
)
Sergei M. Abramov
,
Robert Glück
,
Yuri A. Klimov
Conference:
Ershov Memorial Conference
, pp. 27-40, 2006
Specialization of Functional Logic Programs Based on Needed Narrowing
(
Citations: 25
)
María Alpuente
,
Michael Hanus
,
Salvador Lucas
,
Germán Vidal
Journal:
Computing Research Repository - CORR
, vol. cs.PL/0403, 2004
Derivation of Deterministic Inverse Programs Based on LR Parsing
(
Citations: 12
)
Robert Glück
,
Masahiko Kawabe
Conference:
Fuji International Symposium on Functional and Logic Programming - FLOPS
, pp. 291-306, 2004
A Program Inverter for a Functional Language with Equality and Constructors
(
Citations: 16
)
Robert Glück
,
Masahiko Kawabe
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 246-264, 2003
The Supercompiler SCP4: General Structure
(
Citations: 9
)
Andrei P. Nemytykh
Conference:
Ershov Memorial Conference
, pp. 162-170, 2003
Comments