Search Sciweavers | Sciweavers

3319 search results - page 60 / 664

» Subshifts, Languages and Logic

click to vote

APLAS
2007
ACM

122views Programming Languages» more APLAS 2007»

Call-by-Name and Call-by-Value in Normal Modal Logic

14 years 1 months ago

Download nicosia.is.s.u-tokyo.ac.jp

Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...

Yoshihiko Kakutani

claim paper

Read More »

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

Download soft.vub.ac.be

Charlotte Herzeel, Kris Gybels, Pascal Costanza, C...

claim paper

Read More »