10622 search results - page 372 / 2125 » Python Programming Language |
302
click to vote
ICLP
2011
Springer
14 years 8 months 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...
164
click to vote
VL
1996
IEEE
15 years 9 months ago
1996
IEEE
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
262
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
129
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
141
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...