Search Sciweavers | Sciweavers

10666 search results - page 298 / 2134

» Quantum programming languages

146

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

16 years 3 days ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

151

click to vote

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

Programming with Proofs: Language-Based Approaches to Totally Correct Software

16 years 2 days ago

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

175

click to vote

ZUM
2005
Springer

143views Formal Methods» more ZUM 2005»

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

16 years 2 days ago

Download www.clearsy.com

Frédéric Badeau, Arnaud Amelot

claim paper

Read More »

148

Voted

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

16 years 14 hour ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

129

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

The DALI Logic Programming Agent-Oriented Language

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers