F. Nielson, P. Cousot, M. Dam, P. Degano, P. Jouvelot, A. Mycroft, B. Thomsen  Home/Search
Context
Related
| cl.cam.ac.uk/users/a...lomaps1192.ps.gz cl.cam.ac.uk/~am/pap...lomaps1192.ps.gz daimi.au.dk/~fn/Pa...e97stockholm.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: cl.cam.ac.uk/users/am/papers/ (more) From: cl.cam.ac.uk/~am/papers/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation [25], Modalities in Analysis and Verification [30], and Enhanced Operational Semantics [35]. Each section below begins with a presentation of our view of the state-of-the-art within the area, and ends with a brief explanation of how the papers in these proceedings enhance our knowledge of the area. Integration of Programming Paradigms Programming notions can be expressed in many di erent paradigms - imperative, object-oriented, concurrent, functional, logic-programming,... (Update)
Active bibliography (related documents): More All
2.0: Program Analysis Position Statement: The Abstract Interpretation.. - Cousot (1996) (Correct)
0.7: Specification and Verification Fo Embedded Systems - Maggiolo-Schettini (Correct)
0.5: Stochastic Pi-Calculus With General Distributions - Priami (1996) (Correct)
Similar documents based on text: More All
0.6: Analysis and Verification of Multiple-Agent Languages - Fifth.. - Dam, (eds.) (1996) (Correct)
0.2: Uniform PERs and Comportment Analysis - Mycroft, Solberg (1995) (Correct)
0.2: Type and Behaviour Reconstruction for Higher-Order.. - Amtoft, Nielson, Nielson (1995) (Correct)
BibTeX entry: (Update)
@inproceedings{ nielson96logical,
author = "Flemming Nielson and Patrick Cousot and Mads Dam and Pierpaolo Degano and Pierre Jouvelot and Alan Mycroft and Bent Thomsen",
title = "Logical and Operational Methods in the Analysis of Programs and Systems",
booktitle = "Logical and Operational Methods in the Analysis of Programs and Systems",
pages = "1--21",
year = "1996",
url = "citeseer.ist.psu.edu/79720.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
854 Information and Computation (context) - Milner, Parrow et al. - 1992
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
232 The concurrency workbench: A semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1990
207 A stubborn attack on state explosion (context) - Valmari - 1992
201 Telescript technology: The foundation for the electronic mar.. (context) - White - 1994
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
119 Facile: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989
109 Programming by multiset transformations (context) - Banatre, Le Metayer - 1993
78 Modal logics for communicating systems (context) - Stirling - 1987
75 semantics and abstract interpretation (context) - Cousot, Cousot - 1992
73 The Java language environment (context) - Gosling, McGilton - 1995
73 Concurrent objects in a process calculus - Pierce, Turner - 1995
67 Pushdown processes: Games and model checking - Walukiewicz - 1996
67 Strictness Analysis for Higher-Order Functions (context) - Burn, Hankin et al. - 1986
63 Semantics with applications: a formal introduction (context) - Nielson, Nielson - 1992
60 Model checking for context-free processes - Burkart, Ste - 1992
54 Abstract Interpretation: a Semantics-Based Tool for Program .. (context) - Jones, Nielson - 1995
51 PVS: Combining specication (context) - Owre, Rajan et al. - 1996
51 grammar and set-constraint-based program analysis by abstrac.. (context) - Cousot, Cousot - 1995
49 Methods and logics for proving programs (context) - Cousot - 1990
49 Model checking mobile processes - Dam - 1996
48 Comparing the Galois connection and widening /narrowing appr.. - Cousot, Cousot - 1992
47 Higher-Order Concurrent Programs with Finite Communication T.. - Nielson, Nielson - 1994
47 Information and Computation (context) - Talpin, Jouvelot et al. - 1994
47 Proved trees (context) - Degano, Priami - 1992
45 A non-interleaving semantics for CCS based on proved transit.. (context) - Boudol, Castellani - 1988
43 Formal Methods in System Design (context) - Emerson, Sistla et al. - 1996
42 Temporal Verication of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
37 Types as abstract interpretation (context) - Cousot - 1997
36 Principal Type Schemes for Functional Programs with Overload.. - Smith - 1994
34 The Linda alternative to message passing systems (context) - Carriero, Gelernter et al. - 1994
31 Causality for mobile processes - Degano, Priami - 1995
31 Deductive model checking - Sipma, Uribe et al. - 1996
30 Two-Level Semantics and Abstract Interpretation (context) - Nielson - 1989
28 Enhanced Operational Semantics for Concurrency (context) - Priami - 1996
27 and application to comportment analysis generalizing strictn.. (context) - Cousot, Cousot et al. - 1994
22 The Computer Journal (context) - Priami, -calculus - 1995
20 An analysis of bitstate hashing - Holzmann - 1995
20 Partial ordering derivations for CCS (context) - Degano, De Nicola et al. - 1985
20 Reasoning about higher-order processes - Amadio, Dam - 1995
17 Partial-order methods for temporal verication (context) - Wolper, Godefroid - 1993
17 A Facile tutorial (context) - Thomsen, Leth et al. - 1996
15 Semantic analysis of shared-memory concurrent languages usin.. - Cridlig - 1995
12 Parallel composition of assumption-commitment speci- cations - Cau, Collette - 1996
11 True Concurrency Semantics for a Linear Logic Programming La.. - Andreoli, Pareschi et al. - 1993
9 A theory of qualied types (context) - Jones - 1992
9 Mobile Agents Set to Work (context) - Thomsen, Knabe et al. - 1995
8 Strong Abstract Interpretation using Power Domains (context) - Mycroft, Nielson - 1983
8 Polymorphic types and widening operators (context) - Monsuez - 1993
8 Mobile processes with a distributed environment - Bodei, Degano et al. - 1996
6 Abstract interpretation using TDGs (context) - Mauborgne - 1994
6 Decidability of model checking for innite-state concurrent s.. (context) - Esparza - 1996
6 Automatizing parametric reasoning on distributed concurrent .. (context) - Inverardi, Priami et al. - 1994
5 ettini, A. Peron and S. Tini Equivalences of Statecharts (context) - Maggiolo-Sch - 1996
5 Layered Predicates (context) - Nielson, Nielson - 1993
4 Integrating behavioural and performance analysis with topolo.. (context) - Priami - 1996
3 Durations for truly-concurrent actions (context) - Goubault - 1996
3 Compositional and inductive semantic denitions in xpoint (context) - Cousot, Cousot - 1995
2 Peron Retiming Techniques for Statecharts (context) - Maggiolo-Schettini - 1996
2 Verication of Temporal and Real-Time Properties of Statechar.. (context) - Levi - 1997
2 Formal denition of programming languages and systems (context) - Lucas - 1971
2 Schedulers as abstract interpretations of higher-dimensional.. (context) - Goubault - 1995
2 and abstract interpretation (context) - Monsuez - 1995
2 Binding-time analysis and strictness analysis by abstract in.. (context) - edrine - 1995
1 Abstract cobred domains: Application to the alias analysis o.. (context) - Venet - 1996
1 Compositional verication of mobile process networks - Dam - 1997
1 Using abstract interpretation to dene a strictness type infe.. (context) - Monsuez - 1995
1 Uniform PERs and comportment analysis - Mycroft, Solberg - 1995
1 Semantics-Directed Program Analysis: A Tool-Maker's Perspect.. - Nielson - 1996
1 The denition of kernal Oz (context) - Smolka - 1995
1 PICT Language Denition (context) - Pierce, Turner - 1995
1 Talpin: Implementation of the Typed Call-by-Value -Calculus.. (context) - Tofte - 1994
1 cient verier of truly concurrent properties (context) - Bianchi, Coluccini et al. - 1995
1 Report on a Dagsthul seminar on abstract interpretation (context) - Cousot, Cousot et al. - 1995
1 Computing Surveys (context) - Cousot, Interpretation - 1996
1 A compositional proof system for the modal -calculus (context) - Andersen, Stirling et al. - 1994
1 A modal theory of types for the -calculus (context) - Amadio, Dam - 1996
1 Priami: Enhanced Operational Semantics (context) - Degano - 1996
1 Priami: A Compact Representation of Finite State Processes (context) - Degano
1 Compositional proof systems for model checking innite state .. - Dam - 1995
1 Polymorphic typing for call-by-name semantics (context) - Monsuez - 1993
Documents on the same site (http://www.cl.cam.ac.uk/users/am/papers/): More
Optimising Compilation - Mycroft, Norman (1992) (Correct)
Type-Based Decompilation - Mycroft (1999) (Correct)
Optimising Compilation - Part II: lazy functional languages - Mycroft, Norman (1992) (Correct)
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