An Integrated Query Language (IQL) is proposed which synthesizes the features of the SEQUEL language withthe features of a procedural interpreter language with workspace variables, and all structural programming cons...
详细信息
An Integrated Query Language (IQL) is proposed which synthesizes the features of the SEQUEL language withthe features of a procedural interpreter language with workspace variables, and all structural programming constructs such as do-loops, comparisons, logical, arithmetic and string valued expressions, . . . etc. the expected benefits are (A) simplicity of use (B) faster and less expensive programming development using IQL.
作者：
Blanning, Robert W.Vanderbilt Univ
Graduate Sch of Management Nashville TN USA Vanderbilt Univ Graduate Sch of Management Nashville TN USA
A growing number of decision support systems contain knowledge bases that capture the expertise of experienced managers. Examined are the circumstances under which fuzzy logic may be useful in such a system.
A growing number of decision support systems contain knowledge bases that capture the expertise of experienced managers. Examined are the circumstances under which fuzzy logic may be useful in such a system.
Applications of abstraction mechanisms in program are viewed as extensions to the programming language at hand. In other words abstractions generate new language elements which in turn deserve new syntactic and semant...
详细信息
Applications of abstraction mechanisms in program are viewed as extensions to the programming language at hand. In other words abstractions generate new language elements which in turn deserve new syntactic and semantic rules. Based on this view we generalize traditional language descriptions consisting of context-free grammars with associated denotational semantics. Two implementation strategies are discussed - compilers which dynamically adapt new syntactic and semantic contexts, and interactive programming environments which employ the inherent modularization into sublanguages.
Currently, a significant amount of research effort is being invested into the subject of integrated programming environments, for the development of reliable software. In the design of such environments, context is an...
详细信息
Currently, a significant amount of research effort is being invested into the subject of integrated programming environments, for the development of reliable software. In the design of such environments, context is an issue of considerable importance. Context enriches a programming item of interest with surrounding information, and thereby, benefits boththe user and the mechanics of a programming environment. this paper shows how contextual information can be used to advantage in the design of the user interface, program views, user operations, internal representation, static-semantic checking and run-time program fragment structures.
this paper presents a further step beyond programming environment. Currently, the programming environment is constructed by carefully integrating required features into a unified system. the entire implementation dema...
详细信息
this paper presents a further step beyond programming environment. Currently, the programming environment is constructed by carefully integrating required features into a unified system. the entire implementation demands much human effort. It is generally accepted that application programmers require different programming environment than systems programmers, because they have different missions. Hence, it is proper to investigate the programming environment generator. It is a system which accepts a formally specified environment and produced the necessary parts integrated into a working programming environment. the idea is quite innovative and opens a new frontier. An ongoing research with a goal to produce programming environment automatically is described.
作者：
McCluskey, E.J.Stanford Univ
Computer Systems Lab Stanford CA USA Stanford Univ Computer Systems Lab Stanford CA USA
this is a survey of the synchronous logic structures used in current computer designs. A good understanding of this topic is increasingly important because of its impact on design-for-testability methods. Synchronous ...
详细信息
this is a survey of the synchronous logic structures used in current computer designs. A good understanding of this topic is increasingly important because of its impact on design-for-testability methods. Synchronous logic structures are characterized in terms of type of bistable elements used. Designs based on flip-flops are described first and then the corresponding latch-based systems are presented. Several variations of the latch-based designs are considered since both single-phase and two-phase clock designs are common. Examples are given of circuits that use each of the different structures to realize the same function.
Proceedings includes 207 papers, of which six are presented in the form of abstracts or extended abstracts only. Topics considered include: multiple processing, robotics, computer architecture, image processing, distr...
详细信息
Proceedings includes 207 papers, of which six are presented in the form of abstracts or extended abstracts only. Topics considered include: multiple processing, robotics, computer architecture, image processing, distributed processing, database systems, data communications, knowledge bases, intelligent decision support, interfaces, algorithms, programming languages, graphics, software engineering, memories, education, medical informatics, clinical laboratories, handicapped aids, nursing, hospitals, data processing, integrated circuits, logic design, character recognition, automata theory, information retrieval, biomedical engineering, pattern recognition, military applications, personnel training, airomics, peripheral equipment, microprocessors, mathematical techniques, and coding.
thinkPad is a system that uses a broad model of data abstractions as a basis for graphical programming by demonstration. the system permits a programmer to specify complex programs by graphically defining data structu...
详细信息
thinkPad is a system that uses a broad model of data abstractions as a basis for graphical programming by demonstration. the system permits a programmer to specify complex programs by graphically defining data structures and demonstrating operations that manipulate these structures. the authors present the nonprocedural semantic model used by thinkPad to provide a mapping from the graphical demonstration of operations to a declarative executable program semantics.
Magpie is an interactive programming environment that supports programming in the small on a powerful, single-user workstation. Magpie integrates the functions of language-directed editing, incremental compiling and i...
详细信息
Magpie is an interactive programming environment that supports programming in the small on a powerful, single-user workstation. Magpie integrates the functions of language-directed editing, incremental compiling and interactive debugging - all tailored specifically for Pascal. Syntax and static semantic errors are detected and reported as the program is edited;the program is always ready for execution even while it is being edited. Debugging functions include dynamic tracing of statement execution and variable values, immediate execution of Pascal statements and event monitoring. Magpie provides display windows called browsers that make it easy to navigate through the Pascal source text and its execution state.
Authors are building a retargetable interactive programming environment for Fortran. At the heart of the environment is a data base which contains not only source and object for each module in the system but also rela...
详细信息
Authors are building a retargetable interactive programming environment for Fortran. At the heart of the environment is a data base which contains not only source and object for each module in the system but also related information such as the composition of programs, cross-module procedure call information, interprocedural data flow information, and specifications for calls to existing procedures. the data base is used by all the other tools in the environment: an intelligent editor that knows enough Fortran to assist the user in preparing programs, an interactive source-level debugging system, and an optimizing compiler with extensive interprocedural analysis. Because the data base contains the compiled modules and data flow information for them, the environment will permit building compilation systems which optimize the program as a whole rather than module by module.
暂无评论