(Enter summary)
Abstract: The deep semantics of a scheme is defined as a set of programs derivable from the scheme. A
uniform way of representing deep semantics of schemes is introduced based on the usage of a
program synthesizer. An implementation of structural synthesis of programs in the NUT system
and visual tools built on top of it are described. A visual compositional programming technique
based on these tools is demonstrated on a number of examples.
1. Department of Teleinformatics, Royal Institute of... (Update)
Cited by: More
From Visual Specifications to Executable Code - Tyugu (1998)
(Correct)
Active bibliography (related documents): More All
0.6: Strategies Of Structural Synthesis Of Programs And Its Extensions - Matskin, Tyugu (2001)
(Correct)
0.2: Semantic Processing of Schemes: Concepts and Implementation - Tyugu, Volozh (1993)
(Correct)
0.2: Declarative Reflection Tools For Agent Shells - Enn Tyugu (1996)
(Correct)
Similar documents based on text: More All
0.6: Distributed Programming Toolkit for NUT - Vlassov, Tyugu, Addibpour
(Correct)
0.6: Using Classes As Specifications For Automatic Construction Of.. - Tyugu (1994)
(Correct)
0.5: NUT Graphics - Volozh, Kopp, Tyugu (1993)
(Correct)
BibTeX entry: (Update)
E. Tyugu, R. Valt. (1997). Visual programming in NUT. Journal of Visual Languages and Computing, v. 8, 523 - 544. http://citeseer.ist.psu.edu/tyugu97visual.html More
@article{ tyugu97visual,
author = "Enn Tyugu and R. Valt",
title = "Visual Programming in {NUT}",
journal = "Journal of Visual Languages and Computing",
volume = "8",
number = "5-6",
pages = "523-544",
year = "1997",
url = "citeseer.ist.psu.edu/tyugu97visual.html" }
Citations (may not include all citations):
22
Three new generation software environments (context) - Tyugu - 1991
19
A user-interface toolkit based on graphical objects and cons.. (context) - Szekely, Myers - 1988
17
Justification of the structural synthesis of programs (context) - Mints, Tyugu - 1982
15
Programming in Three Dimensions
- Najork - 1996
6
Distributed programming toolkit for NUT
- Vlassov - 1994
5
Attributed graph grammars for graphics (context) - Gottler - 1982
2
Classes as program specifications in NUT (context) - Tyugu - 1994
1
Visual Object-Oriented Programming Manning Publications Co (context) - Burnett, Goldberg et al. - 1995
1
Declarative Programming in a Type Theory (context) - Tyugu - 1991
Documents on the same site (http://www.it.kth.se/~tyugu/): More
Using Classes As Specifications For Automatic Construction Of.. - Tyugu (1994)
(Correct)
On the border between functional programming and program.. - Tyugu (1998)
(Correct)
From Visual Specifications to Executable Code - Tyugu (1998)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC