Search Sciweavers | Sciweavers

10935 search results - page 158 / 2187

» Neural Programming Language

169

Voted

ATAL
2007
Springer

112views Intelligent Agents» more ATAL 2007»

A grounded specification language for agent programs

15 years 10 months ago

Download people.cs.uu.nl

This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...

Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...

claim paper

Read More »

250

click to vote

POPL
2007
ACM

110views Programming Languages» more POPL 2007»

Operational semantics for multi-language programs

16 years 6 months ago

Download www.eecs.northwestern.edu

Jacob Matthews, Robert Bruce Findler

claim paper

Read More »

166

click to vote

ICFP
2005
ACM

93views Programming Languages» more ICFP 2005»

A language-based approach to functionally correct imperative programming

16 years 6 months ago

Download www.cs.rice.edu

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

claim paper

Read More »

125

click to vote

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

16 years 26 days ago

Download www.dbai.tuwien.ac.at

Wolfgang Dvorák, Georg Gottlob, Reinhard Pi...

claim paper

Read More »

131

click to vote

PLDI
2005
ACM

94views Programming Languages» more PLDI 2005»

A serializability violation detector for shared-memory server programs

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers