Search results for "side-effects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Stephan Jacobs	Introducing Measurable Quality Requirements: A Case Study.	RE	1999	DBLP DOI BibTeX RDF	introduction, measurements, case study, non-functional requirements, quality requirements
6	Flemming Nielson, Hanne Riis Nielson	Interprocedural Control Flow Analysis.	ESOP	1999	DBLP DOI BibTeX RDF
6	Andrea Corradini 0001, Reiko Heckel, Ugo Montanari	Tile Transition Systems as Structured Coalgebras.	FCT	1999	DBLP DOI BibTeX RDF
6	Vassilis Prevelakis, Jean-Henry Morin, Dimitri Konstantas	Controlling the Dissemination of Electronic Documents.	DEXA Workshops	1999	DBLP DOI BibTeX RDF
6	Chanik Park, JaeWoong Chung, Soonhoi Ha	Extended Synchronous Dataflow for Efficient DSP System Prototyping.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	DSP system prototyping, Synchronous Dataflow
6	Xiaobo Li 0001, Jiankang Wang	Adaptive Balloon Models.	CVPR	1999	DBLP DOI BibTeX RDF	balloon, adaptive, active contour models
6	Jean-Francois Collard, Martin Griebl	A Precise Fixpoint Reaching Definition Analysis for Arrays.	LCPC	1999	DBLP DOI BibTeX RDF
6	Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh	A Methodology for Feature Interaction Detection in the AIN 0.1 Framework.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	feature specification and modeling, feature interactions, Intelligent networks, telecommunication services
6	Pietro Cenciarelli	An Algebraic View of Program Composition.	AMAST	1998	DBLP DOI BibTeX RDF
6	James Abello, Adam L. Buchsbaum, Jeffery R. Westbrook	A Functional Approach to External Graph Algorithms.	ESA	1998	DBLP DOI BibTeX RDF
6	Martin F. Arlitt, Rich Friedrich, Tai Jin	Performance Evaluation of Web Proxy Cache Replacement Policies.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
6	Avinash Sodani, Gurindar S. Sohi	An Empirical Analysis of Instruction Repetition.	ASPLOS	1998	DBLP DOI BibTeX RDF
6	Rainer Leupers, Peter Marwedel	Time-constrained code compaction for DSPs.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
6	Philip Wadler	How to Declare an Imperative.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	functional programming, Haskell, monad
6	Lale Akarun, Yasemin Yardimci, A. Enis Çetin	Adaptive methods for dithering color images.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
6	Luke Hornof, Jacques Noyé	Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.	PEPM	1997	DBLP DOI BibTeX RDF	C
6	Qiang Liu, Zhaoqing Zhang, Xiaomei Ji	Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing.	APDC	1997	DBLP DOI BibTeX RDF
6	Lourdes Araujo	Towards Full Prolog on a Distributed Architecture.	Euro-Par	1997	DBLP DOI BibTeX RDF
6	Gian-Luigi Ferrari 0002, Ugo Montanari	A Tile-Based Coordination View of Asynchronous pi-Calculus.	MFCS	1997	DBLP DOI BibTeX RDF
6	Marvin Schaefer, Sylvan Pinsky, Drew Dean, Li Gong, Jim Roskind, Barbara Fox	Ensuring Assurance in Mobile Computing.	S&P	1997	DBLP DOI BibTeX RDF	mobile computing assurance, mobile code applications, malicious applets, rogue applets, JavaSoft, vendors, Java, research, data security, software portability, software portability
6	Ian J. Palmer	Dynamic Behaviors for Computer Animation: the Use of Java.	CA	1997	DBLP DOI BibTeX RDF	Java, World-Wide Web, Animation, VRML, Behaviour
6	Manuel Serrano, Marc Feeley	Storage Use Analysis and its Applications.	ICFP	1996	DBLP DOI BibTeX RDF
6	Luc Moreau 0001	The Semantics of Scheme with Future.	ICFP	1996	DBLP DOI BibTeX RDF
6	Sean Zhang, Barbara G. Ryder, William Landi	Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	C
6	Gene Cooperman	TOP-C: A Task-Oriented Parallel C Interface.	HPDC	1996	DBLP DOI BibTeX RDF	TOP-C, task-oriented parallel C interface, parallel application development, learning barriers, parallel library, task input, sequential code, NOW architecture, masterslave architecture, shared memory implementation, SUN Solaris, SGI architecture, Todd-Coxeter coset enumeration, parallel programming, MPI, software tools, shared memory systems, application program interfaces, data-parallelism, software libraries, SMP, subroutines, subroutine, C language, mathematics computing, parallelising compilers, parallelising compiler, integer factorization, global variables
6	Tim Birus, Christine Cipriani, Dean Sutherland	Interprocedural Call Optimization.	Ada-Europe	1996	DBLP DOI BibTeX RDF
6	Genjiang Zhu, Li Xie, Zhongxiu Sun	A New Methodology of Data Dependence Analysis for Parallelizing C++.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	C++
6	Terry Bollinger	Soapbox.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
6	Vijayshri Maheshwari, Joel Darnauer, John Ramirez, Wayne Wei-Ming Dai	Design of FPGAs with Area I/O for Field Programmable MCM.	FPGA	1995	DBLP DOI BibTeX RDF
6	Akihiko Matsuo, Sanya Uehara, Minako Kimura	A Maintenance Support System based on High-Level Control-Flow and Data Dependency.	APSEC	1995	DBLP DOI BibTeX RDF	large-scale business application system, data dependency, control-flow, program maintenance, ripple effect analysis
6	Cristina Gacek	Exploiting Domain Architectures in Software Reuse.	SSR	1995	DBLP DOI BibTeX RDF
6	Chung-Ming Huang, Ruey-Yang Lee	Multimedia synchronization for live presentation using the N-buffer approach.	ICNP	1995	DBLP DOI BibTeX RDF
6	Genjiang Zhu, Li Xie, Zhongxiu Sun	A Path-Based Method of Parallelizing C++ Programs.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C++
6	Neil J. Howard, Andrew M. Tyrrell, Nigel M. Allinson	The yield enhancement of field-programmable gate arrays.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
6	Peter V. Homeier, David F. Martin	Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.	TPHOLs	1994	DBLP DOI BibTeX RDF
6	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
6	Xue Li, Zahir Tari	Consistency Checking of Evolving Methods.	DEXA	1994	DBLP DOI BibTeX RDF
6	Martin Helmut Alt, Uwe Aßmann, Hans van Someren 0001	Cosy Compiler Phase Embedding with the CoSy Compiler Model.	CC	1994	DBLP DOI BibTeX RDF
6	Reinhard von Hanxleden, Ken Kennedy	GIVE-N-TAKE - A Balanced Code Placement Framework.	PLDI	1994	DBLP DOI BibTeX RDF	FORTRAN
6	Xavier Redon, Paul Feautrier	Scheduling reductions.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
6	Kamal Dean Pharhizgar, Stephen E. Lunce	Genealogical approaches to ethical implications of informational assimilative integrated discovery systems (AIDS) in business.	Ethics in Computer Age	1994	DBLP DOI BibTeX RDF	ARPANET
6	Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini	Pointer-Induced Aliasing: A Clarification.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
6	Shibin Hu	Comment on Cooper and Kennedy's Flow-Insensitive Interprocedural Summary Information Computation Algorithm.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
6	Andrew M. Pitts, Ian David Bede Stark	Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?	MFCS	1993	DBLP DOI BibTeX RDF
6	Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca	The LOGRES prototype.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
6	Chung-Kwong Yuen	An abstract machine design for lexically scoped parallel Lisp with speculative processing.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	LISP
6	Stephen Dean Brown, Jonathan Rose, Zvonko G. Vranesic	A detailed router for field-programmable gate arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
6	Jonas Löwgren	The Ignatius Environment: Supporting the Design and Development of Expert-System User Interfaces.	IEEE Expert	1992	DBLP DOI BibTeX RDF
6	Abdullah Uz Tansel, Lucy Garnett	On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
6	Henrik Nilsson, Peter Fritzson	Algorithmic Debugging for Lazy Functional Languages.	PLILP	1992	DBLP DOI BibTeX RDF
6	Jyh-Herng Chow, Williams Ludwell Harrison III	Compile-Time Analysis of Parallel Programs that Share Memory.	POPL	1992	DBLP DOI BibTeX RDF
6	Lorenz Huelsbergen, James R. Larus	Dynamic Program Parallelization.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
6	Michel Billaud	Axiomatizations of Backtracking.	STACS	1992	DBLP DOI BibTeX RDF	foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
6	Gopal Gupta 0001, Vítor Santos Costa	And-Or Parallelism in Full Prolog with Paged Binding Arrays.	PARLE	1992	DBLP DOI BibTeX RDF
6	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
6	Minas E. Spetsakis, Yiannis Aloimonos	A multi-frame approach to visual motion perception.	Int. J. Comput. Vis.	1991	DBLP DOI BibTeX RDF
6	Simon F. Wail	Implementing a conventional language for a dataflow architecture.	SPDP	1991	DBLP DOI BibTeX RDF
6	Alexander D. Stoyenko	SUPRA-RPC: SUbprogram PaRA meters in Remote Procedure Calls.	SPDP	1991	DBLP DOI BibTeX RDF
6	Stefan Björnson	Information Engineering for Systems in Ada.	Ada-Europe	1991	DBLP DOI BibTeX RDF
6	Hugues Bersini, Francisco J. Varela	Hints for Adaptive Problem Solving Gleaned from Immune Networks.	PPSN	1990	DBLP DOI BibTeX RDF
6	Heidi J. C. Ellis, Steven A. Demurjian, Fred J. Maryanski, George McA. Beshers, Joan Peckham	Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of Propagation.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
6	Guy L. Steele Jr.	Making Asynchronous Parallelism Safe for the World.	POPL	1990	DBLP DOI BibTeX RDF
6	Mark A. Sheldon, David K. Gifford	Static Dependent Types for First Class Modules.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	LISP
6	Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari	Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
6	Si-En Chang, Mark L. Manwaring, Y. Paul Chiang	Extended restricted AND-parallelism execution model.	SPDP	1990	DBLP DOI BibTeX RDF
6	Georges Gardarin, Jerry Kiernan	Deductive Database Rule Languages: Analysis and Case Study.	IBM Symposium: Database Systems of the 90s	1990	DBLP DOI BibTeX RDF
6	Rick Bubenik, Willy Zwaenepoel	Performance of Optimistic Make.	SIGMETRICS	1989	DBLP DOI BibTeX RDF	V
6	Richard Hull 0001, Jianwen Su	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract).	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
6	Jay W. Warfield, Henry R. Bauer III	An expert system for a retargetable peephole optimizer.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
6	Huang Weiqiao	Industrializing software production.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
6	Pete Tinker, Morry Katz	Parallel Execution of Sequential Scheme with ParaTran.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF	SCHEME
6	Uday S. Reddy	Objects as Closures: Abstract Semantics of Object-Oriented Languages.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
6	James A. Davis	A functional language architecture that supports fine-grain parallelism (extended abstract).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
6	György E. Révész	Rule-Based Semantics for an Extended Lambda-Calculus.	MFPS	1987	DBLP DOI BibTeX RDF
6	Pierre G. Paulin, John P. Knight	Force-Directed Scheduling in Automatic Data Path Synthesis.	DAC	1987	DBLP DOI BibTeX RDF
6	Keith D. Cooper, Ken Kennedy, Linda Torczon	The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
6	Gerd Krüger 0001	Automatic generation of self-test programs - a new feature of the MIMOLA design system.	DAC	1986	DBLP DOI BibTeX RDF
6	Charles Kapps	Testing an integrated circuit for what it should not do (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
6	S. Kamal Abdali, David S. Wise	Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
6	Wolfgang Polak	Program Verification Based on Denotational Semantics.	POPL	1981	DBLP DOI BibTeX RDF
6	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
6	Richard L. Schwartz	An Aximatic Treatment of Algol 68 Routines.	ICALP	1979	DBLP DOI BibTeX RDF
6	Steven M. German	Automating Proofs of the Absence of Common Runtime Errors.	POPL	1978	DBLP DOI BibTeX RDF
6	John C. Reynolds	Syntactic Control of Interference.	POPL	1978	DBLP DOI BibTeX RDF
6	Zohar Manna	Knowledge and Reasoning in Program Synthesis.	Programming Methodology	1974	DBLP DOI BibTeX RDF
6	Herbert Kanner, P. Kosinski, Charles L. Robinson	The structure of yet another ALGOL compiler.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL