Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
172 | Tsung-Min Kuo, Prateek Mishra |
On Strictness and its Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 144-155, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
ML |
145 | R. C. Sekar 0001, Shaunak Pawagi, I. V. Ramakrishnan |
Small Domains Spell Fast Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 169-183, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
129 | Stefan Holdermans, Jurriaan Hage |
Making "stricterness" more relevant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 121-130, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 255-270, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
78 | Thomas P. Jensen |
Disjunctive Program Analysis for Algebraic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(5), pp. 751-803, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 73-92, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
73 | Marcel Beemster |
Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(5), pp. 1449-1466, 1994. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 98-127, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 501-515, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
63 | Gary Lindstrom, Lal George, Dowming Yeh |
Generating Efficient Code from Strictness Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 140-154, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
63 | Paul Hudak, Jonathan Young |
Higher-Order Strictness Analysis in Untyped Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 97-109, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
59 | Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer |
Event strictness for components with complex bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 47-56, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavioural compatibility, event strictness, structured product, communication, protocol, component, binding |
55 | Dirk Pape |
Higher Order Demand Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers, pp. 153-168, 1998, Springer, 3-540-66229-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |
A Safe Approach to Parallel Combinator Reduction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 99-110, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 255-271, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Marko C. J. D. van Eekelen, Maarten de Mol |
Proof Tool Support for Explicit Strictness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 37-54, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Chris Hankin, Daniel Le Métayer |
Lazy Type Inference for the Strictness Analysis of Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 257-271, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
49 | Christine Ernoult, Alan Mycroft |
Uniform Ideals and Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 47-59, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
49 | Philip Wadler |
Strictness Analysis Aids Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 119-132, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
46 | R. Sekar 0001, I. V. Ramakrishnan, Prateek Mishra |
On the power and limitations of strictness analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(3), pp. 505-525, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(6), pp. 896-937, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
program analysis, program optimization, strictness analysis |
41 | Thomas P. Jensen |
Types in Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 204-222, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Flemming Nielson, Hanne Riis Nielson |
The Tensor Product in Wadler's Analysis of Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 351-370, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
41 | Paul Hudak, Jonathan Young |
Collecting Interpretations of Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(2), pp. 269-290, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 286-294, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 43(1), pp. 1-43, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 18th Workshop on Parallel and Distributed Simulation, PADS 2004, Kufstein, Austria, May 16-19, 2004, pp. 89-96, 2004, IEEE Computer Society, 0-7695-2111-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Reinhard Kahle |
N\hbox{\sf N}-strictness in applicative theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(2), pp. 125-144, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Grzegorz Grudzinski |
An Improved Disjunctive Strictness Analysis for Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 187-197, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Chris Hankin, Daniel Le Métayer |
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 202-212, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Julian Seward |
Polymorphic Strictness Analysis using Frontiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 186-193, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Mads Rosendahl |
Strictness Analysis for Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 145-157, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
36 | David A. Wright 0001 |
A New Technique for Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 235-258, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | Flemming Nielson |
Strictness Analysis and Denotational Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 120-131, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Harald Fecher, Michael Huth 0001, Nir Piterman, Daniel Wagner 0002 |
Hintikka Games for PCTL on Labeled Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 169-178, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Dietmar Berwanger, Erich Grädel, Giacomo Lenzi |
On the Variable Hierarchy of the Modal µ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 352-366, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modal 7-calculus, games, descriptive complexity |
27 | Chrysanthos Dellarocas |
Analyzing the economic efficiency of eBay-like online reputation reporting mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), Tampa, Florida, USA, October 14-17, 2001, pp. 171-179, 2001, ACM, 1-58113-387-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 117-126, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Adrienne G. Bloss |
Path Analysis and the Optimization of Nonstrict Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 328-369, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 11-22, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Kei Davis |
Higher-order Binding-time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 78-87, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Torben Poort Lange |
The Correctness of an Optimized Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993, pp. 167-178, 1993, ACM, 0-89791-594-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Uday S. Reddy, Samuel N. Kamin |
On the power of abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 24-33, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Geoffrey Livingston Burn |
A Relationship Between Abstract Interpretation and Projection Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 151-156, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Hanne Riis Nielson, Flemming Nielson |
Context Information for Lazy Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 251-263, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Types are calling conventions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 1-12, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 319, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(11), pp. 1197-1205, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(1), pp. 166-180, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 33(6), pp. 2287-2300, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Sport ![In: Int. J. Comput. Sci. Sport 20(1), pp. 43-54, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Satoshi Murai, Takahiro Nagaoka, Akiko Yazawa |
Strictness of the log-concavity of generating polynomials of matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 181, pp. 105351, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Sam Ainsworth 0001 |
GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.05532, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Sam Ainsworth 0001 |
GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, Virtual Event, Greece, October 18-22, 2021, pp. 592-606, 2021, ACM, 978-1-4503-8557-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Pengfei Wang, Matteo Varvello, Chunhe Ni, Ruiyun Yu, Aleksandar Kuzmanovic |
Web-LEGO: Trading Content Strictness for Faster Webpages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: 40th IEEE Conference on Computer Communications, INFOCOM 2021, Vancouver, BC, Canada, May 10-13, 2021, pp. 1-10, 2021, IEEE, 978-1-6654-0325-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMARTCOMP ![In: 2018 IEEE International Conference on Smart Computing, SMARTCOMP 2018, Taormina, Sicily, Italy, June 18-20, 2018, pp. 434-439, 2018, IEEE Computer Society, 978-1-5386-4705-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2017, Madrid, Spain, July 26-28, 2017., pp. 348-355, 2017, SciTePress, 978-989-758-265-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Ilhan Bae, Jeonghye Han |
Does Height Affect the Strictness of Robot Assisted Teacher? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Companion) ![In: Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2017, Vienna, Austria, March 6-9, 2017, pp. 73-74, 2017, ACM, 978-1-4503-4885-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: Fifteenth International Conference on the Simulation and Synthesis of Living Systems, ALIFE 2016, Cancun, Mexico, July 4-6, 2016, pp. 208-215, 2016, MIT Press. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
Autobahn: using genetic algorithms to infer strictness annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 114-126, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Sjaak Smetsers, Marko C. J. D. van Eekelen |
Derivation and inference of higher-order strictness types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 44, pp. 166-180, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Serv. Sci. Manag. Eng. Technol. ![In: Int. J. Serv. Sci. Manag. Eng. Technol. 5(4), pp. 44-65, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Yuguo He |
On the strictness of the quantifier structure hierarchy in first-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 10(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Kartzow, Pawel Parys |
Strictness of the Collapsible Pushdown Hierarchy ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.3250, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 24th Euromicro Conference on Real-Time Systems, ECRTS 2012, Pisa, Italy, July 11-13, 2012, pp. 155-165, 2012, IEEE Computer Society, 978-1-4673-2032-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Kartzow, Pawel Parys |
Strictness of the Collapsible Pushdown Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings, pp. 566-577, 2012, Springer, 978-3-642-32588-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Sjaak Smetsers, Marko C. J. D. van Eekelen |
Higher-Order Strictness Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, pp. 85-100, 2012, Springer, 978-3-642-40446-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Ulrich Klehmet, Kai-Steffen Hielscher |
Strictness of Rate-latency Service Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCNET/ICE-B/OPTICS ![In: DCNET, ICE-B and OPTICS 2012 - Proceedings of the International Conference on Data Communication Networking, e-Business and Optical Communication Systems, Rome, Italy, 24-27 July, 2012, DCNET, ICE-B and OPTICS are parts of ICETE - The International Joint Conference on e-Business and Telecommunications., pp. 75-78, 2012, SciTePress, 978-989-8565-23-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Daniel Seidel, Janis Voigtländer |
Refined typing to localize the impact of forced strictness on free theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 48(3), pp. 191-211, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Jan Christiansen |
Sloth - A Tool for Checking Minimal-Strictness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 160-174, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Dariush Riazati, James A. Thom, Xiuzhen Zhang 0001 |
Enforcing strictness in integration of dimensions: beyond instance matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2011, ACM 14th International Workshop on Data Warehousing and OLAP, Glasgow, United Kingdom, October 28, 2011, Proceedings, pp. 9-16, 2011, ACM, 978-1-4503-0963-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Yuguo He |
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 170-178, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Ehrenfeucht-Fraïssé games, quantifier structure, finite model theory |
22 | Tom Schrijvers, Alan Mycroft |
Strictness Meets Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings, pp. 439-454, 2010, Springer, 978-3-642-15768-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Seidel, Janis Voigtländer |
Taming Selective Strictness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28 - October 2, 2009, Proceedings, pp. 2916-2930, 2009, GI, 978-3-88579-248-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
22 | Manfred Schmidt-Schauß, David Sabel, Marko Schütz |
Safety of Nöcker's strictness analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 18(4), pp. 503-551, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 5(1), pp. 35-40, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Janis Voigtländer, Patricia Johann |
Selective strictness and parametricity in structural operational semantics, inequationally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 388(1-3), pp. 290-318, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Yong Meng Teo, Bhakti S. S. Onggo |
A Framework for Formalization and Strictness Analysis of Simulation Event Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 81(4), pp. 325-335, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Stephan Herrmann 0001 |
Sustainable architectures by combining flexibility and strictness in Object Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 151(2), pp. 57-66, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mario Coppo, Ferruccio Damiani, Paola Giannini |
Strictness, totality, and non-standard-type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 272(1-2), pp. 69-112, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: Proceedings of the 2002 9th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2002, Dubrovnik, Croatia, September 15-18, 2002, pp. 701-704, 2002, IEEE, 0-7803-7596-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Luca Alberucci |
Strictness of the Modal µ-Calculus Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata, Logics, and Infinite Games ![In: Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], pp. 185-201, 2001, Springer, 3-540-00388-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Grzegorz Grudzinski |
A Minimal System of Disjunctive Properties for Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP Satellite Workshops ![In: ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, pp. 305-322, 2000, Carleton Scientific, Waterloo, Ontario, Canada, 1-894145-07-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
22 | David Clark 0001, Chris Hankin, Sebastian Hunt |
Safety of Strictness Analysis via Term Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings, pp. 95-114, 2000, Springer, 3-540-67668-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Klaus-Dieter Schewe |
Recoverability and Strictness for Multi-Level Schedules: Locking and Hybrid Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO ![In: Transactions and Database Dynamics, Proceedings of the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, pp. 1-20, 1999, Institut für Technische und Betriebliche Informationsssysteme, Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
22 | Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson |
Strictness and Totality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 31(1), pp. 113-145, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Thomas P. Jensen |
Inference of Polymorphic and Conditional Strictness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 209-221, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Ferruccio Damiani, Paola Giannini |
An Inference Algorithm for Strictness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 129-146, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Mario Coppo, Ferruccio Damiani, Paola Giannini |
On Strictness and Totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings, pp. 138-164, 1997, Springer, 3-540-63388-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan Springer, Samuel N. Kamin |
Strictness Analysis in the Imperative Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Symb. Comput. ![In: LISP Symb. Comput. 9(1), pp. 109-143, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 6(1), pp. 75-109, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Christine Ernoult, Alan Mycroft |
Untyped Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 5(1), pp. 37-49, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Ralf Hinze |
Projection-based strictness analysis - theoretical and practical aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
22 | Klaus E. Schauser, Seth Copen Goldstein |
How Much Non-Strictness do Lenient Programs Require? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 216-225, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Bruno Monsuez |
Using Abstract Interpretation to Define a Strictness Type Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 122-133, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Milind Gandhe, G. Venkatesh, Amitabha Sanyal |
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995, Proceedings, pp. 103-110, 1995, Springer, 3-540-60688-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Franck Védrine |
Binding-Time Analysis and Strictness Analysis by Abstract Interpretation ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings, pp. 400-417, 1995, Springer, 3-540-60360-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Eljas Soisalon-Soininen, Tatu Ylönen |
Partial Strictness in Two-Phase Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 139-147, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Alexander B. Ferguson |
Higher order strictness analysis by abstract interpretation over finite domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
22 | Fritz Henglein |
Iterative Fixed Point Computation for Type-Based Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings, pp. 395-407, 1994, Springer, 3-540-58485-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|