Search Sciweavers | Sciweavers

10871 search results - page 306 / 2175

» A stable programming language

186

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 22 days ago

Download www.clearsy.com

Frédéric Badeau, Arnaud Amelot

claim paper

Read More »

158

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

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

16 years 20 days ago

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

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

claim paper

Read More »

144

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

The DALI Logic Programming Agent-Oriented Language

16 years 19 days ago

Download www.cs.unipr.it

Stefania Costantini, Arianna Tocchio

claim paper

Read More »

157

click to vote

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

16 years 16 days ago

Download www.cis.upenn.edu

Benjamin C. Pierce

claim paper

Read More »

121

click to vote

SIGCSE
2003
ACM

191views Education» more SIGCSE 2003»

A generic e-learning multiparadigm programming language system: IDEFIX project

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers