Filters








142,921 Hits in 4.3 sec

A Functional View of Imperative Information Flow [chapter]

Thomas H. Austin, Cormac Flanagan, Martín Abadi
2012 Lecture Notes in Computer Science  
Specifically, we translate an imperative language to a functional language, thus accounting for the main difficulties of information-flow control in the imperative language.  ...  We analyze dynamic information-flow control for imperative languages in terms of functional computation.  ...  In this paper we aim to contribute to the understanding of dynamic information-flow control, by translating imperative features to a functional calculus.  ... 
doi:10.1007/978-3-642-35182-2_4 fatcat:3p46i3qswbbtnnwce7oypjfqg4

An empirical study of novice program comprehension in the imperative and object-oriented styles

Vennila Ramalingam, Susan Wiedenbeck
1997 Papers presented at the seventh workshop on Empirical studies of programmers - ESP '97  
The results tend to support the view that language notations differ in how well they support the extraction of various kinds of information.  ...  It was found that there was a sharp contrast between the mental representations of the imperative and object-oriented programs.  ...  to be distinguishable entities containing operations and control flow information on the program side vs. data flow and function information on the domain side.  ... 
doi:10.1145/266399.266411 fatcat:j74hunefjfd43nimotvcp7inqa

JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs [article]

Eunji Jeong, Sungwoo Cho, Gyeong-In Yu, Joo Seong Jeong, Dong-Jin Shin, Byung-Gon Chun
2019 arXiv   pre-print
JANUS can convert various dynamic features of Python, including dynamic control flow, dynamic types, and impure functions, into elements of a symbolic dataflow graph.  ...  This paper presents JANUS, a system that combines the advantages from both sides by transparently converting an imperative DL program written in Python, the de-facto scripting language for DL, into an  ...  Figure 3 ( 3 a) is a simple, imperative Python program that calculates a linear model, written as a pure function without any dynamic control flow or arbitrary Python objects.  ... 
arXiv:1812.01329v2 fatcat:ltsplhjkdbca3nx66zbrftwgne

Declarative versus Imperative Process Modeling Languages: The Issue of Understandability [chapter]

Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, Stefan Zugal
2009 Lecture Notes in Business Information Processing  
In particular, we focus on imperative and declarative techniques of modeling a process.  ...  Cognitive research has demonstrated that imperative programs deliver sequential information much better while declarative programs offer clear insight into circumstantial information.  ...  For example, a software program is usually partitioned into modules or functions, which take in a group of inputs and provide some output.  ... 
doi:10.1007/978-3-642-01862-6_29 fatcat:7rrc6a2klvcwfistkwsujftc7y

A Brief Survey of Quantum Programming Languages [chapter]

Peter Selinger
2004 Lecture Notes in Computer Science  
This article is a brief and subjective survey of quantum programming language research.  ...  The basic quantum flow chart language of [14] is functional, in the sense of being free of side-effects.  ...  A common feature of these imperative quantum programming languages is that a program is viewed as a sequence of operations which operate by updating some global state.  ... 
doi:10.1007/978-3-540-24754-8_1 fatcat:27yiduvvkbeupkhxapnmm4ocem

From control flow to dataflow

Micah Beck, Richard Johnson, Keshav Pingali
1991 Journal of Parallel and Distributed Computing  
In this paper, we show how imperative language programs can be translated into dataflow graphs and executed on a dataflow machine like Monsoon.  ...  More importantly, we establish a close connection between our work and current research in the imperative languages community on data dependencies, control dependencies, program dependence graphs, and  ...  We thank Bob Rau the the Advanced Architecture group at Hewlett Packard for useful discussions on the subject of compiler intermediate forms.  ... 
doi:10.1016/0743-7315(91)90016-3 fatcat:jmsx3hdrkjerffekpal4g3in2u

Representation-independent program analysis

Michelle Mills Strout, John Mellor-Crummey, Paul Hovland
2006 Software engineering notes  
to support the implementation of a broad range of analysis algorithms and also represent constructs within many imperative programming languages.  ...  Analysis-specific IR interfaces for alias/pointer analysis algorithms and reaching constants illustrate that an IR interface designed for language dependence is capable of providing enough information  ...  This work was supported in part by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Advanced Scientific Computing Research, Office of Science, U.S.  ... 
doi:10.1145/1108768.1108810 fatcat:l6agnmqo3raz7obvhfjkjfxz2i

Representation-independent program analysis

