Filters








150,803 Hits in 2.6 sec

Search and imperative programming

Krzysztof R. Apt, Andrea Schaerf
1997 Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97  
We augment the expressive power of imperative programming in order to make it a more attractive vehicle for problems that involve search.  ...  The proposed language is an intermediate stage on the road towards a realization of a strongly typed constraint programming language that combines the advantages of the logic programming and imperative  ...  Acknowledgements We would like to thank Feliks Kluiniak for detailed comments on a preliminary version of the paper and Ken McAloon and Carol Tretkoff for useful discussions concerning 2LP.  ... 
doi:10.1145/263699.263709 dblp:conf/popl/AptS97 fatcat:mi7e3vagujfavj5z57hwfii3y4

A Functional Programming Approach to AI Search Algorithms

János Pánovics
2012 Journal of Information Technology Education Innovations in Practice  
Executive Summary The theory and practice of search algorithms related to state-space represented problems form the major part of the introductory course of Artificial Intelligence at most of the universities  ...  Students usually meet these algorithms only in some imperative or object-oriented language (e.g., Java or C#) during the seminars.  ...  Search Algorithms in Different Programming Languages The first implementations of AI search algorithms were programmed using the first popular highlevel imperative programming language, Fortran, and the  ... 
doi:10.28945/1736 fatcat:ytavnxtprzh6vopcpfjybe5fjy

Page 103 of Biblical Viewpoint Vol. 30, Issue 2 [page]

1996 Biblical Viewpoint  
Logos uses a standard drop-down box in the search dialog, along with typed-out Boolean operators (such as “andand “or”).  ...  For example, a period signifies an “andsearch (finds verses containing all the specified words), a forward slash speci- fies an “or” search (finds verses containing any of the specified words), and a  ... 

On Development Practices for End Users [chapter]

Alessandro Bozzon, Marco Brambilla, Muhammad Imran, Florian Daniel, Fabio Casati
2011 Lecture Notes in Computer Science  
The paper discusses some trends in end user programming (EUP) and takes inspiration from the discussions in a panel and in a vertical session on research evaluation within the second Search Computing workshop  ...  We discuss various dimensions of end user programming, including vertical versus horizontal language definition, declarative versus imperative approaches.  ...  The Search Computing and ResEval approaches have been considered as representative examples.  ... 
doi:10.1007/978-3-642-19668-3_18 fatcat:2wii24cjrffv7b4v45i5lwj2vu

Imperative functional programming

U. S. Reddy
1996 ACM Computing Surveys  
It is often felt that imperative computations and functional programming are in conflict.  ...  Quantities here are imperative computations and functions denote dependences between imperative computations.  ...  It is often felt that imperative computations and functional programming are in conflict.  ... 
doi:10.1145/234528.234736 fatcat:obrufxbfj5eqbkptrah7arerhe

Classical Programming Topics with Functional Programming

Márton Visnovitz
2020 Central-European Journal of New Technologies in Research Education and Practice  
These generic algorithm patterns are traditionally introduced using the imperative programming paradigm with sequences, loops, and conditions.  ...  After learning about programming theorems and basic algorithms the next step is usually to go in the direction of objectoriented programming.  ...  research has been supported by the European Union, co-financed by the European Social Fund (EFOP-3.6.2-16-2017-00013, Thematic Fundamental Research Collaborations Grounding Innovation in Informatics and  ... 
doi:10.36427/cejntrep.2.2.965 fatcat:kktr2xwfgzaa3njiwbvgwjyviy

Automated transpilation of imperative to functional code using neural-guided program synthesis

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Işil Dillig
2022 Proceedings of the ACM on Programming Languages (PACMPL)  
We have implemented our approach in a tool called NGST2 and use it to translate imperative Java and Python code to functional variants that use the Stream and functools APIs respectively.  ...  While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no effective techniques  ...  Research Grant, as well as both Intel and RelationalAI.  ... 
doi:10.1145/3527315 fatcat:awo63jde3jfd5hhj7uukucdqja

Notification Oriented Paradigm (NOP) and Imperative Paradigm: A Comparative Study

Jean M. Simão, Cesar A. Tacla, Paulo C. Stadzisz, Roni F. Banaszewski
2012 Journal of Software Engineering and Applications  
These paradigms are essentially Imperative Paradigm (IP) and Declarative Paradigm (DP).  ...  This paper presents a new programming paradigm named Notification Oriented Paradigm (NOP) and analyses performance aspects of NOP programs by means of an experiment.  ...  Other Programming Approach Drawbacks Enhancements in the context of Imperative and Declarative Paradigm have been provided to reduce the effects of recurrent loops or searches, such as event-driven programming  ... 
doi:10.4236/jsea.2012.56047 fatcat:m3p74pmpdbbb5lpfwfzzrygtbu

Imperative Program Synthesis from Answer Set Programs

Sarat Chandra Varanasi
2019 Electronic Proceedings in Theoretical Computer Science  
Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications.  ...  We are currently working on synthesizing imperative programs from ASP programs by turning the negation into useful computations.  ...  Currently we are working on synthesizing imperative code from Answer Set Programming specifications. ASP enables one to succinctly model various planning and combinatorial search problems [5] .  ... 
doi:10.4204/eptcs.306.55 fatcat:ptveajo7xngn5przh7bbltfxzu

Undergraduate AI and its non-imperative prerequisite

Deepak Kumar, Richard Wyatt
1995 ACM SIGART Bulletin  
Some coverage of classical AI programs should be included.  ...  They tend to prefer courses such a s imperative programming, networking, and operating systems, rather than those such as theory of computation, non-imperative programming, and AI.  ...  Subtopics include knowledge representation, state space searching, heuristic search, expert systems, expert system shells, natural language processing, propositional logic and cognitive models, and vision  ... 
doi:10.1145/201977.201982 fatcat:wxn2cv36xzbvdhudcumgiqriiu

Artificial Intelligence

Marvin L. Minsky
1966 Scientific American  
This work has two aspects: development of a system for instructing the computer in declarative, as well as imperative, sentences, called the advice taker,4 and development of a programming language called  ...  Minsky, Some methods of artificial intelligence and heuristic programming, Proc.  ...  This work has two aspects: development of a system for instructing the computer in declarative, as well as imperative, sentences, called the advice taker,4 and development of a programming language called  ... 
doi:10.1038/scientificamerican0966-246 fatcat:gcusduduljbuhdeyht3ecnlqha

Internal data management techniques for DOS/360

D. H. Ricour, V. Mei
1967 IBM Systems Journal  
Tailored Channel Program SEEK CYLINDER1 SEEK CYLINDERI SEARCH KEY1 SEARCH KEY1 TIC *-8 TIC *-8 READ DATAI READ DATAIL GATE1 TIC/NOP GATE1 TIC GATE2+8 SEARCH KEY2 SEARCH KEY2 TIC *-8 TIC *-8 READ DATA2  ...  Thus, there are several possible channel programs for each imperative macroinstruction and a total of more than fifty for the six possible imperative macroinstructions, requiring the use of sixty different  ... 
doi:10.1147/sj.61.0038 fatcat:mxta6gkyfnbwbonbo5ubsm44ce

Modular lazy search for Constraint Satisfaction Problems

THOMAS NORDIN, ANDREW TOLMACH
2001 Journal of functional programming  
4 ] [Kondrak9 4 ] 5 Lazy Functional Programming View • Modularize search into separate generate & test functions...  ...  Tree Search Example • Equivalent to ordinary imperative backtracking algorithm. • Tree is isomorphic to activation history tree for recursive implementation.  ...  -Can then recode in imperative style if desired -Constant factors don't matter much anyhow. 19 Fusion by Rewrite Rules • Search pipeline generates lots and lots of tree nodes. search ≈ leaves . prune  ... 
doi:10.1017/s0956796801004051 fatcat:o5ppfjoa5vaq5hsamxa6swnhoq

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version) [article]

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022 arXiv   pre-print
We have implemented our approach in a tool called NGST2 and use it to translate imperative Java and Python code to functional variants that use the Stream and functools APIs respectively.  ...  While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no effective techniques  ...  1:25 grant numbers CCF-1908494, CCF-1811865, CCF-1918889, DARPA under the HARDEN program, Google under the Google Faculty Research Grant, as well as both Intel and RelationalAI.  ... 
arXiv:2203.09452v2 fatcat:cff7ogv5wfgwlfnql6kvzhpngm

On Pattern-Based Programming Towards The Discovery Of Frequent Patterns

Kittisak Kerdprasop, Nittaya Kerdprasop
2007 Zenodo  
The comparative performance studies on line-of-code, speed and memory usage of declarative versus imperative programming have been reported in the paper.  ...  Most of the proposed frequent pattern mining algorithms have been implemented with imperative programming languages.  ...  The implementations of Apriori algorithm using Haskell and Prolog confirm our hypothesis about conciseness of the program.  ... 
doi:10.5281/zenodo.1077711 fatcat:ktbu7uqboza2fpej75lhf73jcq
« Previous Showing results 1 — 15 out of 150,803 results