Search Sciweavers | Sciweavers

3385 search results - page 58 / 677

» Language, Logic, and the Brain

click to vote

POPL
2010
ACM

263views Programming Languages» more POPL 2010»

A Relational Modal Logic for Higher-Order Stateful ADTs

14 years 7 months ago

Download www.mpi-sws.org

The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...

Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...

claim paper

Read More »

click to vote

ATAL
2007
Springer

112views Intelligent Agents» more ATAL 2007»

A grounded specification language for agent programs

14 years 2 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 »

click to vote

SMALLTALK
2007
Springer

109views Programming Languages» more SMALLTALK 2007»

Forward chaining in HALO: an implementation strategy for history-based logic pointcuts

14 years 4 months ago