Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,286,837 papers from all fields of science
Search
Sign In
Create Free Account
Jape (software)
Known as:
Jape
Jape is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Automated theorem proving
Fitch notation
Java
Microsoft Windows
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Improving Haskell
Martin A. T. Handley
,
G. Hutton
Symposium on Trends in Functional Programming
2018
Corpus ID: 46903861
Lazy evaluation is a key feature of Haskell, but can make it difficult to reason about the efficiency of programs. Improvement…
Expand
2015
2015
Building annotation rules for text description of endoscopies in romanian - an NLP-free approach
R. R. Slavescu
,
Alexandra Bali
,
Kinga Cristina Slavescu
International Conference on Computational…
2015
Corpus ID: 15713891
This paper presents an approach for building annotation rules for texts containing natural language descriptions of the…
Expand
2015
2015
Information retrieval in falktales using natural language processing
Adrian Groza
,
Lidia Corde
International Conference on Computational…
2015
Corpus ID: 3233907
Our aim is to extract information about literary characters in unstructured texts. We employ natural language processing and…
Expand
2006
2006
The Naked Jape: Uncovering The Hidden World Of Jokes
J. Carr
,
Lucy Greeves
2006
Corpus ID: 190365586
Is Man the only animal that laughs? Why are clowns so scary? Do jokes make children more intelligent? Are men funnier than women…
Expand
Highly Cited
2005
Highly Cited
2005
Automatic Certification of Heap Consumption
Lennart Beringer
,
M. Hofmann
,
A. Momigliano
,
O. Shkaravska
Logic Programming and Automated Reasoning
2005
Corpus ID: 14015581
We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion…
Expand
2003
2003
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms
J. Aczel
,
P. Fung
,
R. Bornat
,
M. Oliver
,
T. O'Shea
,
B. Sufrin
British Journal of Educational Technology
2003
Corpus ID: 206169506
This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract…
Expand
1999
1999
Animating Formal Proof at the Surface: The Jape Proof Calculator
R. Bornat
,
B. Sufrin
Computer/law journal
1999
Corpus ID: 859189
Jape is a program which supports the step-by-step interactive development of proofs in formal logics, in the style of proofs-on…
Expand
1997
1997
Jape: A Calculator for Animating Proof-on-Paper
R. Bornat
,
B. Sufrin
CADE
1997
Corpus ID: 2608837
If you suppose that it would be pointless to simulate proof-on-paper; if you imagine that all the problems of interactive theorem…
Expand
1996
1996
Jape's quiet interface
R. Bornat
1996
Corpus ID: 59754054
Jape is a proof editor designed for use by novices and to be programmed by tyro logicians. Its user interface intrudes as little…
Expand
Highly Cited
1994
Highly Cited
1994
An Implemented Model of Punning Riddles
K. Binsted
,
G. Ritchie
AAAI Conference on Artificial Intelligence
1994
Corpus ID: 6453705
In this paper, we discuss a model of simple question-answer punning, implemented in a program, JAPE-1, which generates riddles…
Expand
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)
ACCEPT & CONTINUE