247 search results - page 30 / 50 » Language design and implementation using ruby and the interp... |
AIEDAM
2007
14 years 9 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
MUC
1992
15 years 1 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
130
click to vote
LPAR
2012
Springer
13 years 5 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
142
click to vote
PADL
2011
Springer
14 years 9 days ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...