The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary of MYCROFT: a system for understanding simple picture programs. Art. Intell., 6, 249-288. GRIGNETTI, M., HAUSMANN, C. and GOULD, L. (1975). ... Collins (Eds.), Representation and Understanding. New York: Academic Press. GOLDBERG, A. (1974). Design of a computer tutor for elementary mathematical logic. Proc. IFIP Congress 4. ...
Functional programming languages offer a high degree of abstractions and clean semantics, which are desirable for hardware descriptions. ... This short historical survey is about functional languages specifically created for hardware design and verification. ... Acknowledgment The author grateful to his wife Ping Hu for her support and patience. Thanks are due to Mary Sheeran for his insightful remarks. ...doi:10.5402/2012/271836 fatcat:n2iml6tnnzhzbcjyuslsmdpy64
Future Work We are currently working on connecting the calculated summaries to a parameterised unit testing framework. ... We would like to put our preliminary results of our proposed approach together and evaluate (1) whether DSE is applicable to SPLs in order to e ciently derive the behavioural changes among di↵erent products ... Abstract summaries over-approximate the behavior of a feature and the symbolic summary characterises the individual program execution paths of a given feature for all possible inputs. ...doi:10.4204/eptcs.240.0.1 fatcat:imfjolcxmrfm7kqiz523rbyj5i
Dealing with the specific characteristics of smart speakers requires a high degree of (child) user competence. ... Firstly, we will address a definition of smart speakers and digital speech assistants, and then examine their use by means of usage data. ... This all happens without a picture, purely via listening. ...doi:10.21240/mpaed/43/2021.07.23.x fatcat:apxiqibp2fcmjg5haq3fz7slpi
ACM SIGART Bulletin
P., "Summary of MYCROFT: a system for understanding simple picture programs," Artificial Intelligence 8, 1 975, 249-288. (7.6>, (7.8>. (Good 52] Good, 1. ... For example, the program might have a variable LOCATION-OF-BLOCK which it would alter from "ROOM-A" to "ROOM-B". ...doi:10.1145/1056441.1056442 fatcat:2b2w2zeuvzfs7axvx24xa7jzea
The third dimension provides for a richer syntax, makes the language more expressive, and prepares the ground for novel, virtual-reality-based programming environments. ... Cube uses the data ow metaphor as an intuitive w a y to describe logic programs. The semantics of the language is based on a higher-order form of Horn logic. ... Eric Golin, who introduced me to visual programming. I am deeply grateful to them for their advice and their friendship. ...doi:10.1006/jvlc.1996.0012 fatcat:tztqg5hxsfcdrmq2bpci4s7yle
The issue of information system security will be a challenge for the industry with open access to information systems, otherwise focus will hamper the business process of the industry. ... However, in its development, stakeholders tend to focus on infrastructure and information systems, while the security of information systems is still a comfort zone for industries in the transformation ... For medium and small industries some have difficulty and lack of understanding of the security of information systems, stakeholders tend to focus on infrastructure and information systems as digital transformation ...doi:10.15863/tas.2018.09.65.40 fatcat:fryu56jkf5fvdfzamzfxzjxhb4
IBM Systems Journal
Goldstein, “Summary of MYCROFT: A system for understanding simple picture programs,” Artificial Intelligence 6, No. 1, 249-288 (1975). . S. M. Katz and Z. ... Flaherty, “Programming process measurement for the System/370,” JBM Systems Journal 24, No. 2, 172-173 (1985). . Paul B. ...
2020 IEEE International Conference on Humanized Computing and Communication with Artificial Intelligence (HCCAI)
The Task and Workslip Scheme for Personal Agent Systems is a collection of concepts enabling the intelligent communication of small agents, and a set of philosophical guidelines to aid in the design of ... The scheme provides a simple system to create personal assistant system, often without needing to write new software, and simplifies Agent development. ... Acknowledgements 1 the term principal is applied to keep the terminology consistent with the remainder of this document. ...doi:10.1109/hccai49649.2020.00012 fatcat:3b2jogwtanbkba6xhwhitldqly
program understanding and automated bug hunting. ... The ideas described in the article are incorporated in a tool for analyzing Intel x86 At the time the research reported in the article was carried out, G. ... Lim, A. Lal, N. Kidd, and D. Gopan-and at GrammaTech, Inc.-T. Teitelbaum, S. Yong, R. Gruian, D. Melski, and C.-H. Chen-for their many contributions to the project. We are also grateful to M. ...doi:10.1145/1749608.1749612 fatcat:zsmcrv7hlvb5lbycleoownbm6e
The only required user input to the AutoFix supporting tool is then a faulty program annotated with contracts; the tool produces a collection of validated fixes for the fault ranked according to an estimate ... Using contracts enhances the precision of dynamic analysis techniques for fault detection and localization, and for validating fixes. ... We also gratefully acknowledge the support of the Swiss National Supercomputing Centre (CSCS) for the experiments (Project s264). ...doi:10.1109/tse.2014.2312918 fatcat:z3zfwgg6ffbe7ohf2hxxvri5se
This allows certain compositions of effects to be ruled out (in the style of a program logic) as well as an abstract description of effects (in the style of an effect system). ... Most notably, graded monads, indexed by a monoid, model effect systems and parameterised monads, indexed by pairs of pre- and post-conditions, model program logics. ... model for systems which combine both quantitative reasoning with program logics in a single structure. ...arXiv:2001.10274v1 fatcat:3ts6khvqgbgvvbkc6rkydt6oce
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. ... Often, the features added by different systems were motivated by the interdisciplinary needs of programmers and implementors, yielding systems that, while sharing the "classic" core language, and, in particular ... The authors are particularly grateful for the effort made by the group of people (more than 120 individuals) that drafted the ISO-Prolog Standard and piloted its later evolution, and specially to Jonathan ...arXiv:2201.10816v3 fatcat:grixngoazrdfjosno4zvnimsnq
We recently introduced the first prototype of an Adaptive Wiring Panel (AWP) which implemented a reconfigurable switch fabric that allows dynamic routing of analog, digital, and power signals for space ... In this paper, we consider a complete redesign and re-implementation of the AWP system to address issues associated with scalability, reliability and real-time monitoring of the switching fabric. ... For the Command-line Interface , we provide a summary of the code structure and main functions in the Appendix. ...doi:10.2514/1.i010127 fatcat:6iaur5xhh5fgnl6jlgv7uzxeva
Secondly, the Milner/Mycroft type system forces us to inject some superfluous constructors in the data structures used to represent programs for the transformations in the chapters 4 and 5. ... Using arrows for these pointers would make the picture unreadable. graph store A,B,C-stack program store descriptor store ю channel Г( f |Cons|_rnf| üM. ... The translation is explained and illustrated with a number of examples in chapter 5. The Clean program is represented by the AST defined in section 5.3. ...doi:10.1098/rsta.1984.0065 fatcat:s2jq4lnauvfdzd5alqp2stsxsm
« Previous Showing results 1 — 15 out of 57 results