Filters








149,938 Hits in 6.4 sec

21 Input/Output

SIMON PEYTON JONES
2003 Journal of functional programming  
Many of these functions are generalizations of Prelude functions. I/O in the Prelude generally uses stdin and stdout; here, handles are explicitly specified by the I/O operation.  ...  Summing Two Numbers This program reads and sums two Integers. import IO main = do hSetBuffering stdout NoBuffering putStr "Enter an integer: " x1 <-readNum putStr "Enter another integer: " x2 <-readNum  ...  Note that exactly two arguments must be supplied to the program.  ... 
doi:10.1017/s0956796803002314 fatcat:2mp5ofdaq5hexebxymt73547xy

Input-Output Model Programs [chapter]

Margus Veanes, Nikolaj Bjørner
2009 Lecture Notes in Computer Science  
For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player.  ...  Conformance between the two model programs means that the output (input) player only makes output (input) moves that are allowed by the input (output) players model program.  ...  Figure 1 illustrates two input-output model programs written in AsmL [3, 18] .  ... 
doi:10.1007/978-3-642-03466-4_21 fatcat:6ngkhoeyljhn7mtwy3kbxhsydu

Input/Output for ELAN

Patrick Viry
1996 Electronical Notes in Theoretical Computer Science  
We show h o w to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speci cation of -calculus.  ...  This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the e ectiveness of this approach.  ...  OBJ3 GKK + 87], Redux B un93], ELAN KKM95] ) o er a nice programming model and are quite e cient, but lack input/output (I/O) capabilities.  ... 
doi:10.1016/s1571-0661(04)00033-7 fatcat:56llq52e6ffsnekvlxybh4xeei

Neoclassical input-output analysis

Thijs ten Raa, Pierre Mohnen
1994 Regional Science and Urban Economics  
When commodities are aggregated to the 29 sectors, the shadow prices to the programs fulfil the value equations of input-output analysis and admit a decomposition of Canadian inefficiency in 5°~, X-inefficiency  ...  The Canadian comparative advantage is determined by maximization of foreign earnings subject to input-output relations between 29 industries and 92 commodities.  ...  At the sectoral level, production functions remain of the standard input output type. In a classical input-output study, Leontief (1953) assessed the factor position of an economy.  ... 
doi:10.1016/0166-0462(94)90023-x fatcat:lqye75f3tzerrlgca2xkpl3npi

Ladder and Functional Block Programming [chapter]

W. Bolton
2015 Programmable Logic Controllers  
Figure 11 .23: Function block www.newnespress.com Inputs Output Function Logic Gates Programs are often concerned with logic gates.  ...  rung with two outputs Input Input Output A Output A Output B Output B Input A Input B Input A Input B Output A Output A Output B Output B  ... 
doi:10.1016/b978-0-12-802929-9.00005-4 fatcat:od55tkybzrcuhj2ktv7atmf3n4

Ladder and Functional Block Programming [chapter]

W. Bolton
2009 Programmable Logic Controllers  
Figure 11 .23: Function block www.newnespress.com Inputs Output Function Logic Gates Programs are often concerned with logic gates.  ...  rung with two outputs Input Input Output A Output A Output B Output B Input A Input B Input A Input B Output A Output A Output B Output B  ... 
doi:10.1016/b978-1-85617-751-1.00005-7 fatcat:g274dzkrkbfvpotjkwwrvsmf2a

Ladder and functional block programming [chapter]

W. Bolton
2006 Programmable Logic Controllers  
Figure 11 .23: Function block www.newnespress.com Inputs Output Function Logic Gates Programs are often concerned with logic gates.  ...  rung with two outputs Input Input Output A Output A Output B Output B Input A Input B Input A Input B Output A Output A Output B Output B  ... 
doi:10.1016/b978-075068112-4/50023-1 fatcat:ruwbcgm46bfkvodzb36u3bvwjm

Data Types, Functions, and Programming [chapter]

Daniel R. Grayson, Michael E. Stillman
2002 Computations in Algebraic Geometry with Macaulay 2  
the standard input output file Using endl to represent the new line character or character sequence, we can produce multiple lines of output.i48 : << "A = " << 2^100 << endl << "B = " << 2^200 << endl;  ...  The file stdio encountered above corresponds to your shell window or terminal, and is used for two-way communication between the program and the user.  ... 
doi:10.1007/978-3-662-04851-1_3 fatcat:dx7au3jkufborcd2uc36wm24ce

