Sciweavers

7139 search results - page 50 / 1428
» Language Engineering in Practice
Sort
View
AMAST
2008
Springer
15 years 5 months ago
Separation Logic Contracts for a Java-Like Language with Fork/Join
Christian Haack, Clément Hurlin
110
Voted
ASWSD
2006
Springer
15 years 5 months ago
Modeling with the Timing Definition Language (TDL)
Wolfgang Pree, Josef Templ
94
Voted
GTTSE
2007
Springer
15 years 5 months ago
Adding Dimension Analysis to Java as a Composable Language Extension
Eric Van Wyk, Yogesh Mali
109
Voted
IWPC
2010
IEEE
15 years 2 months ago
Natural Language Parsing of Program Element Names for Concept Extraction
Surafel Lemma Abebe, Paolo Tonella
140
Voted
TACS
2001
Springer
15 years 8 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough