Search Sciweavers | Sciweavers

4469 search results - page 16 / 894

» A Language for Role Specifications

click to vote

PADL
2010
Springer

138views Programming Languages» more PADL 2010»

Lazy Combinators for Executable Specifications of General Attribute Grammars

15 years 8 months ago

Download cs.uwindsor.ca

Rahmatullah Hafiz, Richard A. Frost

claim paper

Read More »

click to vote

MODELS
2009
Springer

101views Natural Language Processing» more MODELS 2009»

Polymorphic Scenario-Based Specification Models: Semantics and Applications

15 years 6 months ago

Download www.cs.colostate.edu

Shahar Maoz

claim paper

Read More »

click to vote

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

15 years 4 months ago

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

click to vote

ECOOP
1999
Springer

82views Programming Languages» more ECOOP 1999»

Formal Specification and Prototyping of CORBA Systems

15 years 4 months ago

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

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

claim paper

Read More »

Voted

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers