<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Programming language theory / Functional languages / Proof assistants / Procedural programming languages / Logic in computer science / Type theory / Isabelle / Logic for Computable Functions / Standard ML / ML
Date: 2018-08-15 07:18:50
Software engineering
Computer programming
Programming language theory
Functional languages
Proof assistants
Procedural programming languages
Logic in computer science
Type theory
Isabelle
Logic for Computable Functions
Standard ML
ML

Add to Reading List

Source URL: isabelle.in.tum.de

Download Document from Source Website

File Size: 868,47 KB

Share Document on Facebook

Similar Documents

3D computer graphics / Computer graphics / Computer-aided engineering / Polygon mesh / STL / Constructive solid geometry / 3D modeling / Mesh / Geometry processing

Functional Programming for Compiling and Decompiling Computer-Aided Design

DocID: 1xW3j - View Document

Probability and statistics / Probability theory / Artificial intelligence / Machine learning / Computational statistics / Graphical models / Computational linguistics / Natural language processing / Conditional random field / Probabilistic programming language / Inference / Support vector machine

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

DocID: 1xVVx - View Document

Artificial intelligence / Logic / Logic programming / Declarative programming / Automated reasoning / Programming paradigms / Automated theorem proving / Answer set programming / Reasoning system / Stable model semantics / Prolog / Inference

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

DocID: 1xVE0 - View Document

Mathematics / Algebra / Combinatorial optimization / Mathematical logic / Mathematical optimization / Operations research / Algorithm / Sheaf / Branch and bound / Universal property / Equation solving / Boolean algebra

Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue

DocID: 1xVuR - View Document

Concurrent computing / Parallel computing / Computing / Computer programming / Manycore processor / Data parallelism / General-purpose computing on graphics processing units / Parallel programming model / Multi-core processor / Thread / CUDA / OpenMP

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

DocID: 1xTRO - View Document