Documenting API Input/Output Examples [article]

Siyuan Jiang, Ameer Armaly, Collin McMillan, Qiyu Zhi, Ronald Metoyer
2017 arXiv   pre-print
When learning to use an Application Programming Interface (API), programmers need to understand the inputs and outputs (I/O) of the API functions.  ...  Our tool has three programs: 1) funcWatch, which collects I/O values when API developers run test suites, 2) ioSelect, which selects one I/O example from a set of I/O values, and 3) ioPresent, which embeds  ...  Any opinions, findings, and conclusions expressed herein are the authors' and do not necessarily reflect those of the sponsors.  ... 
arXiv:1703.09613v1 fatcat:sy5lygnywbgipb4ebj4amewyta

The Multics Input/Output system

R. J. Feiertag, E. I. Organick
1971 Proceedings of the third symposium on Operating systems principles - SOSP '71  
The I/O System is described and some popular applications of it, illustrating these features, are presented.  ...  Also particular devices are referenced by symbolic names and the binding of names to devices can be dynamically modified.  ...  Introduction In many early operating system designs the software known as the input/output control system (IOCS) played a central conceptual and functional role.  ... 
doi:10.1145/800212.806497 dblp:conf/sosp/FeiertagO71 fatcat:pgherihtczbp7presbh7je47k4

Towards Synthesizing Complex Programs from Input-Output Examples [article]

Xinyun Chen, Chang Liu, Dawn Song
2018 arXiv   pre-print
In recent years, deep learning techniques have been developed to improve the performance of program synthesis from input-output examples.  ...  parser from pairs of input programs and their parse trees.  ...  ACKNOWLEDGEMENT We thank Richard Shin, Dengyong Zhou, Yuandong Tian, He He, Yu Zhang, and Warren He for their helpful discussions.  ... 
arXiv:1706.01284v4 fatcat:rgag32xvjnfnnaay3vg4sebyfm

Combining Symbolic Expressions and Black-box Function Evaluations in Neural Programs [article]

Forough Arabshahi, Sameer Singh, Animashree Anandkumar
2018 arXiv   pre-print
This is because they mostly rely either on black-box function evaluations that do not capture the structure of the program, or on detailed execution traces that are expensive to obtain, and hence the training  ...  Previous works have failed to achieve good generalization performance, especially on problems and programs with high complexity or on large domains.  ...  Singh would like to thank Adobe Research and FICO for supporting this research.  ... 
arXiv:1801.04342v3 fatcat:qbgic3alo5fwjkr75rrkbzu2wa

Functional computations in logic programs

Saumya K. Debray, David S. Warren
1989 ACM Transactions on Programming Languages and Systems  
This paper describes how programs may be analyzed statically to determine which literals and predicates are functional, and how the program may then be optimized using this information.  ...  Knowledge about the functionality of predicates can be used to make significant improvements in the space and time requirements of a program.  ...  Downey pointed out the relationship between functionality and the Church-Rosser property of goal rewriting. Comments by the referees helped improve the paper considerably.  ... 
doi:10.1145/65979.65984 fatcat:r7rthnexibahpjaxvi3n2jtm3a

Applications of Functional Programming edited by Colin Runciman and David Wakeling, UCL Press Limited, 1995

Rex Page
1998 Journal of functional programming  
This application uses a circular definition in the output stream to extend the domain of the program while maintaining a separation between its data encoding and input/output components.  ...  It provides well-documented points of reference for researchers in the field of functional program development. It supplies worthwhile ideas to functional language implementors.  ...  The book's value does not rest entirely on functional programming.  ... 
doi:10.1017/s0956796898003232 fatcat:orqce4yxn5e53mllodzkpkacma

A feature model of actor, agent, functional, object, and procedural programming languages

Howell Jordan, Goetz Botterweck, John Noll, Andrew Butterfield, Rem Collier
2015 Science of Computer Programming  
., A feature model of actor, agent, functional, object, and procedural programming languages, Science of Computer Programming (2014), http://dx.  ...  Highlights • A survey of existing programming language comparisons and comparison techniques. • Definitions of actor, agent, functional, object, and procedural programming concepts. • A feature model of  ...  2011 and Science of Computer Programming, for providing many insightful comments on earlier drafts of this paper.  ... 
doi:10.1016/j.scico.2014.02.009 fatcat:f7odvseunfcezjsa376q7mrn74
« Previous Showing results 1 — 15 out of 149,938 results