Search results for "Strictness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
172	Tsung-Min Kuo, Prateek Mishra	On Strictness and its Analysis.	POPL	1987	DBLP DOI BibTeX RDF	ML
145	R. C. Sekar 0001, Shaunak Pawagi, I. V. Ramakrishnan	Small Domains Spell Fast Strictness Analysis.	POPL	1990	DBLP DOI BibTeX RDF
129	Stefan Holdermans, Jurriaan Hage	Making "stricterness" more relevant.	PEPM	2010	DBLP DOI BibTeX RDF	explicit strictness annotations, relevance typing, lazy evaluation, strictness analysis
90	Tihomir Gabric, Kevin Glynn, Harald Søndergaard	Strictness Analysis as Finite-Domain Constraint Solving.	LOPSTR	1998	DBLP DOI BibTeX RDF
78	Thomas P. Jensen	Disjunctive Program Analysis for Algebraic Data Types.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	abstract interpretaton, binding-time and data-flow analysis, nonstandard type systems, lambda calculus, strictness analysis
77	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann	Effective Strictness Analysis with HORN Constraints.	SAS	2001	DBLP DOI BibTeX RDF
73	Marcel Beemster	Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict).	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	lazy evaluation, graph reduction, strictness analysis
73	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
63	Kirsten Lackner Solberg	Strictness and Totality Analysis with Conjunction.	TAPSOFT	1995	DBLP DOI BibTeX RDF
63	Gary Lindstrom, Lal George, Dowming Yeh	Generating Efficient Code from Strictness Annotations.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
63	Paul Hudak, Jonathan Young	Higher-Order Strictness Analysis in Untyped Lambda Calculus.	POPL	1986	DBLP DOI BibTeX RDF
59	Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer	Event strictness for components with complex bindings.	ISEC	2009	DBLP DOI BibTeX RDF	behavioural compatibility, event strictness, structured product, communication, protocol, component, binding
55	Dirk Pape	Higher Order Demand Propagation.	IFL	1998	DBLP DOI BibTeX RDF
51	Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones	A Safe Approach to Parallel Combinator Reduction (Extended Abstract).	ESOP	1986	DBLP DOI BibTeX RDF	Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
49	Hirofumi Yokouchi	Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.	FLOPS	2008	DBLP DOI BibTeX RDF
49	Marko C. J. D. van Eekelen, Maarten de Mol	Proof Tool Support for Explicit Strictness.	IFL	2005	DBLP DOI BibTeX RDF
49	Chris Hankin, Daniel Le Métayer	Lazy Type Inference for the Strictness Analysis of Lists.	ESOP	1994	DBLP DOI BibTeX RDF
49	Christine Ernoult, Alan Mycroft	Uniform Ideals and Strictness Analysis.	ICALP	1991	DBLP DOI BibTeX RDF
49	Philip Wadler	Strictness Analysis Aids Time Analysis.	POPL	1988	DBLP DOI BibTeX RDF
46	R. Sekar 0001, I. V. Ramakrishnan, Prateek Mishra	On the power and limitations of strictness analysis.	J. ACM	1997	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, completeness, strictness analysis
46	R. Sekar 0001, I. V. Ramakrishnan	Fast Strictness Analysis Based on Demand Propagation.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	program analysis, program optimization, strictness analysis
41	Thomas P. Jensen	Types in Program Analysis.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
41	Flemming Nielson, Hanne Riis Nielson	The Tensor Product in Wadler's Analysis of Lists.	ESOP	1992	DBLP DOI BibTeX RDF
41	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
37	Jeffrey Hammes, A. P. Wim Böhm	Towards a Time and Space Efficient Functional Implementation of a Monte Carlo Photon Transport Code.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Strictness, Performance Evaluation, Parallelism, Functional Programming, Monte Carlo Simulation, Reference Counting, Sisal
36	Klaus Indermark, Thomas Noll 0001	Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness
36	Yong Meng Teo, Bhakti S. S. Onggo	Formalization and Strictness of Simulation Event Orderings.	PADS	2004	DBLP DOI BibTeX RDF
36	Reinhard Kahle	N\hbox{\sf N}-strictness in applicative theories.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
36	Grzegorz Grudzinski	An Improved Disjunctive Strictness Analysis for Lazy Functional Languages.	MFCS	1999	DBLP DOI BibTeX RDF
36	Chris Hankin, Daniel Le Métayer	Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis.	POPL	1994	DBLP DOI BibTeX RDF
36	Julian Seward	Polymorphic Strictness Analysis using Frontiers.	PEPM	1993	DBLP DOI BibTeX RDF
36	Mads Rosendahl	Strictness Analysis for Attribute Grammars.	PLILP	1992	DBLP DOI BibTeX RDF
36	David A. Wright 0001	A New Technique for Strictness Analysis.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
36	Flemming Nielson	Strictness Analysis and Denotational Abstract Interpretation.	POPL	1987	DBLP DOI BibTeX RDF
27	Harald Fecher, Michael Huth 0001, Nir Piterman, Daniel Wagner 0002	Hintikka Games for PCTL on Labeled Markov Chains.	QEST	2008	DBLP DOI BibTeX RDF
27	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	On the Variable Hierarchy of the Modal µ-Calculus.	CSL	2002	DBLP DOI BibTeX RDF	modal &#55-calculus, games, descriptive complexity
27	Chrysanthos Dellarocas	Analyzing the economic efficiency of eBay-like online reputation reporting mechanisms.	EC	2001	DBLP DOI BibTeX RDF	trust in electronic markets, electronic commerce, reputation systems
27	Steven Dawson, C. R. Ramakrishnan 0001, David Scott Warren	Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.	PLDI	1996	DBLP DOI BibTeX RDF
27	Adrienne G. Bloss	Path Analysis and the Optimization of Nonstrict Functional Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	aggregate update problem, nonstandard semantics, abstract interpretation
27	William Marcus Miller, Walid A. Najjar, A. P. Wim Böhm	A model for dataflow based vector execution.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
27	Kei Davis	Higher-order Binding-time Analysis.	PEPM	1993	DBLP DOI BibTeX RDF
27	Torben Poort Lange	The Correctness of an Optimized Code Generation.	PEPM	1993	DBLP DOI BibTeX RDF
27	Uday S. Reddy, Samuel N. Kamin	On the power of abstract interpretation.	ICCL	1992	DBLP DOI BibTeX RDF
27	Geoffrey Livingston Burn	A Relationship Between Abstract Interpretation and Projection Analysis.	POPL	1990	DBLP DOI BibTeX RDF
27	Hanne Riis Nielson, Flemming Nielson	Context Information for Lazy Code Generation.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
24	Maximilian C. Bolingbroke, Simon L. Peyton Jones	Types are calling conventions.	Haskell	2009	DBLP DOI BibTeX RDF	arity, calling conventions, strictness, unboxing, uncurrying, intermediate language
24	Viktor K. Sabelfeld, Andrei Sabelfeld	Simple Semantic Analysis Problems for Functional Programs.	ICFP	1997	DBLP DOI BibTeX RDF	parameter dependence, static analysis, approximation, abstract interpretation, flow analysis, strictness analysis, recursion scheme
24	P. V. R. Murthy, V. Rajaraman	Implementation of Speculative Parallelism in Functional Languages.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	compile-time analysis technique, supercombinator, speculative evaluation, conservative parallelism, branch speculation, argument speculation, performance, probability, probability, functional programming, parallel languages, functional languages, lazy evaluation, speculative parallelism, user-defined function, strictness analysis
24	Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Amit P. Sheth	Using Tickets to Enforce the Serializability of Multidatabase Transactions.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	multidatabase transactions, global serializability, multidatabase transaction manager, indirect conflicts, data manipulation operations, local database system, analogous execution, serialization orders, forced local conflicts, local cascadelessness, local strictness, schedules, distributed databases, transaction processing, global scheduler
22	Trong-Nguyen Nguyen, Sébastien Roy 0001, Jean Meunier	SmithNet: Strictness on Motion-Texture Coherence for Anomaly Detection.	IEEE Trans. Neural Networks Learn. Syst.	2022	DBLP DOI BibTeX RDF
22	Jürgen Perl, Jonas Imkamp, Daniel Memmert	Strictness vs. flexibility: Simulation-based recognition of strategies and its success in soccer.	Int. J. Comput. Sci. Sport	2021	DBLP DOI BibTeX RDF
22	Satoshi Murai, Takahiro Nagaoka, Akiko Yazawa	Strictness of the log-concavity of generating polynomials of matroids.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
22	Sam Ainsworth 0001	GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation.	CoRR	2021	DBLP BibTeX RDF
22	Sam Ainsworth 0001	GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation.	MICRO	2021	DBLP DOI BibTeX RDF
22	Pengfei Wang, Matteo Varvello, Chunhe Ni, Ruiyun Yu, Aleksandar Kuzmanovic	Web-LEGO: Trading Content Strictness for Faster Webpages.	INFOCOM	2021	DBLP DOI BibTeX RDF
22	Arianna Brutti, Angelo Frascella, Nicola Gessa, Piero De Sabbata, Cristiano Novelli	Interoperability in the Smart City: A Semantic Approach for Merging Flexibility with Strictness.	SMARTCOMP	2018	DBLP DOI BibTeX RDF
22	Byungjoo Choi, SangHyun Lee	Impact of the Strictness and Cohesiveness of Management Feedback on Construction Workers' Safety Behavior: Agent-Based Modeling and Simulation.	SIMULTECH	2017	DBLP DOI BibTeX RDF
22	Ilhan Bae, Jeonghye Han	Does Height Affect the Strictness of Robot Assisted Teacher?	HRI (Companion)	2017	DBLP DOI BibTeX RDF
22	Kenneth O. Stanley, Nick Cheney, Lisa B. Soros	How the Strictness of the Minimal Criterion Impacts Open-Ended Evolution.	ALIFE	2016	DBLP DOI BibTeX RDF
22	Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher	Autobahn: using genetic algorithms to infer strictness annotations.	Haskell	2016	DBLP DOI BibTeX RDF
22	Sjaak Smetsers, Marko C. J. D. van Eekelen	Derivation and inference of higher-order strictness types.	Comput. Lang. Syst. Struct.	2015	DBLP DOI BibTeX RDF
22	Senan A. Ghallab, Nagwa L. Badr, Abdel-Badeeh M. Salem, Mohamed F. Tolba 0001	Strictness Petroleum Prediction System Based on Fuzzy Model.	Int. J. Serv. Sci. Manag. Eng. Technol.	2014	DBLP DOI BibTeX RDF
22	Yuguo He	On the strictness of the quantifier structure hierarchy in first-order logic.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
22	Alexander Kartzow, Pawel Parys	Strictness of the Collapsible Pushdown Hierarchy	CoRR	2012	DBLP BibTeX RDF
22	François Santy, Laurent George 0001, Philippe Thierry, Joël Goossens	Relaxing Mixed-Criticality Scheduling Strictness for Task Sets Scheduled with FP.	ECRTS	2012	DBLP DOI BibTeX RDF
22	Alexander Kartzow, Pawel Parys	Strictness of the Collapsible Pushdown Hierarchy.	MFCS	2012	DBLP DOI BibTeX RDF
22	Sjaak Smetsers, Marko C. J. D. van Eekelen	Higher-Order Strictness Typing.	Trends in Functional Programming	2012	DBLP DOI BibTeX RDF
22	Ulrich Klehmet, Kai-Steffen Hielscher	Strictness of Rate-latency Service Curves.	DCNET/ICE-B/OPTICS	2012	DBLP BibTeX RDF
22	Daniel Seidel, Janis Voigtländer	Refined typing to localize the impact of forced strictness on free theorems.	Acta Informatica	2011	DBLP DOI BibTeX RDF
22	Jan Christiansen	Sloth - A Tool for Checking Minimal-Strictness.	PADL	2011	DBLP DOI BibTeX RDF
22	Dariush Riazati, James A. Thom, Xiuzhen Zhang 0001	Enforcing strictness in integration of dimensions: beyond instance matching.	DOLAP	2011	DBLP DOI BibTeX RDF
22	Yuguo He	On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures.	LICS	2010	DBLP DOI BibTeX RDF	Ehrenfeucht-Fraïssé games, quantifier structure, finite model theory
22	Tom Schrijvers, Alan Mycroft	Strictness Meets Data Flow.	SAS	2010	DBLP DOI BibTeX RDF
22	Daniel Seidel, Janis Voigtländer	Taming Selective Strictness.	GI Jahrestagung	2009	DBLP BibTeX RDF
22	Manfred Schmidt-Schauß, David Sabel, Marko Schütz	Safety of Nöcker's strictness analysis.	J. Funct. Program.	2008	DBLP DOI BibTeX RDF
22	Kohsuke Nishimura	Statistic numerical analysis of all-optically regenerated transmission system: how to keep high strictness and simplicity at the same time.	IEICE Electron. Express	2008	DBLP DOI BibTeX RDF
22	Janis Voigtländer, Patricia Johann	Selective strictness and parametricity in structural operational semantics, inequationally.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
22	Yong Meng Teo, Bhakti S. S. Onggo	A Framework for Formalization and Strictness Analysis of Simulation Event Orderings.	Simul.	2005	DBLP DOI BibTeX RDF
22	Stephan Herrmann 0001	Sustainable architectures by combining flexibility and strictness in Object Teams.	IEE Proc. Softw.	2004	DBLP DOI BibTeX RDF
22	Mario Coppo, Ferruccio Damiani, Paola Giannini	Strictness, totality, and non-standard-type inference.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
22	Torsten Mahnke, Sebastian Panenka, Martin Embacher, Walter Stechele, Wolfgang Hoeld	Efficiency of dual supply voltage logic synthesis for low power in consideration of varying delay constraint strictness.	ICECS	2002	DBLP DOI BibTeX RDF
22	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
22	Grzegorz Grudzinski	A Minimal System of Disjunctive Properties for Strictness Analysis.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
22	David Clark 0001, Chris Hankin, Sebastian Hunt	Safety of Strictness Analysis via Term Graph Rewriting.	SAS	2000	DBLP DOI BibTeX RDF
22	Klaus-Dieter Schewe	Recoverability and Strictness for Multi-Level Schedules: Locking and Hybrid Protocols.	FMLDO	1999	DBLP BibTeX RDF
22	Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson	Strictness and Totality Analysis.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
22	Thomas P. Jensen	Inference of Polymorphic and Conditional Strictness Properties.	POPL	1998	DBLP DOI BibTeX RDF
22	Ferruccio Damiani, Paola Giannini	An Inference Algorithm for Strictness.	TLCA	1997	DBLP DOI BibTeX RDF
22	Mario Coppo, Ferruccio Damiani, Paola Giannini	On Strictness and Totality.	TACS	1997	DBLP DOI BibTeX RDF
22	Jonathan Springer, Samuel N. Kamin	Strictness Analysis in the Imperative Lambda Calculus.	LISP Symb. Comput.	1996	DBLP BibTeX RDF
22	Geoffrey Livingston Burn, Daniel Le Métayer	Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
22	Christine Ernoult, Alan Mycroft	Untyped Strictness Analysis.	J. Funct. Program.	1995	DBLP DOI BibTeX RDF
22	Ralf Hinze	Projection-based strictness analysis - theoretical and practical aspects.		1995	RDF
22	Klaus E. Schauser, Seth Copen Goldstein	How Much Non-Strictness do Lenient Programs Require?	FPCA	1995	DBLP DOI BibTeX RDF
22	Bruno Monsuez	Using Abstract Interpretation to Define a Strictness Type Inference System.	PEPM	1995	DBLP DOI BibTeX RDF
22	Milind Gandhe, G. Venkatesh, Amitabha Sanyal	Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).	ASIAN	1995	DBLP DOI BibTeX RDF
22	Franck Védrine	Binding-Time Analysis and Strictness Analysis by Abstract Interpretation	SAS	1995	DBLP DOI BibTeX RDF
22	Eljas Soisalon-Soininen, Tatu Ylönen	Partial Strictness in Two-Phase Locking.	ICDT	1995	DBLP DOI BibTeX RDF
22	Alexander B. Ferguson	Higher order strictness analysis by abstract interpretation over finite domains.		1995	RDF
22	Fritz Henglein	Iterative Fixed Point Computation for Type-Based Strictness Analysis.	SAS	1994	DBLP DOI BibTeX RDF