Search Sciweavers | Sciweavers

10871 search results - page 306 / 2175

» A stable programming language

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 3 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 1 days ago

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

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

claim paper

Read More »

131

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

The DALI Logic Programming Agent-Oriented Language

16 years 6 hour ago

Download www.cs.unipr.it

Stefania Costantini, Arianna Tocchio

claim paper

Read More »

141

Voted

LICS
2003
IEEE

117views Automated Reasoning» more LICS 2003»

Types and Programming Languages: The Next Generation

15 years 12 months ago

Download www.cis.upenn.edu

Benjamin C. Pierce

claim paper

Read More »

105

click to vote

SIGCSE
2003
ACM

191views Education» more SIGCSE 2003»

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers