Donald Sannella

Ulrich Schöpp

Math. Struct. Comput. Sci., June, 2022

2021

Introduction to Computation - Haskell, Logic and Automata

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-76907-9, 2021

Preface for the special issue in homage to Martin Hofmann Part 1.

[BibT_eX]

[DOI]

Jan Hoffmann

Ulrich Schöpp

Math. Struct. Comput. Sci., 2021

2020

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

2019

A Key to Your Heart: Biometric Authentication Based on ECG Signals.

[BibT_eX]

[DOI]

Nikita Samarin

CoRR, 2019

2018

On Normal Forms for Structured Specifications with Generating Constraints.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Specification refinements: Calculi, tools, and applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

2015

TCS in the 21st century.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation.

[BibT_eX]

[DOI]

Grzegorz Marczynski

Int. J. Softw. Informatics, 2015

ThreadSafe: Static Analysis for Java Concurrency.

[BibT_eX]

[DOI]

Robert Atkey

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

The Foundational Legacy of ASL.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the Software, 2015

Modularity of Ontologies in an Arbitrary Institution.

[BibT_eX]

[DOI]

Till Mossakowski

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Property-oriented semantics of structured specifications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2014

Parchments for CafeOBJ Logics.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2012

Foundations of Algebraic Specification and Formal Software Development.

[BibT_eX]

[DOI]

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-17335-6, 2012

2010

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.

[BibT_eX]

[DOI]

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

2008

Preface.

[BibT_eX]

[DOI]

Ugo Montanari

Theor. Comput. Sci., 2008

Observational interpretation of Casl specifications.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Observability Concepts in Abstract Data Type Specification, 30 Years Later.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005).

[BibT_eX]

[DOI]

Vladimiro Sassone

Theor. Comput. Sci., 2007

2006

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Horizontal Composability Revisited.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Mobile Resource Guarantees (project evaluation paper).

[BibT_eX]

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004

A Simple Refinement Language for Casl.

[BibT_eX]

[DOI]

Till Mossakowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Mobile Resource Guarantees for Smart Devices.

[BibT_eX]

[DOI]

Proceedings of the Construction and Analysis of Safe, 2004

2003

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2003

Semantic and Syntactic Approaches to Simulation Relations.

[BibT_eX]

[DOI]

Jo Erskine Hannay

Shin-ya Katsumata

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

CASL: the Common Algebraic Specification Language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Prelogical Relations.

[BibT_eX]

[DOI]

Furio Honsell

Inf. Comput., 2002

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science.

[BibT_eX]

[DOI]

David E. Rydeheard

Formal Aspects Comput., 2002

Architectural Specifications in CASL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

Toward Component-Oriented Formal Software Development: An Algebraic Approach.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Unit Testing for CASL Architectural Specifications.

[BibT_eX]

[DOI]

Patrícia D. L. Machado

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

Global Development via Local Observational Construction Steps.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

From Specifications to Code in CASL.

[BibT_eX]

[DOI]

David Aspinall

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

25 Years.

[BibT_eX]

Giorgio Ausiello

Michael W. Mislove

Theor. Comput. Sci., 2001

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Lax Logical Relations.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Constructive Data Refinement in Typed Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Preliminaries.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Methods for Specification and Formal Development of Programs.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1999

Algebraic Specification and Program Development by Stepwise Refinement.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1999

The Common Framework Initiative for Algebraic Specification and Development of Software.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

Pre-logical Relations.

[BibT_eX]

[DOI]

Furio Honsell

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Reflections on the Design of a Specification language.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

The Definition of Extended ML: A Gentle Introduction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Essential Concepts of Algebraic Specification and Program Development.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1997

What Does the Future Hold for Theoretical Computer Science?

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic.

[BibT_eX]

[DOI]

Martin Hofmann

Theor. Comput. Sci., 1996

Mind the Gap! Abstract Versus Concrete Models of Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1995

Foreword: Selected Papers of ESOP'94.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1995

On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic.

[BibT_eX]

[DOI]

Martin Hofmann

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

1994

Structured Theory Presentations and Logic Representations.

[BibT_eX]

[DOI]

Robert Harper

Ann. Pure Appl. Log., 1994

Interfaces and Extended ML.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Interface Definition Languages, 1994

1993

Algebraic specification and formal methods for program development: what are the real problems?

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

The Semantics of Extended ML: A Gentle Introduction.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

A Calculus for the Construction of Modular Prolog Programs.

[BibT_eX]

[DOI]

Lincoln A. Wallen

J. Log. Program., 1992

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.

[BibT_eX]

[DOI]

Stefan Sokolowski

Acta Informatica, 1992

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.

[BibT_eX]

[DOI]

Bernd Krieg-Brückner

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1990

Algebraic specification and formal methods for program development: what are the real problems?

[BibT_eX]

Bull. EATCS, 1990

Extended ML: Past, Present, and Future.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

A Kernel Specification Formalism with Higher-Order Parameterization.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1990

1989

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Structure and Representation in LF

[BibT_eX]

[DOI]

Robert Harper

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Logic Representation in LF.

[BibT_eX]

[DOI]

Robert Harper

Proceedings of the Category Theory and Computer Science, 1989

1988

Specifications in an Arbitrary Institution

[BibT_eX]

[DOI]

Inf. Comput., 1988

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.

[BibT_eX]

[DOI]

Acta Informatica, 1988

Formal Development of ML Programs: Methodological Aspects.

[BibT_eX]

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

On Observational Equivalence and Algebraic Specification.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1987

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1985

Completeness of Proof Systems for Equational Specifications.

[BibT_eX]

[DOI]

David B. MacQueen

IEEE Trans. Software Eng., 1985

Program Specification and Development in Standard ML.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Extended ML: an Institution - Independent Framework for Formal Program Development.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1984

A Set-Theoretic Semantics for Clear.

[BibT_eX]

[DOI]

Acta Informatica, 1984

Building Specifications in an Arbitrary Institution.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Data Types, International Symposium, 1984

Some Thoughts on Algebraic Specification.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1983

Structured Theories in LCF.

[BibT_eX]

[DOI]

Rod M. Burstall

Proceedings of the CAAP'83, 1983

A Kernel Language for Algebraic Specification and Implementation.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Semantics, implementation and pragmatics of Clear, a program specification language.

[BibT_eX]

[DOI]

PhD thesis, 1982

Implementation of Parameterised Specifications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, 1982

1980

HOPE: An Experimental Applicative Language.

[BibT_eX]

[DOI]

Rod M. Burstall

David B. MacQueen