Michelle Mills Strout, John Mellor-Crummey, Paul Hovland
2005 The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05  
to support the implementation of a broad range of analysis algorithms and also represent constructs within many imperative programming languages.  ...  Analysis-specific IR interfaces for alias/pointer analysis algorithms and reaching constants illustrate that an IR interface designed for language dependence is capable of providing enough information  ...  This work was supported in part by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Advanced Scientific Computing Research, Office of Science, U.S.  ... 
doi:10.1145/1108792.1108810 dblp:conf/paste/StroutMH05 fatcat:qvaocgwzg5g5np5ztapwoxp2fe

Page 635 of American Society of Civil Engineers. Collected Journals Vol. 116, Issue HY6 [page]

1990 American Society of Civil Engineers. Collected Journals  
SIMULATION OF HYDROGEOLOGICAL VARIABLES The purpose of simulation is to generate functions or sets of values of a hydrogeologic variable that are consistent with available information.  ...  Solow and Gorelick (1986), on the other hand, view measurements at each site as realizations of a separate but correlated one-dimensional random function.  ... 

Functionally Modeled User Interfaces [chapter]

Antony Courtney
2003 Lecture Notes in Computer Science  
We consider one example (a basic media controller) in detail, and contrast the executable specification style of Fruit with a more traditional "rapid prototype" implementation using an imperative, object-oriented  ...  Fruit is a new user interface toolkit based on a formal model of user interfaces. This formal basis enables us to write simple, concise executable specifications of interactive applications.  ...  Finally, thanks to Ross Paterson, Magnus Carlsson and many anonymous reviewers for providing valuable feedback on early drafts of this paper.  ... 
doi:10.1007/978-3-540-39929-2_8 fatcat:o2usykvaxnemrfjf3btugqwvku

Dependence flow graphs: an algebraic approach to program dependencies

Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill
1991 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91  
Then, we propose a novel representation called the dependence flow graph which has each of the properties mentioned above.  ...  In this paper, we argue that any good representation of a program must have two crucial properties: first, it must be a data structure that can be rapidly traversed to determine dependence information,  ...  Like a Necker cube, this representation will permit two points of view -it can be viewed as a data structure that can be traversed efficiently for dependence information, but it can also be viewed as a  ... 
doi:10.1145/99583.99595 dblp:conf/popl/PingaliBJMS91 fatcat:rkmzwkv7lbcydjcu2hf7n72h4m

Object-Aware Business Processes

Vera Künzle, Barbara Weber, Manfred Reichert
2011 International Journal of Information System Modeling and Design  
A common characteristic of these processes is the role of business objects and data as drivers for process modeling and enactment.  ...  We consider a tight integration of process and data as major step towards further maturation of process management technology.  ...  Fig. 15: Evaluating the imperative approach Hidden information flows (A) Usually, imperative approaches enable the explicit definition of data flows between activities based on atomic data elements.  ... 
doi:10.4018/jismd.2011040102 fatcat:qui7omgu5ndgdjr3avrwwfg7vu

SAFE: A Programming Language for Software Quality [chapter]

B. K. Oliver, R. G. Dromey
1995 IFIP Advances in Information and Communication Technology  
Here a new imperative programming language called SAFE is introduced, which is designed to facilitate the construction of quality software.  ...  A heavy responsibility for ensuring the quality of programs currently rests with progranuners. Existing languages do little to reduce this burden.  ...  , a powerful form of information hiding.  ... 
doi:10.1007/978-0-387-34848-3_35 fatcat:f5b7bx3yujdkdoylnnvdmft2km

Cerebral Hemodynamics and Vigilance Performance

Joel S. Warm, Gerald Matthews, Raja Parasuraman
2009 Military Psychology  
blood flow velocity scores across sensory modalities as a function of periods of watch.  ...  Due to their memory imperative, Parasuraman and Davies argued that successive tasks are more capacity demanding than simultaneous tasks, a view supported by a wide variety of studies from our laboratory  ...  In the conduct of research where humans are the subjects, the investigator(s) adhered to the policies regarding the protection of human subjects as prescribed by 45 CFR 46 and 32 CFR 219 (Protection of  ... 
doi:10.1080/08995600802554706 fatcat:erqbtb5e3ncpxbgmcv7gk5ribu

Multiparadigm design of a simple relational database

Charles D. Knutson, Timothy A. Budd, Hugh Vidos
2000 SIGPLAN notices  
paradigms (including imperative, objectoriented, functional and logic).  ...  Multiparadigm programming languages (such as Leda) seek to merge elements of several programming paradigms into a single cohesive language that utilizes programming and conceptual aspects from various  ...  We believe that there is much to be discovered about the implications for multiparadigm design, independent of a particular multiparadigm language, but even more powerfully in the presence of well-designed  ... 
doi:10.1145/369928.369947 fatcat:r7aczppdxjhx3a44yrkiglzova
« Previous Showing results 1 — 15 out of 142,921 results