Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,774 papers from all fields of science
Search
Sign In
Create Free Account
Test & Performance Tools Platform
Known as:
TPTP
The Test & Performance Tools Platform (TPTP) is an Eclipse tool used to profile plug-ins of the IDE that may run on different platforms. TPTP is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Eclipse
Integrated development environment
Java
Microsoft Windows
Plug-in (computing)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
TINJAUAN ATAS PROSEDUR AUDIT KAS DAN SETARA KAS PADA KLIEN KAP DOLI, BAMBANG, SULISTIYANTO, DADANG DAN ALI
Rifka Junitra
2018
Corpus ID: 182792930
Audit Cash and Cash equivalent is one of the audits required to be performed by the audit team. In the implementation of the…
Expand
2011
2011
Building Structured Theories
B. Möller
2011
Corpus ID: 15179419
We provide a set of syntactic tools for structuring large collections of logical theories. Their use is demonstrated by a…
Expand
2010
2010
Notes of the ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution
A. Bundy
,
J. Lehmann
,
G. Qi
,
I. Varzinczak
2010
Corpus ID: 53914911
Reasoning with embedded formulas is relevant for the SUMO ontology but there is limited automation support so far. We investigate…
Expand
2009
2009
COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS
J. Urban
,
G. Sutcliffe
,
Steven Trac
,
Yury Puzis
2009
Corpus ID: 15399532
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based…
Expand
2008
2008
Hot Topics on Software Testing : An introduction to UML2.0 Testing Profile/ Eclipse Test & Performance Tools Platform
Soichi Onozuka
2008
Corpus ID: 63443644
2007
2007
Combining Mizar and TPTP Semantic Presentation Tools
J. Urban
,
Steven Trac
,
G. Sutcliffe
,
Yury Puzis
2007
Corpus ID: 716744
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based…
Expand
2007
2007
THF 0 – The Core TPTP Language for Classical Higher-Order Logic
Christoph Benzmüller
,
Florian Rabe
,
G. Sutcliffe
2007
Corpus ID: 7059554
There is a well established infrastructure that supports research, development, and deployment of first-order Automated Theorem…
Expand
2007
2007
Invited talk: Cyc Design Challenges and Solutions
Keith M. Goolsbey
ESARLT
2007
Corpus ID: 38559191
Economical and trouble-free operation of automatic processing machines for webs such as photographic film strips and paper is…
Expand
2007
2007
Eclipse web tools platform - developing Java web applications
Na-Ci Dai
,
L. Mandel
,
A. Ryman
The Eclispe series
2007
Corpus ID: 59922271
Discover WTP, the New End-to-End Toolset for Java-Based Web DevelopmentThe Eclipse Web Tools Platform (WTP) seamlessly integrates…
Expand
1997
1997
Partial instantiation theorem proving for distributed resource location
Keith Vanderveen
,
C. Ramamoorthy
Annual International Computer Software and…
1997
Corpus ID: 6235864
We present a partial instantiation theorem prover (INSTANT) which handles sentences in first order logic in clausal or non…
Expand