Skip to search formSkip to main contentSkip to account menu

ESOP

The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
ACM Transactions on Programming Languages and SystemsEuropean Joint Conferences on Theory and Practice of SoftwareLecture Notes in Computer ScienceList of computer science conferences

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Single Network Structure for Stuck-at and Bridging Fault Analysis and Diagnosis of Exclusive-OR Sum of Products Reed-Muller Canonical Circuits
  • 2013
  • Corpus ID: 212528505
— In this paper, a testable design with good fault identification capability is used for analysis and diagnosis of AND-bridging… 
Review
2013
Review
2013
Online Testable Approaches in Reversible Logic
We present an overview and analysis of existing work in the design of online testable reversible logic circuits, as well as… 
2012
2012
Health Workforce Australia Expanded Scopes of Practice Program: evaluation framework
2009
2009
Testable design of AND-EXOR logic networks with universal test sets
2007
2007
Proceedings of the 16th European Symposium on Programming
2002
2002
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without… 
2001
2001
Enforcing Safety Properties Using Type Specialization
Type specialization can serve as a powerful tool in enforcing safety properties on foreign code. Using the specification of a… 
Review
1994
Review
1994
A programming logic based on type theory
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences… 
1993
1993
Coherence for Qualiied Types
ions and let expressions. Any such renaming is permitted so long as we avoid clashes with free variables. The nal group of… 
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)