المؤلفون: Abdollah Khodkar, Sam Nolen, James T. Perconti

المساهمون: The Pennsylvania State University CiteSeerX Archives

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.6887

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.6887

المؤلفون: Ed Harcourt, James T. Perconti

المصدر: Microprocessors and Microsystems. 38:76-81

مصطلحات موضوعية: Domain-specific language, Computer Networks and Communications, Computer science, business.industry, Pipeline (computing), Systems modeling, Pipeline (software), Pipeline transport, Set (abstract data type), Computer architecture, Artificial Intelligence, Hardware and Architecture, SystemC, Embedded system, Transaction-level modeling, Hardware_ARITHMETICANDLOGICSTRUCTURES, Routing (electronic design automation), business, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::61d3768aa79973858ff559d78f530a43
https://doi.org/10.1016/j.micpro.2013.11.010

المؤلفون: James T. Perconti, Amal Ahmed

المصدر: Programming Languages and Systems ISBN: 9783642548321
ESOP

مصطلحات موضوعية: Functional compiler, Compiler construction, Computer science, Programming language, Interoperability, Compiler, Dynamic compilation, Equivalence (formal languages), computer.software_genre, computer, Compile time, Compiler correctness

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3ba936cd6e9899ebecd497b891ad93c7
https://doi.org/10.1007/978-3-642-54833-8_8

المؤلفون: James T. Perconti, Jeremy G. Siek

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://wphomes.soic.indiana.edu/jsiek/files/2013/06/blameforall-r1.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.2.4 [Software/Program Verification, Programming by contract, D.3.3 [Language Constructs and Features, Polymorphism, F.3.2 [Semantics of Programming Lan- guages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure General Terms, Languages, Theory Additional Key Words and Phrases, casts, coercions, blame tracking, lambda-calculus

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.7640; http://wphomes.soic.indiana.edu/jsiek/files/2013/06/blameforall-r1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.7640
http://wphomes.soic.indiana.edu/jsiek/files/2013/06/blameforall-r1.pdf

المؤلفون: James T. Perconti, Amal Ahmed

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/amal/papers/voc-tr.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.4854; http://www.ccs.neu.edu/home/amal/papers/voc-tr.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.4854
http://www.ccs.neu.edu/home/amal/papers/voc-tr.pdf

المؤلفون: James T. Perconti, Amal Ahmed

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ccs.neu.edu/home/amal/papers/voc.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.1368; http://www.ccs.neu.edu/home/amal/papers/voc.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.1368
http://www.ccs.neu.edu/home/amal/papers/voc.pdf