Search Sciweavers | Sciweavers

4469 search results - page 16 / 894

» A Language for Role Specifications

104

Voted

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

16 years 15 days ago

Download cs.uwindsor.ca

Rahmatullah Hafiz, Richard A. Frost

claim paper

Read More »

Voted

MODELS
2009
Springer

101views Natural Language Processing» more MODELS 2009»

Polymorphic Scenario-Based Specification Models: Semantics and Applications

15 years 10 months ago

Download www.cs.colostate.edu

Shahar Maoz

claim paper

Read More »

108

Voted

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

15 years 8 months ago

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

103

Voted

ECOOP
1999
Springer

82views Programming Languages» more ECOOP 1999»

Formal Specification and Prototyping of CORBA Systems

15 years 8 months ago

Download www.ifs.uni-linz.ac.at

Rémi Bastide, Ousmane Sy, Philippe A. Palan...

claim paper

Read More »

104

Voted

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers