|
CiteSeerX - Document Details (Isaac Councill, Lee Giles): The significance of type theory to the theory of programming languages has long been recognized.
|
citeseer.ist.psu.edu/68697.html
|
|
|
|
|
The significance of type theory to the theory of programming languages has long been recognized. Advances in programming languages have often derived from understanding that stems from type theory. However, ... Type-Theoretic Methodology For Practical Programming Languages (1998) [19 citations — 3 self]
|
citeseer.ist.psu.edu/48403.html
|
|
|
In the past few years there's been a blossoming of a new style of software methodology - referred to as agile methods. Alternatively characterized as an antidote to bureaucracy or a license to hack they've stirred up interest all over the software landscape.
|
www.martinfowler.com/articles/newMethodology.html
www.martinfowler.com/articles/newMethodology.html
|
|
A paper by Edward Bernard written to discuss and understand the fundamental overview of a methodology. ... By the beginning of the 1980s there were so many methodologies available that just tracking them was a full-time effort. There have been quite a number of "methodology surveys" published, including:
|
www.itmweb.com/essay553.htm
|
|
|
|
For each example, note the type of methodology that would most likely be used to address the research question. Also make note of independent and dependent variables when an experiment has been described.
|
www2.muw.edu/~hrkrogh/HSMQ.html
|
|
In this talk, I show how methods based in type theory can lead to both better compilers and better semantics for modern programming languages. I discuss how type theory may be used as a framework for defining semantics.
|
www.cs.cornell.edu/Nuprl/PRLSeminar/PRLSeminar97_98/Cra...
www.cs.cornell.edu/Nuprl/PRLSeminar/PRLSeminar97_98/Crary/Feb24.html
|
|
Object Type Information Storage and Access ... OCI Type Mapping Methodology ... An additional C type, OCIInd, is used to represent null indicator information corresponding to attributes of object types.
|
www.pitt.edu/AFShome/h/o/hoffman/public/html/oradoc/ser...
www.pitt.edu/AFShome/h/o/hoffman/public/html/oradoc/server.804/a58234/obj_data.htm
|
|
The proposed methodology consists of: (i) the application-level DDT exploration, (ii) the network-level DDT exploration and (iii) the Pareto-level DDT exploration. ... S. Mamagkakis and et. al. Design of energy efficient wireless networks using dynamic data type refinement methodology. In Proc. of WWIC, 2004.
|
portal.acm.org/ft_gateway.cfm?id=1131692&type=pdf
portal.acm.org/ft_gateway.cfm?id=1131692&type=pdf
|
|
