Flemming Nielson

Kebin Zeng

Proceedings of the Software, 2015

Hoare Logic for Disjunctive Information Flow.

[BibT_eX]

[DOI]

Ximeng Li

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

Discretionary Information Flow Control for Interaction-Oriented Specifications.

[BibT_eX]

[DOI]

Alberto Lluch-Lafuente

Carroline Dewi Puspa Kencana Ramli

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

The logic of XACML.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

A Framework for Hybrid Systems with Denial-of-Service Security Attack.

[BibT_eX]

[DOI]

Shuling Wang

CoRR, 2014

Trust-Based Enforcement of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

The Guided System Development Framework: Modeling and Verifying Communication Systems.

[BibT_eX]

[DOI]

Jose Quaresma

Christian W. Probst

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Formal Security Analysis of the MaCAN Protocol.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Denial-of-Service Security Attack in the Continuous-Time World.

[BibT_eX]

[DOI]

Shuling Wang

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Uniform Protection for Multi-exposed Targets.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Automated Generation of Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

The Stochastic Quality Calculus.

[BibT_eX]

[DOI]

Kebin Zeng

Proceedings of the Coordination Models and Languages, 2014

2013

Predictive access control for distributed computation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Reachability for Finite-State Process Algebras using Horn Clauses.

[BibT_eX]

[DOI]

Nataliya Skrypnyuk

Int. J. Found. Comput. Sci., 2013

Design-Efficiency in Security

[BibT_eX]

[DOI]

CoRR, 2013

Pushdown Systems for Monotone Frameworks.

[BibT_eX]

[DOI]

Michal Terepeta

CoRR, 2013

Lazy Mobile Intruders.

[BibT_eX]

[DOI]

Sebastian Mödersheim

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Broadcast, Denial-of-Service, and Secure Communication.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Probabilistic Analysis of the Quality Calculus.

[BibT_eX]

[DOI]

Anders Skovbo Christensen

Proceedings of the Formal Techniques for Distributed Systems, 2013

ICT-powered Health Care Processes - (Position Paper).

[BibT_eX]

[DOI]

Marco Carbone

Thomas T. Hildebrandt

Martin Sølvkjær

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Safety versus Security in the Quality Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Static Analysis of IMC.

[BibT_eX]

[DOI]

Nataliya Skrypnyuk

J. Log. Algebraic Methods Program., 2012

Flow Logic for Process Calculi.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2012

Roadmap Document on Stochastic Analysis

[BibT_eX]

[DOI]

Bo Friis Nielsen

Michael James Andrew Smith

Kebin Zeng

Lijun Zhang

CoRR, 2012

Lattice based Least Fixed Point Logic

[BibT_eX]

[DOI]

Piotr Filipiuk

CoRR, 2012

Optimizing ZigBee Security using Stochastic Model Checking

[BibT_eX]

[DOI]

CoRR, 2012

Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

[BibT_eX]

[DOI]

CoRR, 2012

Secondary use of data in EHR systems

[BibT_eX]

[DOI]

CoRR, 2012

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Layered fixed point logic.

[BibT_eX]

[DOI]

Piotr Filipiuk

Alejandro Mario Hernandez

Proceedings of the Principles and Practice of Declarative Programming, 2012

A generic approach for security policies composition: position paper.

[BibT_eX]

[DOI]

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm.

[BibT_eX]

[DOI]

David N. Jansen

Carroline Dewi Puspa Kencana Ramli

Lijun Zhang

Proceedings of the NASA Formal Methods, 2012

XACML 3.0 in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

LBTool: A stochastic toolkit for leave-based key updates.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Key Update Assistant for resource-constrained networks.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Model Checking as Static Analysis: Revisited.

[BibT_eX]

[DOI]

Fuyuan Zhang

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A Calculus for Quality.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Recursive Advice for Coordination.

[BibT_eX]

[DOI]

Michal Terepeta

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Modal abstractions of concurrent behavior.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

CaPiTo: protocol stacks for services.

[BibT_eX]

[DOI]

Han Gao

Alejandro Mario Hernandez

Formal Aspects Comput., 2011

Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems.

[BibT_eX]

[DOI]

Carroline Dewi Puspa Kencana Ramli

Sci. Ann. Comput. Sci., 2011

The Logic of XACML - Extended

[BibT_eX]

[DOI]

CoRR, 2011

A Stochastic Broadcast Pi-Calculus

[BibT_eX]

[DOI]

Lei Song

Bo Friis Nielsen

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Automata-Based CSL Model Checking

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks.

[BibT_eX]

[DOI]

Comput. J., 2011

Reachability for Finite-State Process Algebras Using Static Analysis.

[BibT_eX]

[DOI]

Nataliya Skrypnyuk

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Controlling Modelling Artifacts.

[BibT_eX]

[DOI]

Michael J. A. Smith

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Resilience analysis of key update strategies for resource-constrained networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2011

Galois Connections for Flow Algebras.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

From Explicit to Symbolic Types for Communication Protocols in CCS.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

Analysing Protocol Stacks for Services.

[BibT_eX]

[DOI]

Han Gao

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

