Search Sciweavers | Sciweavers

31387 search results - page 308 / 6278

» Abstracting abstract machines

172

click to vote

FMOODS
2006

103views Formal Methods» more FMOODS 2006»

Abstract Interface Behavior of Object-Oriented Languages with Monitors

15 years 9 months ago

Download folk.uio.no

Interface Behavior of Object-Oriented Languages with Monitors Erika

Erika Ábrahám, Andreas Grüner, ...

claim paper

Read More »

132

Voted

ACL
2001

105views Computational Linguistics» more ACL 2001»

Towards Abstract Categorial Grammars

15 years 9 months ago

Download acl.ldc.upenn.edu

Philippe de Groote

claim paper

Read More »

164

Voted

APPINF
2003

196views Information Technology» more APPINF 2003»

Experimenting the Performance of Abstraction Mechanisms Through a Parametric Hierarchical Planner

15 years 9 months ago

Download www.diee.unica.it

Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu

claim paper

Read More »

157

click to vote

DAGSTUHL
2001

121views Software Engineering» more DAGSTUHL 2001»

Abstract Interpretation Based Formal Methods and Future Challenges

15 years 9 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

141

click to vote

ICWS
2004
IEEE

70views Internet Technology» more ICWS 2004»

Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers