Andrzej Tarlecki

According to our database1, Andrzej Tarlecki
  • authored at least 91 papers between 1983 and 2015.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation.
Int. J. Software and Informatics, 2015

The Foundational Legacy of ASL.
Proceedings of the Software, 2015

Modularity of Ontologies in an Arbitrary Institution.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Răzvan Diaconescu, Institution-independent Model Theory.
Studia Logica, 2014

Property-oriented semantics of structured specifications.
Mathematical Structures in Computer Science, 2014

The Institution-Theoretic Scope of Logic Theorems.
Logica Universalis, 2014

Władysław Marek Turski (1938-2013).
Inf. Process. Lett., 2014

Władysław Marek Turski (1938-2013).
Formal Asp. Comput., 2014

A Relatively Complete Calculus for Structured Heterogeneous Specifications.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

Parchments for CafeOBJ Logics.
Proceedings of the Specification, Algebra, and Software, 2014

2012
Testing of Evolving Protocols.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Foundations of Algebraic Specification and Formal Software Development.
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-17335-6, 2012

2011
Some Nuances of Many-sorted Universal Algebra: A Review.
Bulletin of the EATCS, 2011

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).
Dagstuhl Manifestos, 2011

2009
Preface.
Theor. Comput. Sci., 2009

What is a Logic Translation?
Logica Universalis, 2009

2008
Observational interpretation of Casl specifications.
Mathematical Structures in Computer Science, 2008

Heterogeneous Logical Environments for Distributed Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Observability Concepts in Abstract Data Type Specification, 30 Years Later.
Proceedings of the Concurrency, 2008

A Heterogeneous Approach to UML Semantics.
Proceedings of the Concurrency, 2008

2007
Toward Specifications for Reconfigurable Component Systems.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Horizontal Composability Revisited.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Amalgamation in the semantics of CASL.
Theor. Comput. Sci., 2005

2004
Editorial.
Inf. Process. Lett., 2004

A Simple Refinement Language for Casl.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003
Foreword.
Inf. Process. Lett., 2003

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Computers and Artificial Intelligence, 2003

2002
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci., 2002

Architectural Specifications in CASL.
Formal Asp. Comput., 2002


Toward Component-Oriented Formal Software Development: An Algebraic Approach.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Global Development via Local Observational Construction Steps.
Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

2001
Checking Amalgamability Conditions for C ASL Architectural Specifications.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Amalgamation in CASL via Enriched Signatures.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Semantics of Architectural Specifications in CASL.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
First-Order Specifications of Programmable Data Types.
SIAM J. Comput., 2000

Constructive Data Refinement in Typed Lambda Calculus.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Institutions: An Abstract Framework for Formal Specifications.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Preliminaries.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Algebraic Methods for Specification and Formal Development of Programs.
ACM Comput. Surv., 1999

1998
Architectural Specifications in CASL.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci., 1997

Foreword.
Sci. Comput. Program., 1997

Essential Concepts of Algebraic Specification and Program Development.
Formal Asp. Comput., 1997

Combining and representing logical systems using model-theoretic parchments.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Combining and Representing Logical Systems.
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996
Mind the Gap! Abstract Versus Concrete Models of Specifications.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Behavioural Satisfaction and Equivalence in Concrete Model Categories.
Proceedings of the Trees in Algebra and Programming, 1996

1995
Moving Between Logical Systems.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Structured Theory Presentations and Logic Representations.
Ann. Pure Appl. Logic, 1994

Interfaces and Extended ML.
Proceedings of the Workshop on Interface Definition Languages, 1994

1993
Algebraic specification and formal methods for program development: what are the real problems?
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

The Semantics of Extended ML: A Gentle Introduction.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Inf., 1992

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft.
Proceedings of the ESOP '92, 1992

1991
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.
Theor. Comput. Sci., 1991

On Conservative Extensions of Syntax in System Development.
Theor. Comput. Sci., 1991

A three-valued logic for software specification and validation.
Fundam. Inform., 1991

1990
Algebraic specification and formal methods for program development: what are the real problems?
Bulletin of the EATCS, 1990

A Naive Domain Universe for VDM.
Proceedings of the VDM '90, 1990

Extended ML: Past, Present, and Future.
Proceedings of the Recent Trends in Data Type Specification, 1990

A Kernel Specification Formalism with Higher-Order Parameterization.
Proceedings of the Recent Trends in Data Type Specification, 1990

1989
Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract).
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

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

Logic Representation in LF.
Proceedings of the Category Theory and Computer Science, 1989

1988
Existence, Uniqueness, and Construction of Rewrite Systems.
SIAM J. Comput., 1988

Specifications in an Arbitrary Institution
Inf. Comput., 1988

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
Acta Inf., 1988

A Three-Valued Logic for Software Specification and Validation.
Proceedings of the VDM '88, 1988

Algebraic Specification with Built-in Domain Constructions.
Proceedings of the CAAP '88, 1988

Formal Development of ML Programs: Methodological Aspects.
ADT, 1988

1987
On Observational Equivalence and Algebraic Specification.
J. Comput. Syst. Sci., 1987

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract).
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Algebraic Specifications of Reachable Higher-Order Algebras.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
Quasi-varieties in Abstract Algebraic Institutions.
J. Comput. Syst. Sci., 1986

Programming in the Large with Algebraic Module Specifications - Response.
IFIP Congress, 1986

Bits and Pieces of the Theory of Institutions.
ADT, 1986

Extended ML: An Institution-Independent Framework for Formal Program Development.
ADT, 1986

1985
On the Existence of Free Models in Abstract Algebraic Institutuons.
Theor. Comput. Sci., 1985

A Language of Specified Programs.
Sci. Comput. Program., 1985

Algebraic specification of the abstract data type "Continuum".
Bulletin of the EATCS, 1985

On Observational Equivalence and Algebraic Specification.
Proceedings of the Mathematical Foundations of Software Development, 1985

Program Specification and Development in Standard ML.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Continuous abstract data types: basic machinery and results.
Proceedings of the Fundamentals of Computation Theory, 1985

Bits and Pieces of the Theory of Institutions.
Proceedings of the Category Theory and Computer Programming, 1985

Extended ML: an Institution - Independent Framework for Formal Program Development.
Proceedings of the Category Theory and Computer Programming, 1985

1984
Building Specifications in an Arbitrary Institution.
Proceedings of the Semantics of Data Types, International Symposium, 1984

Free Constructions in Algebraic Institutions.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

Some Thoughts on Algebraic Specification.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
Naive Denotational Semantics.
IFIP Congress, 1983


  Loading...