From Flow Logic to static type systems for coordination languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Static analysis of topology-dependent broadcast networks.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints.

[BibT_eX]

[DOI]

Piotr Filipiuk

Alejandro Mario Hernandez

Proceedings of the Tools for Automatic Program AnalysiS, 2010

History-sensitive versus future-sensitive approaches to security in distributed systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Probabilistic Aspects: Checking Security in an Imperfect World.

[BibT_eX]

[DOI]

Chris Hankin

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Model Checking Multivariate State Rewards.

[BibT_eX]

[DOI]

Bo Friis Nielsen

Proceedings of the QEST 2010, 2010

The CaPiTo Approach to Protocol Validation - (Invited Talk).

[BibT_eX]

[DOI]

Han Gao

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Model Checking <i>Is</i> Static Analysis of Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

A monotone framework for CCS.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2009

Advice from Belnap Policies.

[BibT_eX]

[DOI]

Chris Hankin

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Pathway analysis for BioAmbients.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Modal Abstractions of Concurrent Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 15th International Symposium, 2008

Relational Analysis of Correlation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 15th International Symposium, 2008

From generic to specific: off-line optimization for a general constraint solver.

[BibT_eX]

[DOI]

Ye Zhang

Christoffer Rosenkilde Nielsen

Proceedings of the Generative Programming and Component Engineering, 2008

Iterative Specialisation of Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

Advice for Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Static Validation of Licence Conformance Policies.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

Semantics with Applications: An Appetizer.

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-692-6, 2007

What is a free name in a process algebra?

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

Heuristics for Safety and Security Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Relational Analysis for Delivery of Services.

[BibT_eX]

[DOI]

Christoffer Rosenkilde Nielsen

Jörg Bauer

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

A Scalable Inclusion Constraint Solver Using Unification.

[BibT_eX]

[DOI]

Ye Zhang

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

A flow-sensitive analysis of privacy properties.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Topology-Dependent Abstractions of Broadcast Networks.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Active Evaluation Contexts for Reaction Semantics.

[BibT_eX]

[DOI]

Christoffer Rosenkilde Nielsen

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Cryptographic Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Locality-Based Security Policies.

[BibT_eX]

[DOI]

Terkel K. Tolstrup

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Where Can an Insider Attack?

[BibT_eX]

[DOI]

Christian W. Probst

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Context Dependent Analysis of BioAmbients.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Static Analysis of a Model of the LDL Degradation Pathway.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.

[BibT_eX]

[DOI]

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Data Flow Analysis for CCS.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

Types from Control Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

Sandboxing in myKlaim.

[BibT_eX]

[DOI]

Christian W. Probst

Proceedings of the The First International Conference on Availability, 2006

2005

Static validation of security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

Information Flow Analysis for VHDL.

[BibT_eX]

[DOI]

Terkel K. Tolstrup

Proceedings of the Parallel Computing Technologies, 2005

On Evaluating the Performance of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2005

2004

A calculus for control flow analysis of security protocols.

[BibT_eX]

[DOI]

Mikael Buchholtz

Int. J. Inf. Sec., 2004

Securing Statically-verified Communications Protocols Against Timing Attacks.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

Performance Evaluation of Security Protocols Specified in LySa.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

The Succinct Solver Suite.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Spatial Analysis of BioAmbients.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Abstract interpretation of mobile ambients.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2003

Control Flow Analysis for BioAmbients.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Automatic Validation of Protocol Narration.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Validating firewalls using flow logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A Succinct Solver for ALFP.

[BibT_eX]

Nord. J. Comput., 2002

Flow logic for Dolev-Yao secrecy in cryptographic processes.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2002

Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Security for Mobility.

[BibT_eX]

[DOI]

Mikael Buchholtz

Proceedings of the Foundations of Security Analysis and Design II, 2002

Automatic Complexity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2002

Flow Logic: A Multi-paradigmatic Approach to Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Succinct Solvers

[BibT_eX]

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2001

Shape Analysis for Mobile Ambients.

[BibT_eX]

[DOI]

Nord. J. Comput., 2001

Kleene's Logic with Equality.

[BibT_eX]

[DOI]

Shmuel Sagiv

Inf. Process. Lett., 2001

Static Analysis for the pi-Calculus with Applications to Security.

[BibT_eX]

[DOI]

Inf. Comput., 2001

Cryptographic Analysis in Cubic Time.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Static Analysis for Secrecy and Non-interference in Networks of Processes.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2001

Control-Flow Analysis in Cubic Time.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2001

Security Analysis Using Flow Logics.

[BibT_eX]

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Security Analysis using Flow Logics.

[BibT_eX]

Bull. EATCS, 2000

A Kleene Analysis of Mobile Ambients.

[BibT_eX]

[DOI]

Shmuel Sagiv

Proceedings of the Programming Languages and Systems, 2000

1999

Abstract Interpretation of Mobile Ambients.

[BibT_eX]

[DOI]

Jacob Grydholt Jensen

Proceedings of the Static Analysis, 6th International Symposium, 1999

Static Analysis of Processes for No and Read-Up nad No Write-Down.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Interprocedural Control Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1999

