Thomas Jensen  Home/Search
Context
Related
| irisa.fr/techreports/hab...jensen.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: irisa.fr/bibli/pu...habilitations (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: domains . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2.2 Lattices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2.3 Specification of analyses . . . . . . . . . . . . . . . . . . . . . . . 9 1.2.4 Semantic correctness . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.2.5 Solving systems of equations . . . . . . . . . . . . . . . . . . . . . 13 1.3 This document . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2 Program analysis with... (Update)
Similar documents (at the sentence level):
13.2%: Verification of Control Flow Based Security Properties - Jensen, Métayer, Thorn (Correct)
9.6%: Polyhedral Analysis for Synchronous Languages - Besson, Jensen, Talpin (1999) (Correct)
7.0%: Inference of Polymorphic and Conditional Strictness Properties - Jensen (1998) (Correct)
Active bibliography (related documents): More All
0.8: Functional Compositions of Abstract Interpretations - Giacobazzi, al. (Correct)
0.8: Properties of Program Analysis Techniques - Burn (1993) (Correct)
0.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.3: Analyse Statique Comportementale des Langages de Programmation. - Jouvelot (Correct)
0.2: Reengineering Object-Oriented Applications - Ducasse (2001) (Correct)
0.2: A Modular and Retargetable Framework for Tree-based WCET Analysis - Colin, Puaut (2001) (Correct)
BibTeX entry: (Update)
@misc{ jensen-analyse,
author = "Thomas Jensen",
title = "Analyse Statique De Programmes : Fondements Et Applications",
url = "citeseer.ist.psu.edu/jensen99analyse.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
862 The Java Language Specification - Gosling, Joy et al. - 1996
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
809 A theory of type polymorphism in programming (context) - Milner - 1978
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
457 The ESTEREL synchronous programming language: design - Berry, Gonthier - 1992
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
225 Flow Analysis of Computer Programs (context) - Hecht - 1977
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
194 The formal semantics of programming languages (context) - Winskel - 1993
191 Polymorphic type inference (context) - Leivant - 1983
181 Principles of Program Analysis (context) - Hankin, Nielson et al. - 1999
169 A type system for Java bytecode subroutines - Stata, Abadi - 1998
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
156 A unified approach to global program optimization (context) - Kildall - 1973
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
118 What are principal typings and what are they good - Jim - 1996
118 Extensible security architectures for java - Wallach, Balfanz et al. - 1997
117 Semantic domains - Gunter, Scott - 1990
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
96 Property preserving abstractions for the verification of con.. - Loiseaux, Graf et al. - 1995
94 Projections for strictness analysis - Wadler, Hughes - 1987
92 Synchronous programming with events and relations: the SIGNA.. (context) - Benveniste, Le Guernic et al. - 1991
92 Going beyond the sandbox: An overview of the new security ar.. - Gong - 1997
84 A domain equation for bisimulation (context) - Abramsky - 1991
80 Delay analysis in synchronous programs - Halbwachs - 1993
79 Polymorphic type schemes and recursive definitions (context) - Mycroft - 1984
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Proy et al. - 1994
75 Annals of Pure and Applied Logic (context) - Abramsky, in - 1991
72 A type-based approach to program security - Volpano, Smith - 1997
67 Call graph construction in objectoriented languages - Grove, Furrow et al. - 1997
66 Enforceable security policies - Schneider - 1998
66 Security properties of typed applets - Leroy, Rouaix - 1998
64 Efficient type inference for higher--order binding--time ana.. - Henglein - 1991
63 Automatic computation of data set definitions (context) - Reynolds - 1969
62 Programming and verifying real-time systems by means of the .. - Halbwachs, Lagnier et al. - 1992
60 Programming real-time applications with SIGNAL (context) - Le Guernic, Gauthier et al. - 1991
60 The security of static typing with dynamic linking - Dean - 1997
56 Projection Factorisations in Partial Evaluation (context) - Launchbury - 1989
54 Abstract interpretation: a semantics-based tool for program .. (context) - Jones, Nielson - 1994
54 Static determination of dynamic properties of programs (context) - Cousot, Cousot - 1976
54 Strictness analysis in non--flat domains (context) - Wadler - 1987
54 A Library for Doing Polyhedral Operations - Wilde - 1993
53 A formal specification of Java virtual machine instructions - Qian - 1997
51 Understanding Java stack inspection - Wallach, Felten - 1998
51 grammar and set constraint-based program analysis by abstrac.. (context) - Cousot, Cousot - 1995
49 Polymorphic binding-time analysis (context) - Henglein, Mossin - 1994
44 Synchronous observers and the verification of reactive syste.. - Halbwachs, Lagnier et al. - 1993
41 Strictness analysis in logical form - Jensen - 1991
39 A complete type inference algorithm for simple intersection .. (context) - Coppo, Giannini - 1992
39 Abstract interpretation of reactive systems (context) - Dams, Gerth et al. - 1997
37 Properties of data flow frameworks (context) - Marlowe, Ryder - 1990
36 Lazy Functional Languages: Abstract Interpretation and Compi.. (context) - Burn - 1991
35 Partial type inference for untyped functional programs (context) - Gomard - 1990
33 Van Nostrand Reinhold (context) - Gray, Manson et al. - 1989
32 Strictness analysis : A new perspective based on type infere.. (context) - Kuo, Mishra - 1989
29 Security and dynamic class loading in Java: A formalisation - Jensen, Le Mtayer et al. - 1998
28 Partially static structures in a self-applicable partial eva.. (context) - Mogensen - 1988
28 Tractable constraints in finite semilattices - Rehof, Mogensen - 1996
28 Binding time analysis: A new PERspective - Hunt, Sands - 1991
28 Strictness analysis and polymorphic invariance (context) - Abramsky - 1986
28 Deriving algorithms from type inference systems: Application.. - Hankin, Le Mtayer - 1994
27 Lightweight bytecode verification - Rose, Rose - 1998
27 and application to comportment analysis generalising strictn.. (context) - Cousot, Cousot et al. - 1994
24 Optimality in abstractions of model checking - Cleaveland, Iyer et al. - 1995
21 Signal : A declarative language for synchronous programming .. (context) - Gautier, Le Guernic et al. - 1987
21 Verification of control flow based security properties - Jensen, Le Mtayer et al. - 1999
21 Abstract Interpretation of Functional Languages: From Theory.. - Hunt - 1991
20 Department of Information Technology (context) - Bertelsen, Java et al. - 1997
19 The theory and practice of strictness analysis for higher or.. (context) - Burn, Hankin et al. - 1986
19 Polymorphic recursion and subtype qualifications: Polymorphi.. (context) - Dussart, Henglein et al. - 1995
18 A relational approach to strictness analysis of higher order.. - Abramsky, Jensen - 1991
18 About synchronous programming and abstract interpretation (context) - Halbwachs - 1994
17 Proving noninterference and functional correctness using tra.. - McLean - 1992
17 Polyhedral analysis for synchronous languages - Besson, Jensen et al. - 1999
17 Disjunctive strictness analysis (context) - Jensen - 1992
15 Operational Models of Programming Languages and Representati.. (context) - Deutsch - 1992
14 Strictness logic and polymorphic invariance (context) - Benton - 1992
12 polyvariant and type-based closure analysis (context) - Banerjee, modular - 1997
12 Improving abstract interpretations by systematic lifting to .. (context) - Fil, Ranzato - 1994
12 Reasoning about simple and exhaustive demand in higher-- ord.. (context) - Leung, Mishra - 1991
11 Theoretical Computer Science (context) - Coppo, Ferrari et al. - 1993
10 Efficient fixpoint computation (context) - Vergauwen, Wauman et al. - 1994
9 Abstract Interpretation Using Domain Theory (context) - Nielson - 1984
9 A self-applicable partial evaluator for the lambda calculus (context) - Jones, Gomard et al. - 1990
8 inductive assertion synthesis and a language due to Dijkstra (context) - Jones, Muchnick et al. - 1981
8 Clock analysis of synchronous dataflow programs - Jensen - 1995
7 Institut national polytechnique de Grenoble (context) - Plaice, compilation et al. - 1988
7 The tensor product in Wadler's analysis of lists (context) - Nielson, Nielson - 1994
7 The tensor product in Wadler's analysis of lists (context) - Nielson, Nielson - 1992
6 The Telescript home page (context) - Magic - 1996
6 Signal as a model for real-time and hybrid systems (context) - Benveniste, Le Borgne et al. - 1992
6 Strictness properties of lazy algebraic datatypes (context) - Benton - 1993
6 Disjunctive program analysis for algebraic data types (context) - Jensen - 1997
6 Tensor products generalize the relational data flow analysis.. (context) - Nielson - 1985
5 Powerdomains and modality (context) - Winskel - 1983
5 Uniform ideals and strictness analysis - Ernoult, Mycroft - 1991
3 Conjunctive type systems and abstract interpretation of high.. (context) - Jensen - 1995
3 Abstract interpretation over algebraic data types (context) - Jensen - 1994
2 Complete restrictions of the intersection type discipline (context) - Bakel - 1992
2 An iterative powerdomain construction - Ferguson, Hughes - 1989
1 LUSTRE: un langage dclaratif pour le temps reel (context) - Bergerand - 1986
1 Eliminaton algorithms for data flow analysis (context) - Ryder, Paull - 1986
1 Proving properties of programs defined over recursive data s.. (context) - Le Mtayer - 1995
1 synchronous data-flow programming: the language SIGNAL and i.. (context) - Le Guernic, Benveniste - 1986
1 Strictness Analysis and Optimising Transformations for Lazy .. (context) - Benton - 1992
1 Axiomatising uniform properties of recursive data structures (context) - Jensen - 1992
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC