Filters








294,479 Hits in 2.2 sec

A logical basis for programming methodology

Satoru Takasu, Sukemitsu Kawabata
1981 Theoretical Computer Science  
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

Page 3504 of Mathematical Reviews Vol. , Issue 94f [page]

1994 Mathematical Reviews  
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.  ... 

Methods and Methodologies for Developing Answer-Set Programs - Project Description

Johannes Oetsch, Jörg Pührer, Hans Tompits, Marc Herbstritt
2010 International Conference on Logic Programming  
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

A decision-support methodology for priority allocation among road users at signalized junctions

Ayelet Gal-Tzur, Niv Eden, David Mahalel
2011 Procedia - Social and Behavioral Sciences  
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

Preface

Savi Maharaj, Carron Shankland, Charles Rattray
2006 Theoretical Computer Science  
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

AEC Collaborative Information Systems: From Requirements to Architecture [chapter]

Hossam El-Bibany
1994 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

Page 146 of Journal of Research and Practice in Information Technology Vol. 25, Issue 4 [page]

1993 Journal of Research and Practice in Information Technology  
/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.  ... 

A Compiler for Ordered Logic Programs [article]

James P. Delgrande, Torsten Schaub, Hans Tompits
2000 arXiv   pre-print
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

On the Problem of the Development of Astronomical Refraction Methodology on the Basis of New Technology

V. I. Sergienko
1990 Symposium - International astronomical union  
before us a number of fundamental difficulties in that hundreds of correct solutions to these problems require a systematic approach.The most suitable cybernetics-mathematical composite for solving the  ...  intellect (logical-linguistic model).  ...  IP address: 207.241.231.82, on 28 Jul 2018 at 05:04:20, subject to the Cambridge Core terms of use, ON THE PROBLEM OF THE DEVELOPMENT OF ASTRONOMICAL REFRACTION METHODOLOGY ON THE BASIS OF NEW TECHNOLOGY  ... 
doi:10.1017/s0074180900086538 fatcat:4ueywujt5jcv3pfe4hm2nuioia

Modeling of physical phenomena as a methodological means of forming a knowledge structure in physics and programming

Nina Holovina, Mykola Holovin
2021 ScienceRise Pedagogical Education  
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 [6] . Let's break the solution of the problem into subtasks: 1.  ... 
doi:10.15587/2519-4984.2021.237974 fatcat:oigtch4g7fbathf5pn2pbzh2py

Programming logics: An introduction to verification and semantics

Wim H. Hesselink
1990 Science of Computer Programming  
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

METHODIK ZUR ENTWICKLUNG ALGORITHMIC DENKEN DER STUDENTEN ZUR PROGRAMMIERUNG IN HOCHSCHULEN

Tokhirov Feruz Jamoliddinovich
2022 Zenodo  
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

METHODIK ZUR ENTWICKLUNG ALGORITHMIC DENKEN DER STUDENTEN ZUR PROGRAMMIERUNG IN HOCHSCHULEN

Tokhirov Feruz Jamoliddinovich
2022 Zenodo  
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

Page 1580 of Mathematical Reviews Vol. , Issue 92c [page]

1992 Mathematical Reviews  
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.”  ... 

Page 3987 of Mathematical Reviews Vol. , Issue 82i [page]

1982 Mathematical Reviews  
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