6054 search results - page 4 / 1211 » Implementation of Andorra-based Languages |
ASPLOS
1994
ACM
15 years 1 months ago
1994
ACM
199
click to vote
ICLP
2011
Springer
14 years 29 days ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
141
Voted
POPL
2007
ACM
15 years 9 months ago
2007
ACM
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE