Programming In Three Dimensions

Programming In Three Dimensions (1994)

Cached

Download Links

[www.research.digital.com]
[research.microsoft.com]

Other Repositories/Bibliography

DBLP

by Marc-Alexander Najork

Citations:

30 - 0 self

BibTeX

@MISC{Najork94programmingin,
    author = {Marc-Alexander Najork},
    title = {Programming In Three Dimensions},
    year = {1994}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1739	Foundations of Logic Programming - Lloyd - 1984
466	Sketchpad: A man-machine graphical communications system - Sutherland - 1963
339	Logic for Problem Solving - Kowalski - 1979
274	The CLP(R) Language and System - ar, Michaylow, et al. - 1992
253	The Application Visualization System : A computational environment for scientific visualization - Upson, Faulhaber, et al. - 1989
221	Principal type schemes for functional programs - Damas, Milner - 1982
183	A Head-Mounted Three Dimensional Display - Sutherland
176	An Overview of *Prolog - Nadathur, Miller - 1988
155	a Non-Strict Functional Language with Polymorphic Types - Miranda - 1985
138	The Ultimate Display - Sutherland
131	A polymorphic type system for Prolog - Mycroft, O’Keefe - 1984
124	The undecidability of the second-order unification problem - Goldfarb - 1981
87	A Theory of Type Polymorphism - Milner - 1978
81	Pavane: A system for declarative visualization of concurrent computations - Roman, Cox, et al. - 1992
68	The transparent prolog machine (TPM): An execution model and graphical debugger for logic programming - Eisenstadt, Brayshaw - 1987
65	Complete visualizations of concurrent programs and their executions - Kahn, VA - 1990
60	Computer Graphics - Hearn, Baker - 1994
55	Typed Prolog: A semantic reconstruction of the Mycroft-O’Keefe type system - Lakshman, Reddy - 1991
50	programming be liberated from the von Neumann style? A functional style and its algebra of programs - Can - 1978
50	Janus: A step towards distributed constraint programming - Saraswat, Kahn, et al.
45	New Graphical Reasoning Models for Understanding Graphical Interfaces - Furnas
44	Algorithm animation using 3D interactive graphics - Brown, Najork - 1993
40	PYGMALION: A Creative Programming Environment - Smith - 1975
40	Three-Dimensional Computation Visualization - Stasko, Wehrli - 1993
37	Pict: An Interactive Graphical Programming Environment - Glinert, Tanimoto - 1984
35	A 3D Representation for Program Execution - Lieberman - 1989
34	Pygmalion: A Computer Program to Model and Stimulate Creative Thought - Smith - 1977
34	Hilog: A first-order semantics for higher-order logic programming constructs - Chen, Kifer, et al. - 1989
33	Implementing Functional Languages - Jones, Lester - 1992
23	A framework for abstract 3d visualization - Reiss
22	Trestle reference manual - Manasse, Nelson - 1991
21	and Gopalan Nadathur. Higher-order logic programming - Miller - 1986
21	The CUBE Language - Najork, Kaplan - 1991
20	A survey of current graphical programming techniques - Raeder - 1985
19	An application of three-dimensional visualization to object-oriented programming - Koike - 1992
18	Is it easier to write matrix manipulation programs visually or textually? An empirical study - Pandey, Burnett - 1993
17	A Visual Language for Keyboardless Programming - Kimura, Choi, et al. - 1986
16	Abstraction in algorithm animation - Cox, Roman - 1992
15	Enhancing Show-and-Tell with a polymorphic type system and higher-order functions - Najork, Golin - 1990
14	A first-order semantics of higher-order logic programming constructs - Chen, Kifer, et al. - 1989
13	The Fabrik programming environment - Ludolph, Chow, et al. - 1988
12	Lazy ML user's manual - Augustsson, Johnsson - 1993
12	Hyperflow - a visual programming language for pen computers - Kimura - 1992
12	The On-Line Graphical Specification of Computer Procedures - Sutherland - 1966
11	Out of Flatland: Towards 3-D Visual Programming - Glinert - 1987
10	viz: A Visual Language Based on Functions, in - Holt - 1991
10	Visual Programming. Van Nostrand Reinhold - Shu - 1988
9	Abstraction in the Demand-Driven, Temporal-Assignment, Visual Language Model - Burnett - 1991
9	Types and type inference in a visual programming language - Burnett - 1993
9	A Visual Logic Programming Language Based on Sets and Partitioning Constraints - Spratt, Ambler - 1993