<--- Back to Details
First PageDocument Content
Lisp programming language / Functional languages / Automated theorem proving / ACL2 / XML / Literate programming / DocBook / Nqthm / Proof assistant / Computing / Markup languages / Technical communication
Date: 2003-07-07 13:20:50
Lisp programming language
Functional languages
Automated theorem proving
ACL2
XML
Literate programming
DocBook
Nqthm
Proof assistant
Computing
Markup languages
Technical communication

Add to Reading List

Source URL: www.cs.utexas.edu

Download Document from Source Website

File Size: 100,70 KB

Share Document on Facebook

Similar Documents

The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)

DocID: 1t4iQ - View Document

Extreme Markup Languages 2004® Montréal, Québec August 2-6, 2004 Half-steps toward LMNL

DocID: 1sQK7 - View Document

Computing / Technical communication / Markup languages / Open formats / Darwin Information Typing Architecture / Topic-based authoring

Darwin Information Typing Architecture (DITA) Version 1.3 Part 1: Base Edition Candidate OASIS StandardSeptember 2015 Specification URIs This version:

DocID: 1rtoz - View Document

Computing / Markup languages / Open formats / XML namespace / XPath / Namespace / Apache Ant / C Sharp / XHTML / Uniform Resource Identifier

Auxiliary tasks by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any medi

DocID: 1rtjP - View Document

Computing / Java platform / Enterprise application integration / Java enterprise platform / Query languages / Markup languages / XPath / Apache Camel / Apache ServiceMix / XQuery / VTD-XML / Java Development Kit

Performance Optimizations for Apache Camel Christian Müller WARNING: Jetlagged!

DocID: 1rtjn - View Document