The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 127 of Journal of Research and Practice in Information Technology Vol. 9, Issue 3
[page]
1977
Journal of Research and Practice in Information Technology
Preserved Fulltext
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. ...
A Short Historical Survey of Functional Hardware Languages
2012
ISRN Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
Proceedings of the Third Workshop on Formal Integrated Development Environment
2017
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
'Alexa, Adv(ert)ise us!'
2021
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
A selected descriptor-indexed bibliography to the literature on belief revision
1980
ACM SIGART Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Programming in Three Dimensions
1996
Journal of Visual Languages and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
SECURITY INTELLIGENCE FOR INDUSTRY 4.0: DESIGN AND IMPLEMENTATION
2018
Theoretical & Applied Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Page 305 of IBM Systems Journal Vol. 28, Issue 2
[page]
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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. ...
The Task and Workslip Scheme for Personal Agent Systems
2020
2020 IEEE International Conference on Humanized Computing and Communication with Artificial Intelligence (HCCAI)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
WYSINWYX
2010
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Automated Fixing of Programs with Contracts
2014
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2014 pre-print arXiv:1403.1117v2 fatcat:ywzaduszbjgivhbum6ho32mesiOther Versions
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
Unifying graded and parameterised monads
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Fifty Years of Prolog and Beyond
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Scalable Open-Source Architecture for Real-Time Monitoring of Adaptive Wiring Panels
2014
Journal of Aerospace Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Functional Programs as Executable Specifications [and Discussion]
1984
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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