6201 search results - page 17 / 1241 » Implementation of Axiomatic Language |
138
Voted
IANDC
2011
14 years 9 months ago
2011
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
105
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
223
click to vote
Book
A great book about the Implementation of Functional Programming Languages.
138
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
155
Voted
ERLANG
2004
ACM
15 years 8 months ago
2004
ACM
