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.
Filters
21 Input/Output
2003
Journal of functional programming
Preserved Fulltext
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]
2009
Lecture Notes in 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 2009; you can also visit the original URL.
The file type is application/pdf.
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
1996
Electronical Notes 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 2019; you can also visit the original URL.
The file type is application/pdf.
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
1994
Regional Science and Urban Economics
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.
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]
2015
Programmable Logic Controllers
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.
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]
2009
Programmable Logic Controllers
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.
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]
2006
Programmable Logic Controllers
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.
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]
2002
Computations in Algebraic Geometry with Macaulay 2
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 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2017
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.
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
1971
Proceedings of the third symposium on Operating systems principles - SOSP '71
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 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2018
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
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]
2018
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 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
1989
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.
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
1998
Journal of functional programming
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.
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
2015
Science of Computer Programming
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.
., 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