Validating Firewalls in Mobile Ambients.

[BibT_eX]

[DOI]

Jacob Grydholt Jensen

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Type and Effect Systems.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 1999

Validating Programs in Concurrent ML.

[BibT_eX]

[DOI]

Proceedings of the Research Directions in Parallel Functional Programming, 1999

Principles of program analysis.

[BibT_eX]

[DOI]

Chris Hankin

Springer, ISBN: 978-3-540-65410-0, 1999

Type and effect systems - behaviours for concurrency.

[BibT_eX]

Imperial College Press, ISBN: 978-1-86094-154-2, 1999

1998

Behavior Analysis for Validating Communication Patterns.

[BibT_eX]

[DOI]

Kirsten Lackner Solberg Gasser

Int. J. Softw. Tools Technol. Transf., 1998

Strictness and Totality Analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Flow Logic for Imperative Objects.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Behaviour Analysis and Safety Conditions: A Case Study in CML.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Control Flow Analysis for the pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

Flow Logics for Constraint Based Analysis.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 7th International Conference, 1998

1997

Perspectives on Program Analysis.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1997

Type and Behaviour Reconstruction for Higher-Order Concurrent Programs.

[BibT_eX]

[DOI]

J. Funct. Program., 1997

Flow Logic and Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Prescriptive Frameworks for Multi-Level Lambda-Calculi.

[BibT_eX]

[DOI]

Kirsten Lackner Solberg Gasser

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Systematic Realisation of Control Flow Analyses for CML.

[BibT_eX]

[DOI]

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

From CML to its Process Algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Operational Semantics of Termination Types.

[BibT_eX]

Nord. J. Comput., 1996

Annotated Type and Effect Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Semantics-Directed Program Analysis: A Tool-Maker's Perspective.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Symposium, 1996

Polymorphic Subtyping for Effect Analysis: The Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Polymorphic Subtyping for Effect Analysis: The Static Semantics.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Logical and Operational Methods in the Analysis of Programs and Systems.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Multi-Level Lambda-Calculi: An Algebraic Description.

[BibT_eX]

[DOI]

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

The Tensor Product in Wadler's Analysis of Lists.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1994

Higher-Order Concurrent Programs with Finite Communication Topology.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Constraints for Polymorphic Behaviours of Concurrent ML.

[BibT_eX]

[DOI]

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1993

Finiteness Conditions for Strictness Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Workshop, 1993

From CML to Process Algebras (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

1992

Bounded Fixed-Point Iteration.

[BibT_eX]

[DOI]

J. Log. Comput., 1992

Forced transformation of Occam programs.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1992

Inference Systems for Binding Time Analysis.

[BibT_eX]

Kirsten Lackner Solberg

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Layered Predicates.

[BibT_eX]

[DOI]

Proceedings of the Sematics: Foundations and Applications, 1992

Finiteness Conditions for Fixed Point Iteration.

[BibT_eX]

[DOI]

Proceedings of the Conference on Lisp and Functional Programming, 1992

Two-level functional languages.

[BibT_eX]

Cambridge tracts in theoretical computer science 34, Cambridge University Press, ISBN: 978-0-521-40384-9, 1992

Semantics with applications - a formal introduction.

[BibT_eX]

Wiley professional computing, Wiley, ISBN: 978-0-471-92980-2, 1992

1991

Using Transformations in the Implementations of Higher-Order Functions.

[BibT_eX]

[DOI]

J. Funct. Program., 1991

1990

Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Context Information for Lazy Code Generation.

[BibT_eX]

[DOI]

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations.

[BibT_eX]

[DOI]

Proceedings of the ESOP'90, 1990

1989

Two-Level Semantics and Abstract Interpretation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1989

The Typed lambda-Calculus with First-Class Processes.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Transformations on Higher-Order Functions.

[BibT_eX]

[DOI]

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Strictness Analysis and Denotational Abstract Interpretation

[BibT_eX]

[DOI]

Inf. Comput., January, 1988

Two-Level Semantics and Code Generation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

Automatic Binding Time Analysis for a Typed lambda-Calculus.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

2-level lambda-lifting.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1986

Abstract Interpretation of Denotational Definions (A Survey).

[BibT_eX]

[DOI]

Proceedings of the STACS 86, 1986

Semantics Directed Compiling for Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Pragmatic Aspects of Two-Level Denotational Meta-Languages.

[BibT_eX]

[DOI]

Proceedings of the ESOP 86, 1986

Correctness of Code Generation from a Two-Level Meta-Language.

[BibT_eX]

[DOI]

Proceedings of the ESOP 86, 1986

1985

Program Transformations in a Denotational Setting.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1985

Code generation from two-level denotational meta-languages.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, 1985

Expected forms of data flow analyses.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, 1985

1984

Abstract interpretation using domain theory.

[BibT_eX]

[DOI]

PhD thesis, 1984

1983

Strong Abstract Interpretation Using Power Domains (Extended Abstract).

[BibT_eX]

[DOI]

Alan Mycroft

Proceedings of the Automata, 1983

1982

A Denotational Framework for Data Flow Analysis.

[BibT_eX]

[DOI]