Skip to search formSkip to main contentSkip to account menu

Escher

Escher is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Abstract The concept of tax competition has been successfully applied in an analysis conducted in several European countries, but… 
2008
2008
Resumen es: En el marco del presente articulo se presenta un recorrido a traves de cinco grados de la comunicacion en educacion… 
2008
2008
La tutelle et la curatelle sont des mesures destinees a proteger les biens des personnes vulnerables. En general imposees par le… 
2006
2006
  • 2006
  • Corpus ID: 315236
ESpec is a suite of tools that facilitates the testing and verification of object-oriented Eiffel programs in an integrated… 
2005
2005
Perfect Developer is a software tool that supports the formal development of object-oriented programs by refinement, including… 
2004
2004
Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological… 
1999
1999
This paper presents a dynamic strategy for monitoring the depth of program trees evolved by STEPS (Strongly Typed Evolutionary… 
1963
1963
Thomas Jerome Newton is an extraterrestrial from the planet Anthea, which has been devastated by a series of nuclear wars, and…