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
This gives us a logical basis foa programming methodology since the programming concepts such as assignment statements, IIF-statements and WHI[LE-statements are fully explained logically, here '1ogiczAly ... FIND is stprdied methodologically. ... Acknowledgment The author would like to express his gratitude to Professor Takeshi Hayashi who gave him a kind criticism. This study was supported by Grant-in-aid (C)458018 of Japan. ...doi:10.1016/0304-3975(81)90030-x fatcat:wcgq5uwon5hbnfwppz7xpau6di
It discusses the design of a concurrent logic programming language, named Conclog, and a methodology for constructing programs in this language. ... We pro- pose an algorithm for deciding whether a conceptual graph is canonical relative to a given canonical basis. ...
Generally, the focus of research will be on methodologies for systematic program development, program testing, and debugging. ... However, arguably one of the main challenges for a wider acceptance of ASP is the need of tools, methods, and methodologies that support the actual programming process. ... Testing methodologies Though crucial for the quality of conventional software, there is little work on testing methodologies for logic programs. ...doi:10.4230/lipics.iclp.2010.154 dblp:conf/iclp/OetschPT10 fatcat:touc6as53fhorktnafjfeqpdei
This paper suggests a methodology for performing the selection process. ... The methodology described in this article for selecting an alternative signal program is based on a definition of Standard Planning Attributes (SPA), which serve as a "data dictionary". ... The comparison should be performed on the basis of the type of PA implemented within the signal program logic and the PAT assigned for each signal program. ...doi:10.1016/j.sbspro.2011.08.107 fatcat:uvzuwfnrb5cvxkmpf46fzskrf4
would like to thank everyone who contributed to the success of the meeting including the invited speakers, authors of the contributed papers, members of the AMAST steering committee, and members of the program ... The paper of van Riemsdijk et al. also contributes to software technology by providing a formal semantics for a high-level metalanguage for programming artificially intelligent agents. • Programming methodology ... for programs with recursive data structures and while constructs. ...doi:10.1016/j.tcs.2005.09.063 fatcat:6cc55txyhvfeleetoccn4ss4iy
Automation and Robotics in Construction Xi
Section 2 presents the framework and the need for parametric representation and constraint-based reasoning as a unifying methodology. ... This paper briefly presents the philosophy behind and the basis for a conceptual design of a human-computer architecture to facilitate design, management and coordination in AEC projects. ... The work presented in this paper has been implemented in a prototype using objectoriented logic programming techniques. Preliminary tests have served to build and refine the architecture. ...doi:10.1016/b978-0-444-82044-0.50072-2 fatcat:uha3ar7xh5ehlkyigrsjbdgcra
/TL, framework provides a basis for modelling the behaviour of a real-time system. ... ., MANNA, Z. and PNUELI, A. (1990): Temporal Proof Methodologies for Real-Time Systems, Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages, pp. 353- 366, January. ...
This paper describes a system, called PLP, for compiling ordered logic programs into standard logic programs under the answer set semantics. ... In particular, PLP is conceived as a front-end to the logic programming systems dlv and smodels. ... PLP realizes a further front-end for these systems, handling ordered logic programs. ...arXiv:cs/0003024v1 fatcat:lsebf4il7zgulb7rxeat7wawna
The methodology of such work is well formulated, especially in the well-known methods of descending step-by-step detailing and in modular programming ... To bring the theoretical basis to the improvement of the methodic of carrying out laboratory works in physics and computer sciences, a study of psychological and cognitive processes that accompany the ... These two methodologies are the basis of the practice of structural programming  . Let's break the solution of the problem into subtasks: 1. ...doi:10.15587/2519-4984.2021.237974 fatcat:oigtch4g7fbathf5pn2pbzh2py
This leads to the conclusion that a book on program verification must have the same semantical basis as books on programming methodology. ... Such mechanical assistance requires a profound knowledge of programming logics, but programming logics of a certain kind, namely those that are most adequate for human program derivation. ...doi:10.1016/0167-6423(90)90074-n fatcat:xti4uef36vgjdk4elsyujmle4m
Magamedov studied the problems of forming a system-logical thinking of a future computer science teacher on object-oriented programming. ... A model for developing students' programming algorithmic thinking. http://berlinstudies.de/ 10.5281/zenodo.6326733 ...doi:10.5281/zenodo.6326732 fatcat:caaivgok3fbzxcr75jjvuzzgse
Magamedov studied the problems of forming a system-logical thinking of a future computer science teacher on object-oriented programming. ... A model for developing students' programming algorithmic thinking. http://berlinstudies.de/ 10.5281/zenodo.6338468 ...doi:10.5281/zenodo.6338468 fatcat:jffv5lf3vvgsvkdnzbk5isk7wa
Summary: “We describe a methodology for proving termination of logic problems. ... With this as the basis, we develop a simple method for establishing the termination of logic programs. The simplicity and practicality of the method are illustrated by examples.” ...
Takasu, Satoru; Kawabata, Sukemitsu A logical basis for programming methodology. Theoret. Comput. Sci. 16 (1981), no. 1, 43-60. ... This gives us a logical basis for programming methodology since the programming concepts such as assignment statements, IF-statements and WHILE-statements are fully explained logically; here ‘logically ...
« Previous Showing results 1 — 15 out of 294,479 results