Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,920,311 papers from all fields of science
Search
Sign In
Create Free Account
ESOP
The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
ACM Transactions on Programming Languages and Systems
European Joint Conferences on Theory and Practice of Software
Lecture Notes in Computer Science
List of computer science conferences
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
Burak Ekici
2015
Corpus ID: 29852513
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts…
Expand
2012
2012
Health Workforce Australia Expanded Scopes of Practice Program: evaluation framework
C. Thompson
,
K. Quinsey
,
+5 authors
K. Eagar
2012
Corpus ID: 69167902
2007
2007
Library Aware Power Conscious Realization of Complementary Boolean Functions
P. Balasubramanian
,
Cemal Ardil
2007
Corpus ID: 13433762
— In this paper, we consider the problem of logic simplification for a special class of logic functions, namely complementary…
Expand
Review
2006
Review
2006
Types for Hierarchic Shapes (Summary)
S. Drossopoulou
,
D. Clarke
,
J. Noble
2006
Corpus ID: 15793009
Heap entities tend to contain complex references to each other. To manage this complexity, types which express shapes and hi…
Expand
2004
2004
Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults
H. Rahaman
,
D. K. Das
,
B. Bhattacharya
17th International Conference on VLSI Design…
2004
Corpus ID: 24658587
A testable realization of Generalized Reed-Muller (GRM) or EXOR Sum-of-Products (ESOP) expression has been proposed that admits a…
Expand
2001
2001
Pharmaco-épidémiologie : identification des besoins, bases de données, critères de qualité des études
M. Vray
,
D. Szafir
,
P. Jaillon
2001
Corpus ID: 78930138
Des donnees de reference sur les pathologies, leur prise en charge, les facteurs de risque, et sur l'usage des medicaments en…
Expand
Review
1994
Review
1994
A programming logic based on type theory
E. Poll
1994
Corpus ID: 221967522
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
Expand
1993
1993
LP Characteristic Vector for Logic Functions
N. Koda
,
Tsutomu Sasao
1993
Corpus ID: 18003979
In this paper, we de ne the LP equivalence relation, and introduce an LP characteristic vector, which is invariant under this…
Expand
1993
1993
Coherence for Qualiied Types
Mark P. Jones
1993
Corpus ID: 6414131
ions and let expressions. Any such renaming is permitted so long as we avoid clashes with free variables. The nal group of…
Expand
1986
1986
Proceedings of the European Symposium on Programming
B. Robinet
,
R. Wilhelm
1986
Corpus ID: 187975131